Matches in SemOpenAlex for { <https://semopenalex.org/work/W2547863758> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2547863758 created "2016-11-11" @default.
- W2547863758 creator A5042350298 @default.
- W2547863758 date "2011-01-01" @default.
- W2547863758 modified "2023-09-26" @default.
- W2547863758 title "Implementation of a Proof Assistant in Prolog" @default.
- W2547863758 cites W1766647772 @default.
- W2547863758 cites W2071866471 @default.
- W2547863758 cites W2084797476 @default.
- W2547863758 cites W2114151019 @default.
- W2547863758 cites W2129721702 @default.
- W2547863758 cites W2568721247 @default.
- W2547863758 cites W3108705940 @default.
- W2547863758 hasPublicationYear "2011" @default.
- W2547863758 type Work @default.
- W2547863758 sameAs 2547863758 @default.
- W2547863758 citedByCount "0" @default.
- W2547863758 crossrefType "journal-article" @default.
- W2547863758 hasAuthorship W2547863758A5042350298 @default.
- W2547863758 hasConcept C199360897 @default.
- W2547863758 hasConcept C41008148 @default.
- W2547863758 hasConcept C81721847 @default.
- W2547863758 hasConceptScore W2547863758C199360897 @default.
- W2547863758 hasConceptScore W2547863758C41008148 @default.
- W2547863758 hasConceptScore W2547863758C81721847 @default.
- W2547863758 hasLocation W25478637581 @default.
- W2547863758 hasOpenAccess W2547863758 @default.
- W2547863758 hasPrimaryLocation W25478637581 @default.
- W2547863758 hasRelatedWork W109661441 @default.
- W2547863758 hasRelatedWork W128309449 @default.
- W2547863758 hasRelatedWork W1483565071 @default.
- W2547863758 hasRelatedWork W1521528545 @default.
- W2547863758 hasRelatedWork W1578563603 @default.
- W2547863758 hasRelatedWork W1588666994 @default.
- W2547863758 hasRelatedWork W1588771184 @default.
- W2547863758 hasRelatedWork W1678176544 @default.
- W2547863758 hasRelatedWork W1905225804 @default.
- W2547863758 hasRelatedWork W1974299393 @default.
- W2547863758 hasRelatedWork W2054628190 @default.
- W2547863758 hasRelatedWork W2132041578 @default.
- W2547863758 hasRelatedWork W2399376912 @default.
- W2547863758 hasRelatedWork W2736451369 @default.
- W2547863758 hasRelatedWork W2740634467 @default.
- W2547863758 hasRelatedWork W287445722 @default.
- W2547863758 hasRelatedWork W3009019699 @default.
- W2547863758 hasRelatedWork W3130597271 @default.
- W2547863758 hasRelatedWork W46706718 @default.
- W2547863758 hasRelatedWork W98367546 @default.
- W2547863758 isParatext "false" @default.
- W2547863758 isRetracted "false" @default.
- W2547863758 magId "2547863758" @default.
- W2547863758 workType "article" @default.