Matches in SemOpenAlex for { <https://semopenalex.org/work/W1659327404> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1659327404 endingPage "385" @default.
- W1659327404 startingPage "381" @default.
- W1659327404 abstract "We describe the theorem prover DCTP, which is an implementation of the disconnection tableau calculus, a confluent tableau method, in which free variables are treated in a non-rigid manner. In contrast to most other free-variable tableau variants, the system can also be used for model generation. We sketch the underlying calculus and its refinements, and present the results of an experimental evaluation." @default.
- W1659327404 created "2016-06-24" @default.
- W1659327404 creator A5025398192 @default.
- W1659327404 creator A5088965213 @default.
- W1659327404 date "2001-01-01" @default.
- W1659327404 modified "2023-10-01" @default.
- W1659327404 title "DCTP - A Disconnection Calculus Theorem Prover - System Abstract" @default.
- W1659327404 cites W1834103703 @default.
- W1659327404 cites W2025252200 @default.
- W1659327404 cites W2067716734 @default.
- W1659327404 cites W2084894656 @default.
- W1659327404 cites W2912282119 @default.
- W1659327404 doi "https://doi.org/10.1007/3-540-45744-5_30" @default.
- W1659327404 hasPublicationYear "2001" @default.
- W1659327404 type Work @default.
- W1659327404 sameAs 1659327404 @default.
- W1659327404 citedByCount "17" @default.
- W1659327404 countsByYear W16593274042013 @default.
- W1659327404 countsByYear W16593274042015 @default.
- W1659327404 countsByYear W16593274042017 @default.
- W1659327404 countsByYear W16593274042018 @default.
- W1659327404 crossrefType "book-chapter" @default.
- W1659327404 hasAuthorship W1659327404A5025398192 @default.
- W1659327404 hasAuthorship W1659327404A5088965213 @default.
- W1659327404 hasConcept C108710211 @default.
- W1659327404 hasConcept C11413529 @default.
- W1659327404 hasConcept C134306372 @default.
- W1659327404 hasConcept C138885662 @default.
- W1659327404 hasConcept C154945302 @default.
- W1659327404 hasConcept C159718280 @default.
- W1659327404 hasConcept C182365436 @default.
- W1659327404 hasConcept C199343813 @default.
- W1659327404 hasConcept C206880738 @default.
- W1659327404 hasConcept C2524010 @default.
- W1659327404 hasConcept C27206212 @default.
- W1659327404 hasConcept C2776502983 @default.
- W1659327404 hasConcept C2777686260 @default.
- W1659327404 hasConcept C2779231336 @default.
- W1659327404 hasConcept C2780371621 @default.
- W1659327404 hasConcept C33923547 @default.
- W1659327404 hasConcept C41008148 @default.
- W1659327404 hasConcept C71924100 @default.
- W1659327404 hasConceptScore W1659327404C108710211 @default.
- W1659327404 hasConceptScore W1659327404C11413529 @default.
- W1659327404 hasConceptScore W1659327404C134306372 @default.
- W1659327404 hasConceptScore W1659327404C138885662 @default.
- W1659327404 hasConceptScore W1659327404C154945302 @default.
- W1659327404 hasConceptScore W1659327404C159718280 @default.
- W1659327404 hasConceptScore W1659327404C182365436 @default.
- W1659327404 hasConceptScore W1659327404C199343813 @default.
- W1659327404 hasConceptScore W1659327404C206880738 @default.
- W1659327404 hasConceptScore W1659327404C2524010 @default.
- W1659327404 hasConceptScore W1659327404C27206212 @default.
- W1659327404 hasConceptScore W1659327404C2776502983 @default.
- W1659327404 hasConceptScore W1659327404C2777686260 @default.
- W1659327404 hasConceptScore W1659327404C2779231336 @default.
- W1659327404 hasConceptScore W1659327404C2780371621 @default.
- W1659327404 hasConceptScore W1659327404C33923547 @default.
- W1659327404 hasConceptScore W1659327404C41008148 @default.
- W1659327404 hasConceptScore W1659327404C71924100 @default.
- W1659327404 hasLocation W16593274041 @default.
- W1659327404 hasOpenAccess W1659327404 @default.
- W1659327404 hasPrimaryLocation W16593274041 @default.
- W1659327404 hasRelatedWork W1509982649 @default.
- W1659327404 hasRelatedWork W1572737983 @default.
- W1659327404 hasRelatedWork W1659327404 @default.
- W1659327404 hasRelatedWork W1862708673 @default.
- W1659327404 hasRelatedWork W2018100734 @default.
- W1659327404 hasRelatedWork W2104307228 @default.
- W1659327404 hasRelatedWork W2307915363 @default.
- W1659327404 hasRelatedWork W2548598692 @default.
- W1659327404 hasRelatedWork W60445782 @default.
- W1659327404 hasRelatedWork W2740956318 @default.
- W1659327404 isParatext "false" @default.
- W1659327404 isRetracted "false" @default.
- W1659327404 magId "1659327404" @default.
- W1659327404 workType "book-chapter" @default.