Matches in SemOpenAlex for { <https://semopenalex.org/work/W1754590167> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1754590167 endingPage "296" @default.
- W1754590167 startingPage "282" @default.
- W1754590167 created "2016-06-24" @default.
- W1754590167 creator A5068926576 @default.
- W1754590167 date "1993-01-01" @default.
- W1754590167 modified "2023-10-15" @default.
- W1754590167 title "A new Front-End for the Larch Prover" @default.
- W1754590167 cites W1511970382 @default.
- W1754590167 cites W2027329270 @default.
- W1754590167 cites W2118989230 @default.
- W1754590167 cites W4246059478 @default.
- W1754590167 doi "https://doi.org/10.1007/978-1-4471-3558-6_16" @default.
- W1754590167 hasPublicationYear "1993" @default.
- W1754590167 type Work @default.
- W1754590167 sameAs 1754590167 @default.
- W1754590167 citedByCount "4" @default.
- W1754590167 crossrefType "book-chapter" @default.
- W1754590167 hasAuthorship W1754590167A5068926576 @default.
- W1754590167 hasConcept C105795698 @default.
- W1754590167 hasConcept C108710211 @default.
- W1754590167 hasConcept C11413529 @default.
- W1754590167 hasConcept C123657996 @default.
- W1754590167 hasConcept C127413603 @default.
- W1754590167 hasConcept C159718280 @default.
- W1754590167 hasConcept C166957645 @default.
- W1754590167 hasConcept C199360897 @default.
- W1754590167 hasConcept C205649164 @default.
- W1754590167 hasConcept C206880738 @default.
- W1754590167 hasConcept C2524010 @default.
- W1754590167 hasConcept C2777551076 @default.
- W1754590167 hasConcept C2778551664 @default.
- W1754590167 hasConcept C2779231336 @default.
- W1754590167 hasConcept C2780598303 @default.
- W1754590167 hasConcept C33923547 @default.
- W1754590167 hasConcept C41008148 @default.
- W1754590167 hasConcept C53016008 @default.
- W1754590167 hasConcept C59822182 @default.
- W1754590167 hasConcept C78519656 @default.
- W1754590167 hasConcept C86803240 @default.
- W1754590167 hasConceptScore W1754590167C105795698 @default.
- W1754590167 hasConceptScore W1754590167C108710211 @default.
- W1754590167 hasConceptScore W1754590167C11413529 @default.
- W1754590167 hasConceptScore W1754590167C123657996 @default.
- W1754590167 hasConceptScore W1754590167C127413603 @default.
- W1754590167 hasConceptScore W1754590167C159718280 @default.
- W1754590167 hasConceptScore W1754590167C166957645 @default.
- W1754590167 hasConceptScore W1754590167C199360897 @default.
- W1754590167 hasConceptScore W1754590167C205649164 @default.
- W1754590167 hasConceptScore W1754590167C206880738 @default.
- W1754590167 hasConceptScore W1754590167C2524010 @default.
- W1754590167 hasConceptScore W1754590167C2777551076 @default.
- W1754590167 hasConceptScore W1754590167C2778551664 @default.
- W1754590167 hasConceptScore W1754590167C2779231336 @default.
- W1754590167 hasConceptScore W1754590167C2780598303 @default.
- W1754590167 hasConceptScore W1754590167C33923547 @default.
- W1754590167 hasConceptScore W1754590167C41008148 @default.
- W1754590167 hasConceptScore W1754590167C53016008 @default.
- W1754590167 hasConceptScore W1754590167C59822182 @default.
- W1754590167 hasConceptScore W1754590167C78519656 @default.
- W1754590167 hasConceptScore W1754590167C86803240 @default.
- W1754590167 hasLocation W17545901671 @default.
- W1754590167 hasOpenAccess W1754590167 @default.
- W1754590167 hasPrimaryLocation W17545901671 @default.
- W1754590167 hasRelatedWork W1515169568 @default.
- W1754590167 hasRelatedWork W1555960401 @default.
- W1754590167 hasRelatedWork W1754590167 @default.
- W1754590167 hasRelatedWork W1789702989 @default.
- W1754590167 hasRelatedWork W2206711905 @default.
- W1754590167 hasRelatedWork W4245884879 @default.
- W1754590167 hasRelatedWork W4251971209 @default.
- W1754590167 hasRelatedWork W4253461608 @default.
- W1754590167 hasRelatedWork W898277466 @default.
- W1754590167 hasRelatedWork W94947182 @default.
- W1754590167 isParatext "false" @default.
- W1754590167 isRetracted "false" @default.
- W1754590167 magId "1754590167" @default.
- W1754590167 workType "book-chapter" @default.