Matches in SemOpenAlex for { <https://semopenalex.org/work/W637402803> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W637402803 created "2016-06-24" @default.
- W637402803 creator A5015633102 @default.
- W637402803 date "2001-01-01" @default.
- W637402803 modified "2023-09-28" @default.
- W637402803 title "PROOF CHECKING USING PROLOG (Topics in Information Sciences and Applied Functional Analysis)" @default.
- W637402803 hasPublicationYear "2001" @default.
- W637402803 type Work @default.
- W637402803 sameAs 637402803 @default.
- W637402803 citedByCount "0" @default.
- W637402803 crossrefType "journal-article" @default.
- W637402803 hasAuthorship W637402803A5015633102 @default.
- W637402803 hasConcept C199360897 @default.
- W637402803 hasConcept C41008148 @default.
- W637402803 hasConcept C81721847 @default.
- W637402803 hasConceptScore W637402803C199360897 @default.
- W637402803 hasConceptScore W637402803C41008148 @default.
- W637402803 hasConceptScore W637402803C81721847 @default.
- W637402803 hasLocation W6374028031 @default.
- W637402803 hasOpenAccess W637402803 @default.
- W637402803 hasPrimaryLocation W6374028031 @default.
- W637402803 hasRelatedWork W1521528545 @default.
- W637402803 hasRelatedWork W1536660600 @default.
- W637402803 hasRelatedWork W1555802722 @default.
- W637402803 hasRelatedWork W1852112803 @default.
- W637402803 hasRelatedWork W190644463 @default.
- W637402803 hasRelatedWork W1983695976 @default.
- W637402803 hasRelatedWork W1985375131 @default.
- W637402803 hasRelatedWork W2025919633 @default.
- W637402803 hasRelatedWork W2060714294 @default.
- W637402803 hasRelatedWork W2113755395 @default.
- W637402803 hasRelatedWork W2134148399 @default.
- W637402803 hasRelatedWork W2168776788 @default.
- W637402803 hasRelatedWork W2518130435 @default.
- W637402803 hasRelatedWork W2580643494 @default.
- W637402803 hasRelatedWork W2794445294 @default.
- W637402803 hasRelatedWork W2977173076 @default.
- W637402803 hasRelatedWork W3017389345 @default.
- W637402803 hasRelatedWork W3180619128 @default.
- W637402803 hasRelatedWork W617803071 @default.
- W637402803 hasRelatedWork W628041251 @default.
- W637402803 isParatext "false" @default.
- W637402803 isRetracted "false" @default.
- W637402803 magId "637402803" @default.
- W637402803 workType "article" @default.