Matches in SemOpenAlex for { <https://semopenalex.org/work/W2419199126> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2419199126 endingPage "110" @default.
- W2419199126 startingPage "105" @default.
- W2419199126 created "2016-06-24" @default.
- W2419199126 creator A5007356656 @default.
- W2419199126 creator A5063288510 @default.
- W2419199126 creator A5073164575 @default.
- W2419199126 date "2015-05-05" @default.
- W2419199126 modified "2023-09-26" @default.
- W2419199126 title "Proof Checking" @default.
- W2419199126 doi "https://doi.org/10.1017/cbo9781139026581.012" @default.
- W2419199126 hasPublicationYear "2015" @default.
- W2419199126 type Work @default.
- W2419199126 sameAs 2419199126 @default.
- W2419199126 citedByCount "0" @default.
- W2419199126 crossrefType "book-chapter" @default.
- W2419199126 hasAuthorship W2419199126A5007356656 @default.
- W2419199126 hasAuthorship W2419199126A5063288510 @default.
- W2419199126 hasAuthorship W2419199126A5073164575 @default.
- W2419199126 hasConcept C105605280 @default.
- W2419199126 hasConcept C108710211 @default.
- W2419199126 hasConcept C110251889 @default.
- W2419199126 hasConcept C111919701 @default.
- W2419199126 hasConcept C124978682 @default.
- W2419199126 hasConcept C13766981 @default.
- W2419199126 hasConcept C195653647 @default.
- W2419199126 hasConcept C199360897 @default.
- W2419199126 hasConcept C2318724 @default.
- W2419199126 hasConcept C2524010 @default.
- W2419199126 hasConcept C33923547 @default.
- W2419199126 hasConcept C41008148 @default.
- W2419199126 hasConcept C45374587 @default.
- W2419199126 hasConcept C80444323 @default.
- W2419199126 hasConceptScore W2419199126C105605280 @default.
- W2419199126 hasConceptScore W2419199126C108710211 @default.
- W2419199126 hasConceptScore W2419199126C110251889 @default.
- W2419199126 hasConceptScore W2419199126C111919701 @default.
- W2419199126 hasConceptScore W2419199126C124978682 @default.
- W2419199126 hasConceptScore W2419199126C13766981 @default.
- W2419199126 hasConceptScore W2419199126C195653647 @default.
- W2419199126 hasConceptScore W2419199126C199360897 @default.
- W2419199126 hasConceptScore W2419199126C2318724 @default.
- W2419199126 hasConceptScore W2419199126C2524010 @default.
- W2419199126 hasConceptScore W2419199126C33923547 @default.
- W2419199126 hasConceptScore W2419199126C41008148 @default.
- W2419199126 hasConceptScore W2419199126C45374587 @default.
- W2419199126 hasConceptScore W2419199126C80444323 @default.
- W2419199126 hasLocation W24191991261 @default.
- W2419199126 hasOpenAccess W2419199126 @default.
- W2419199126 hasPrimaryLocation W24191991261 @default.
- W2419199126 hasRelatedWork W1121940993 @default.
- W2419199126 hasRelatedWork W1488396078 @default.
- W2419199126 hasRelatedWork W1538310240 @default.
- W2419199126 hasRelatedWork W1626908390 @default.
- W2419199126 hasRelatedWork W1741698332 @default.
- W2419199126 hasRelatedWork W2057361103 @default.
- W2419199126 hasRelatedWork W2084101411 @default.
- W2419199126 hasRelatedWork W2284603212 @default.
- W2419199126 hasRelatedWork W2394690389 @default.
- W2419199126 hasRelatedWork W2498474778 @default.
- W2419199126 hasRelatedWork W2541500159 @default.
- W2419199126 hasRelatedWork W2735509904 @default.
- W2419199126 hasRelatedWork W2766977590 @default.
- W2419199126 hasRelatedWork W3033256385 @default.
- W2419199126 hasRelatedWork W3099329863 @default.
- W2419199126 hasRelatedWork W3121939934 @default.
- W2419199126 hasRelatedWork W3173194202 @default.
- W2419199126 hasRelatedWork W3180619128 @default.
- W2419199126 hasRelatedWork W49363337 @default.
- W2419199126 hasRelatedWork W840295995 @default.
- W2419199126 isParatext "false" @default.
- W2419199126 isRetracted "false" @default.
- W2419199126 magId "2419199126" @default.
- W2419199126 workType "book-chapter" @default.