Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206694237> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4206694237 endingPage "29" @default.
- W4206694237 startingPage "23" @default.
- W4206694237 created "2022-01-26" @default.
- W4206694237 creator A5011089792 @default.
- W4206694237 creator A5021568413 @default.
- W4206694237 creator A5066768973 @default.
- W4206694237 creator A5088563267 @default.
- W4206694237 date "2021-08-14" @default.
- W4206694237 modified "2023-10-18" @default.
- W4206694237 title "Interactive Theorem Proving" @default.
- W4206694237 cites W1672719503 @default.
- W4206694237 cites W2021284393 @default.
- W4206694237 cites W2091456056 @default.
- W4206694237 cites W2113065066 @default.
- W4206694237 cites W2549482841 @default.
- W4206694237 cites W2798940414 @default.
- W4206694237 cites W2997319416 @default.
- W4206694237 doi "https://doi.org/10.1007/978-3-030-78409-6_2" @default.
- W4206694237 hasPublicationYear "2021" @default.
- W4206694237 type Work @default.
- W4206694237 citedByCount "0" @default.
- W4206694237 crossrefType "book-chapter" @default.
- W4206694237 hasAuthorship W4206694237A5011089792 @default.
- W4206694237 hasAuthorship W4206694237A5021568413 @default.
- W4206694237 hasAuthorship W4206694237A5066768973 @default.
- W4206694237 hasAuthorship W4206694237A5088563267 @default.
- W4206694237 hasConcept C108710211 @default.
- W4206694237 hasConcept C112972136 @default.
- W4206694237 hasConcept C11413529 @default.
- W4206694237 hasConcept C119857082 @default.
- W4206694237 hasConcept C159718280 @default.
- W4206694237 hasConcept C17435882 @default.
- W4206694237 hasConcept C177264268 @default.
- W4206694237 hasConcept C199343813 @default.
- W4206694237 hasConcept C199360897 @default.
- W4206694237 hasConcept C203265346 @default.
- W4206694237 hasConcept C206880738 @default.
- W4206694237 hasConcept C2524010 @default.
- W4206694237 hasConcept C2777686260 @default.
- W4206694237 hasConcept C33923547 @default.
- W4206694237 hasConcept C41008148 @default.
- W4206694237 hasConcept C71924100 @default.
- W4206694237 hasConcept C80444323 @default.
- W4206694237 hasConceptScore W4206694237C108710211 @default.
- W4206694237 hasConceptScore W4206694237C112972136 @default.
- W4206694237 hasConceptScore W4206694237C11413529 @default.
- W4206694237 hasConceptScore W4206694237C119857082 @default.
- W4206694237 hasConceptScore W4206694237C159718280 @default.
- W4206694237 hasConceptScore W4206694237C17435882 @default.
- W4206694237 hasConceptScore W4206694237C177264268 @default.
- W4206694237 hasConceptScore W4206694237C199343813 @default.
- W4206694237 hasConceptScore W4206694237C199360897 @default.
- W4206694237 hasConceptScore W4206694237C203265346 @default.
- W4206694237 hasConceptScore W4206694237C206880738 @default.
- W4206694237 hasConceptScore W4206694237C2524010 @default.
- W4206694237 hasConceptScore W4206694237C2777686260 @default.
- W4206694237 hasConceptScore W4206694237C33923547 @default.
- W4206694237 hasConceptScore W4206694237C41008148 @default.
- W4206694237 hasConceptScore W4206694237C71924100 @default.
- W4206694237 hasConceptScore W4206694237C80444323 @default.
- W4206694237 hasLocation W42066942371 @default.
- W4206694237 hasOpenAccess W4206694237 @default.
- W4206694237 hasPrimaryLocation W42066942371 @default.
- W4206694237 hasRelatedWork W1488189293 @default.
- W4206694237 hasRelatedWork W1515169568 @default.
- W4206694237 hasRelatedWork W2018100734 @default.
- W4206694237 hasRelatedWork W2100855196 @default.
- W4206694237 hasRelatedWork W2579160749 @default.
- W4206694237 hasRelatedWork W2606289262 @default.
- W4206694237 hasRelatedWork W2886069053 @default.
- W4206694237 hasRelatedWork W3125694439 @default.
- W4206694237 hasRelatedWork W787793384 @default.
- W4206694237 hasRelatedWork W2467505627 @default.
- W4206694237 isParatext "false" @default.
- W4206694237 isRetracted "false" @default.
- W4206694237 workType "book-chapter" @default.