Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785560850> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2785560850 created "2018-02-23" @default.
- W2785560850 creator A5009194682 @default.
- W2785560850 creator A5077068287 @default.
- W2785560850 date "1994-01-01" @default.
- W2785560850 modified "2023-09-27" @default.
- W2785560850 title "Karnak, An Automated Theorem Prover for PPC" @default.
- W2785560850 hasPublicationYear "1994" @default.
- W2785560850 type Work @default.
- W2785560850 sameAs 2785560850 @default.
- W2785560850 citedByCount "0" @default.
- W2785560850 crossrefType "journal-article" @default.
- W2785560850 hasAuthorship W2785560850A5009194682 @default.
- W2785560850 hasAuthorship W2785560850A5077068287 @default.
- W2785560850 hasConcept C108710211 @default.
- W2785560850 hasConcept C11413529 @default.
- W2785560850 hasConcept C154945302 @default.
- W2785560850 hasConcept C159718280 @default.
- W2785560850 hasConcept C195344581 @default.
- W2785560850 hasConcept C199343813 @default.
- W2785560850 hasConcept C199360897 @default.
- W2785560850 hasConcept C206880738 @default.
- W2785560850 hasConcept C2524010 @default.
- W2785560850 hasConcept C2777686260 @default.
- W2785560850 hasConcept C33923547 @default.
- W2785560850 hasConcept C41008148 @default.
- W2785560850 hasConcept C71924100 @default.
- W2785560850 hasConceptScore W2785560850C108710211 @default.
- W2785560850 hasConceptScore W2785560850C11413529 @default.
- W2785560850 hasConceptScore W2785560850C154945302 @default.
- W2785560850 hasConceptScore W2785560850C159718280 @default.
- W2785560850 hasConceptScore W2785560850C195344581 @default.
- W2785560850 hasConceptScore W2785560850C199343813 @default.
- W2785560850 hasConceptScore W2785560850C199360897 @default.
- W2785560850 hasConceptScore W2785560850C206880738 @default.
- W2785560850 hasConceptScore W2785560850C2524010 @default.
- W2785560850 hasConceptScore W2785560850C2777686260 @default.
- W2785560850 hasConceptScore W2785560850C33923547 @default.
- W2785560850 hasConceptScore W2785560850C41008148 @default.
- W2785560850 hasConceptScore W2785560850C71924100 @default.
- W2785560850 hasLocation W27855608501 @default.
- W2785560850 hasOpenAccess W2785560850 @default.
- W2785560850 hasPrimaryLocation W27855608501 @default.
- W2785560850 hasRelatedWork W120823771 @default.
- W2785560850 hasRelatedWork W133949766 @default.
- W2785560850 hasRelatedWork W134091217 @default.
- W2785560850 hasRelatedWork W1533139253 @default.
- W2785560850 hasRelatedWork W154368879 @default.
- W2785560850 hasRelatedWork W178473377 @default.
- W2785560850 hasRelatedWork W17889614 @default.
- W2785560850 hasRelatedWork W179065745 @default.
- W2785560850 hasRelatedWork W204362750 @default.
- W2785560850 hasRelatedWork W2055082904 @default.
- W2785560850 hasRelatedWork W2158022092 @default.
- W2785560850 hasRelatedWork W2296124584 @default.
- W2785560850 hasRelatedWork W2319334257 @default.
- W2785560850 hasRelatedWork W2401255201 @default.
- W2785560850 hasRelatedWork W2565297847 @default.
- W2785560850 hasRelatedWork W57682047 @default.
- W2785560850 hasRelatedWork W593894321 @default.
- W2785560850 hasRelatedWork W1542579875 @default.
- W2785560850 hasRelatedWork W2192184199 @default.
- W2785560850 hasRelatedWork W2297848989 @default.
- W2785560850 isParatext "false" @default.
- W2785560850 isRetracted "false" @default.
- W2785560850 magId "2785560850" @default.
- W2785560850 workType "article" @default.