Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912074299> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2912074299 created "2019-02-21" @default.
- W2912074299 creator A5017440499 @default.
- W2912074299 creator A5024401238 @default.
- W2912074299 creator A5046752375 @default.
- W2912074299 date "2013-07-22" @default.
- W2912074299 modified "2023-10-09" @default.
- W2912074299 title "Proceedings of the 4th international conference on Interactive Theorem Proving" @default.
- W2912074299 hasPublicationYear "2013" @default.
- W2912074299 type Work @default.
- W2912074299 sameAs 2912074299 @default.
- W2912074299 citedByCount "0" @default.
- W2912074299 crossrefType "journal-article" @default.
- W2912074299 hasAuthorship W2912074299A5017440499 @default.
- W2912074299 hasAuthorship W2912074299A5024401238 @default.
- W2912074299 hasAuthorship W2912074299A5046752375 @default.
- W2912074299 hasConcept C144237770 @default.
- W2912074299 hasConcept C199343813 @default.
- W2912074299 hasConcept C2777686260 @default.
- W2912074299 hasConcept C33923547 @default.
- W2912074299 hasConcept C41008148 @default.
- W2912074299 hasConcept C71924100 @default.
- W2912074299 hasConceptScore W2912074299C144237770 @default.
- W2912074299 hasConceptScore W2912074299C199343813 @default.
- W2912074299 hasConceptScore W2912074299C2777686260 @default.
- W2912074299 hasConceptScore W2912074299C33923547 @default.
- W2912074299 hasConceptScore W2912074299C41008148 @default.
- W2912074299 hasConceptScore W2912074299C71924100 @default.
- W2912074299 hasLocation W29120742991 @default.
- W2912074299 hasOpenAccess W2912074299 @default.
- W2912074299 hasPrimaryLocation W29120742991 @default.
- W2912074299 hasRelatedWork W2600352040 @default.
- W2912074299 hasRelatedWork W2911555188 @default.
- W2912074299 hasRelatedWork W2911606314 @default.
- W2912074299 hasRelatedWork W2911632429 @default.
- W2912074299 hasRelatedWork W2911693362 @default.
- W2912074299 hasRelatedWork W2911834276 @default.
- W2912074299 hasRelatedWork W2912066676 @default.
- W2912074299 hasRelatedWork W2912175493 @default.
- W2912074299 hasRelatedWork W2912277891 @default.
- W2912074299 hasRelatedWork W2912375203 @default.
- W2912074299 hasRelatedWork W2912524425 @default.
- W2912074299 hasRelatedWork W2913067750 @default.
- W2912074299 hasRelatedWork W2913079770 @default.
- W2912074299 hasRelatedWork W2913443100 @default.
- W2912074299 hasRelatedWork W2913444695 @default.
- W2912074299 hasRelatedWork W2913960777 @default.
- W2912074299 hasRelatedWork W2913984048 @default.
- W2912074299 hasRelatedWork W2914298673 @default.
- W2912074299 hasRelatedWork W2914784360 @default.
- W2912074299 hasRelatedWork W2914897869 @default.
- W2912074299 isParatext "false" @default.
- W2912074299 isRetracted "false" @default.
- W2912074299 magId "2912074299" @default.
- W2912074299 workType "article" @default.