Matches in SemOpenAlex for { <https://semopenalex.org/work/W134091217> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W134091217 endingPage "197" @default.
- W134091217 startingPage "185" @default.
- W134091217 created "2016-06-24" @default.
- W134091217 creator A5013431691 @default.
- W134091217 creator A5076927852 @default.
- W134091217 date "1988-01-01" @default.
- W134091217 modified "2023-09-25" @default.
- W134091217 title "Another tableau based automated theorem prover for classical logic" @default.
- W134091217 hasPublicationYear "1988" @default.
- W134091217 type Work @default.
- W134091217 sameAs 134091217 @default.
- W134091217 citedByCount "0" @default.
- W134091217 crossrefType "journal-article" @default.
- W134091217 hasAuthorship W134091217A5013431691 @default.
- W134091217 hasAuthorship W134091217A5076927852 @default.
- W134091217 hasConcept C108710211 @default.
- W134091217 hasConcept C11413529 @default.
- W134091217 hasConcept C118615104 @default.
- W134091217 hasConcept C159718280 @default.
- W134091217 hasConcept C199343813 @default.
- W134091217 hasConcept C199360897 @default.
- W134091217 hasConcept C206880738 @default.
- W134091217 hasConcept C2524010 @default.
- W134091217 hasConcept C2777686260 @default.
- W134091217 hasConcept C32241873 @default.
- W134091217 hasConcept C33923547 @default.
- W134091217 hasConcept C41008148 @default.
- W134091217 hasConcept C71924100 @default.
- W134091217 hasConcept C80444323 @default.
- W134091217 hasConceptScore W134091217C108710211 @default.
- W134091217 hasConceptScore W134091217C11413529 @default.
- W134091217 hasConceptScore W134091217C118615104 @default.
- W134091217 hasConceptScore W134091217C159718280 @default.
- W134091217 hasConceptScore W134091217C199343813 @default.
- W134091217 hasConceptScore W134091217C199360897 @default.
- W134091217 hasConceptScore W134091217C206880738 @default.
- W134091217 hasConceptScore W134091217C2524010 @default.
- W134091217 hasConceptScore W134091217C2777686260 @default.
- W134091217 hasConceptScore W134091217C32241873 @default.
- W134091217 hasConceptScore W134091217C33923547 @default.
- W134091217 hasConceptScore W134091217C41008148 @default.
- W134091217 hasConceptScore W134091217C71924100 @default.
- W134091217 hasConceptScore W134091217C80444323 @default.
- W134091217 hasIssue "35" @default.
- W134091217 hasLocation W1340912171 @default.
- W134091217 hasOpenAccess W134091217 @default.
- W134091217 hasPrimaryLocation W1340912171 @default.
- W134091217 hasRelatedWork W1519461144 @default.
- W134091217 hasRelatedWork W1556427327 @default.
- W134091217 hasRelatedWork W1592672507 @default.
- W134091217 hasRelatedWork W170170933 @default.
- W134091217 hasRelatedWork W1720975781 @default.
- W134091217 hasRelatedWork W179065745 @default.
- W134091217 hasRelatedWork W2319334257 @default.
- W134091217 hasRelatedWork W23494085 @default.
- W134091217 hasRelatedWork W2538273967 @default.
- W134091217 hasRelatedWork W2565297847 @default.
- W134091217 hasRelatedWork W2785731136 @default.
- W134091217 hasRelatedWork W2914344498 @default.
- W134091217 hasRelatedWork W2944939952 @default.
- W134091217 hasRelatedWork W3204438756 @default.
- W134091217 hasRelatedWork W57682047 @default.
- W134091217 hasRelatedWork W77293486 @default.
- W134091217 hasRelatedWork W1155595021 @default.
- W134091217 hasRelatedWork W1542579875 @default.
- W134091217 hasRelatedWork W2192184199 @default.
- W134091217 hasRelatedWork W2806994441 @default.
- W134091217 hasVolume "35" @default.
- W134091217 isParatext "false" @default.
- W134091217 isRetracted "false" @default.
- W134091217 magId "134091217" @default.
- W134091217 workType "article" @default.