Matches in SemOpenAlex for { <https://semopenalex.org/work/W131544705> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W131544705 endingPage "150" @default.
- W131544705 startingPage "137" @default.
- W131544705 created "2016-06-24" @default.
- W131544705 creator A5086117892 @default.
- W131544705 date "1996-01-01" @default.
- W131544705 modified "2023-10-18" @default.
- W131544705 title "First-Order Proof Procedures" @default.
- W131544705 doi "https://doi.org/10.1007/978-1-4612-2360-3_6" @default.
- W131544705 hasPublicationYear "1996" @default.
- W131544705 type Work @default.
- W131544705 sameAs 131544705 @default.
- W131544705 citedByCount "0" @default.
- W131544705 crossrefType "book-chapter" @default.
- W131544705 hasAuthorship W131544705A5086117892 @default.
- W131544705 hasConcept C100481476 @default.
- W131544705 hasConcept C10138342 @default.
- W131544705 hasConcept C108710211 @default.
- W131544705 hasConcept C111919701 @default.
- W131544705 hasConcept C11413529 @default.
- W131544705 hasConcept C138268822 @default.
- W131544705 hasConcept C162324750 @default.
- W131544705 hasConcept C182306322 @default.
- W131544705 hasConcept C195653647 @default.
- W131544705 hasConcept C199343813 @default.
- W131544705 hasConcept C199360897 @default.
- W131544705 hasConcept C2318724 @default.
- W131544705 hasConcept C2524010 @default.
- W131544705 hasConcept C2777686260 @default.
- W131544705 hasConcept C2780129039 @default.
- W131544705 hasConcept C33923547 @default.
- W131544705 hasConcept C41008148 @default.
- W131544705 hasConcept C62073222 @default.
- W131544705 hasConcept C65880906 @default.
- W131544705 hasConcept C71924100 @default.
- W131544705 hasConcept C89421646 @default.
- W131544705 hasConceptScore W131544705C100481476 @default.
- W131544705 hasConceptScore W131544705C10138342 @default.
- W131544705 hasConceptScore W131544705C108710211 @default.
- W131544705 hasConceptScore W131544705C111919701 @default.
- W131544705 hasConceptScore W131544705C11413529 @default.
- W131544705 hasConceptScore W131544705C138268822 @default.
- W131544705 hasConceptScore W131544705C162324750 @default.
- W131544705 hasConceptScore W131544705C182306322 @default.
- W131544705 hasConceptScore W131544705C195653647 @default.
- W131544705 hasConceptScore W131544705C199343813 @default.
- W131544705 hasConceptScore W131544705C199360897 @default.
- W131544705 hasConceptScore W131544705C2318724 @default.
- W131544705 hasConceptScore W131544705C2524010 @default.
- W131544705 hasConceptScore W131544705C2777686260 @default.
- W131544705 hasConceptScore W131544705C2780129039 @default.
- W131544705 hasConceptScore W131544705C33923547 @default.
- W131544705 hasConceptScore W131544705C41008148 @default.
- W131544705 hasConceptScore W131544705C62073222 @default.
- W131544705 hasConceptScore W131544705C65880906 @default.
- W131544705 hasConceptScore W131544705C71924100 @default.
- W131544705 hasConceptScore W131544705C89421646 @default.
- W131544705 hasLocation W1315447051 @default.
- W131544705 hasOpenAccess W131544705 @default.
- W131544705 hasPrimaryLocation W1315447051 @default.
- W131544705 hasRelatedWork W1566344352 @default.
- W131544705 hasRelatedWork W2351433375 @default.
- W131544705 hasRelatedWork W2513857873 @default.
- W131544705 hasRelatedWork W27959772 @default.
- W131544705 hasRelatedWork W2891688494 @default.
- W131544705 hasRelatedWork W2911183586 @default.
- W131544705 hasRelatedWork W4205353971 @default.
- W131544705 hasRelatedWork W9738743 @default.
- W131544705 hasRelatedWork W2504209112 @default.
- W131544705 hasRelatedWork W2584381231 @default.
- W131544705 isParatext "false" @default.
- W131544705 isRetracted "false" @default.
- W131544705 magId "131544705" @default.
- W131544705 workType "book-chapter" @default.