Matches in SemOpenAlex for { <https://semopenalex.org/work/W58846826> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W58846826 created "2016-06-24" @default.
- W58846826 creator A5040205965 @default.
- W58846826 creator A5052381078 @default.
- W58846826 creator A5054367511 @default.
- W58846826 creator A5075565869 @default.
- W58846826 date "2005-01-01" @default.
- W58846826 modified "2023-10-11" @default.
- W58846826 title "Proof-searching algorithm in first order classical natural deduction calculus" @default.
- W58846826 hasPublicationYear "2005" @default.
- W58846826 type Work @default.
- W58846826 sameAs 58846826 @default.
- W58846826 citedByCount "2" @default.
- W58846826 crossrefType "book-chapter" @default.
- W58846826 hasAuthorship W58846826A5040205965 @default.
- W58846826 hasAuthorship W58846826A5052381078 @default.
- W58846826 hasAuthorship W58846826A5054367511 @default.
- W58846826 hasAuthorship W58846826A5075565869 @default.
- W58846826 hasConcept C10138342 @default.
- W58846826 hasConcept C11413529 @default.
- W58846826 hasConcept C118615104 @default.
- W58846826 hasConcept C162324750 @default.
- W58846826 hasConcept C182306322 @default.
- W58846826 hasConcept C199343813 @default.
- W58846826 hasConcept C2777686260 @default.
- W58846826 hasConcept C33923547 @default.
- W58846826 hasConcept C41008148 @default.
- W58846826 hasConcept C62073222 @default.
- W58846826 hasConcept C71924100 @default.
- W58846826 hasConceptScore W58846826C10138342 @default.
- W58846826 hasConceptScore W58846826C11413529 @default.
- W58846826 hasConceptScore W58846826C118615104 @default.
- W58846826 hasConceptScore W58846826C162324750 @default.
- W58846826 hasConceptScore W58846826C182306322 @default.
- W58846826 hasConceptScore W58846826C199343813 @default.
- W58846826 hasConceptScore W58846826C2777686260 @default.
- W58846826 hasConceptScore W58846826C33923547 @default.
- W58846826 hasConceptScore W58846826C41008148 @default.
- W58846826 hasConceptScore W58846826C62073222 @default.
- W58846826 hasConceptScore W58846826C71924100 @default.
- W58846826 hasLocation W588468261 @default.
- W58846826 hasOpenAccess W58846826 @default.
- W58846826 hasPrimaryLocation W588468261 @default.
- W58846826 hasRelatedWork W122982323 @default.
- W58846826 hasRelatedWork W150599783 @default.
- W58846826 hasRelatedWork W1509982649 @default.
- W58846826 hasRelatedWork W1561531759 @default.
- W58846826 hasRelatedWork W1586531257 @default.
- W58846826 hasRelatedWork W1589368437 @default.
- W58846826 hasRelatedWork W1628824908 @default.
- W58846826 hasRelatedWork W1679894682 @default.
- W58846826 hasRelatedWork W1852594029 @default.
- W58846826 hasRelatedWork W2007934884 @default.
- W58846826 hasRelatedWork W2133487056 @default.
- W58846826 hasRelatedWork W2154098055 @default.
- W58846826 hasRelatedWork W2488236528 @default.
- W58846826 hasRelatedWork W2800252953 @default.
- W58846826 hasRelatedWork W3105570133 @default.
- W58846826 hasRelatedWork W3120568258 @default.
- W58846826 hasRelatedWork W3123028025 @default.
- W58846826 hasRelatedWork W591317650 @default.
- W58846826 hasRelatedWork W1508977294 @default.
- W58846826 hasRelatedWork W81013966 @default.
- W58846826 isParatext "false" @default.
- W58846826 isRetracted "false" @default.
- W58846826 magId "58846826" @default.
- W58846826 workType "book-chapter" @default.