Matches in SemOpenAlex for { <https://semopenalex.org/work/W2737194536> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2737194536 created "2017-07-31" @default.
- W2737194536 creator A5004332348 @default.
- W2737194536 creator A5015176581 @default.
- W2737194536 creator A5024794217 @default.
- W2737194536 creator A5044172397 @default.
- W2737194536 creator A5015060761 @default.
- W2737194536 date "1999-01-01" @default.
- W2737194536 modified "2023-09-22" @default.
- W2737194536 title "Guaranteeing Correctness through the Communication of Checkable Proofs(or: Would You Really Trust an Automated Reasoning System?)" @default.
- W2737194536 hasPublicationYear "1999" @default.
- W2737194536 type Work @default.
- W2737194536 sameAs 2737194536 @default.
- W2737194536 citedByCount "0" @default.
- W2737194536 crossrefType "journal-article" @default.
- W2737194536 hasAuthorship W2737194536A5004332348 @default.
- W2737194536 hasAuthorship W2737194536A5015060761 @default.
- W2737194536 hasAuthorship W2737194536A5015176581 @default.
- W2737194536 hasAuthorship W2737194536A5024794217 @default.
- W2737194536 hasAuthorship W2737194536A5044172397 @default.
- W2737194536 hasConcept C108710211 @default.
- W2737194536 hasConcept C199360897 @default.
- W2737194536 hasConcept C2524010 @default.
- W2737194536 hasConcept C33923547 @default.
- W2737194536 hasConcept C38652104 @default.
- W2737194536 hasConcept C41008148 @default.
- W2737194536 hasConcept C55439883 @default.
- W2737194536 hasConceptScore W2737194536C108710211 @default.
- W2737194536 hasConceptScore W2737194536C199360897 @default.
- W2737194536 hasConceptScore W2737194536C2524010 @default.
- W2737194536 hasConceptScore W2737194536C33923547 @default.
- W2737194536 hasConceptScore W2737194536C38652104 @default.
- W2737194536 hasConceptScore W2737194536C41008148 @default.
- W2737194536 hasConceptScore W2737194536C55439883 @default.
- W2737194536 hasLocation W27371945361 @default.
- W2737194536 hasOpenAccess W2737194536 @default.
- W2737194536 hasPrimaryLocation W27371945361 @default.
- W2737194536 hasRelatedWork W117052899 @default.
- W2737194536 hasRelatedWork W118984323 @default.
- W2737194536 hasRelatedWork W1528071213 @default.
- W2737194536 hasRelatedWork W1538713796 @default.
- W2737194536 hasRelatedWork W1606767675 @default.
- W2737194536 hasRelatedWork W1870549546 @default.
- W2737194536 hasRelatedWork W1987869670 @default.
- W2737194536 hasRelatedWork W2080143965 @default.
- W2737194536 hasRelatedWork W2081685448 @default.
- W2737194536 hasRelatedWork W2100514137 @default.
- W2737194536 hasRelatedWork W2109430392 @default.
- W2737194536 hasRelatedWork W2216392678 @default.
- W2737194536 hasRelatedWork W2548985278 @default.
- W2737194536 hasRelatedWork W2596935483 @default.
- W2737194536 hasRelatedWork W2950028700 @default.
- W2737194536 hasRelatedWork W2960251115 @default.
- W2737194536 hasRelatedWork W3030489120 @default.
- W2737194536 hasRelatedWork W3045275663 @default.
- W2737194536 hasRelatedWork W3126527286 @default.
- W2737194536 hasRelatedWork W3197492536 @default.
- W2737194536 isParatext "false" @default.
- W2737194536 isRetracted "false" @default.
- W2737194536 magId "2737194536" @default.
- W2737194536 workType "article" @default.