FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148854889> ?p ?o ?g. }

• W2148854889 endingPage "112" @default.
• W2148854889 startingPage "88" @default.
• W2148854889 abstract "We present a uniform procedure for proof search in classical logic, intuition- istic logic, various modal logics, and fragments of linear logic. It is based on matrix characterizations of validity in these logics and extends Bibel's connection method, originally developed for classical logic, accordingly. Besides combining a variety of dif- ferent logics it can also be used to guide the development of proofs in interactive proof assistants and shows how to integrate automated and interactive theorem proving." @default.
• W2148854889 created "2016-06-24" @default.
• W2148854889 creator A5074019384 @default.
• W2148854889 creator A5087898463 @default.
• W2148854889 date "1999-01-01" @default.
• W2148854889 modified "2023-10-01" @default.
• W2148854889 title "Connection-based Theorem Proving in Classical and Non-classical Logics" @default.
• W2148854889 cites W1481660686 @default.
• W2148854889 cites W1495396426 @default.
• W2148854889 cites W1499443302 @default.
• W2148854889 cites W1549965364 @default.
• W2148854889 cites W1554125267 @default.
• W2148854889 cites W1560375618 @default.
• W2148854889 cites W1570374618 @default.
• W2148854889 cites W1577904430 @default.
• W2148854889 cites W1582842241 @default.
• W2148854889 cites W1602423174 @default.
• W2148854889 cites W1603245130 @default.
• W2148854889 cites W1607410148 @default.
• W2148854889 cites W1652556981 @default.
• W2148854889 cites W1661076342 @default.
• W2148854889 cites W1862061328 @default.
• W2148854889 cites W1971716005 @default.
• W2148854889 cites W1993342445 @default.
• W2148854889 cites W1993370765 @default.
• W2148854889 cites W2007362771 @default.
• W2148854889 cites W2010939537 @default.
• W2148854889 cites W2084894656 @default.
• W2148854889 cites W2087028873 @default.
• W2148854889 cites W2100738443 @default.
• W2148854889 cites W2103614325 @default.
• W2148854889 cites W2103947188 @default.
• W2148854889 cites W2111792525 @default.
• W2148854889 cites W2113722134 @default.
• W2148854889 cites W2124044295 @default.
• W2148854889 cites W2128057448 @default.
• W2148854889 cites W2134977256 @default.
• W2148854889 cites W2143810536 @default.
• W2148854889 cites W2151355005 @default.
• W2148854889 cites W2156307264 @default.
• W2148854889 cites W2167636254 @default.
• W2148854889 cites W2167732057 @default.
• W2148854889 cites W2184214717 @default.
• W2148854889 cites W2500266217 @default.
• W2148854889 cites W2722497084 @default.
• W2148854889 cites W2911865844 @default.
• W2148854889 cites W61450922 @default.
• W2148854889 cites W71891286 @default.
• W2148854889 hasPublicationYear "1999" @default.
• W2148854889 type Work @default.
• W2148854889 sameAs 2148854889 @default.
• W2148854889 citedByCount "23" @default.
• W2148854889 countsByYear W21488548892012 @default.
• W2148854889 countsByYear W21488548892016 @default.
• W2148854889 countsByYear W21488548892017 @default.
• W2148854889 countsByYear W21488548892018 @default.
• W2148854889 crossrefType "journal-article" @default.
• W2148854889 hasAuthorship W2148854889A5074019384 @default.
• W2148854889 hasAuthorship W2148854889A5087898463 @default.
• W2148854889 hasConcept C108710211 @default.
• W2148854889 hasConcept C118615104 @default.
• W2148854889 hasConcept C132010649 @default.
• W2148854889 hasConcept C13355873 @default.
• W2148854889 hasConcept C136119220 @default.
• W2148854889 hasConcept C154945302 @default.
• W2148854889 hasConcept C15744967 @default.
• W2148854889 hasConcept C185592680 @default.
• W2148854889 hasConcept C188027245 @default.
• W2148854889 hasConcept C188147891 @default.
• W2148854889 hasConcept C199343813 @default.
• W2148854889 hasConcept C199360897 @default.
• W2148854889 hasConcept C202444582 @default.
• W2148854889 hasConcept C2524010 @default.
• W2148854889 hasConcept C27508121 @default.
• W2148854889 hasConcept C2777686260 @default.
• W2148854889 hasConcept C32241873 @default.
• W2148854889 hasConcept C33923547 @default.
• W2148854889 hasConcept C41008148 @default.
• W2148854889 hasConcept C42011625 @default.
• W2148854889 hasConcept C5263885 @default.
• W2148854889 hasConcept C58166 @default.
• W2148854889 hasConcept C71139939 @default.
• W2148854889 hasConcept C71924100 @default.
• W2148854889 hasConcept C80444323 @default.
• W2148854889 hasConcept C86602344 @default.
• W2148854889 hasConceptScore W2148854889C108710211 @default.
• W2148854889 hasConceptScore W2148854889C118615104 @default.
• W2148854889 hasConceptScore W2148854889C132010649 @default.
• W2148854889 hasConceptScore W2148854889C13355873 @default.
• W2148854889 hasConceptScore W2148854889C136119220 @default.
• W2148854889 hasConceptScore W2148854889C154945302 @default.
• W2148854889 hasConceptScore W2148854889C15744967 @default.
• W2148854889 hasConceptScore W2148854889C185592680 @default.
• W2148854889 hasConceptScore W2148854889C188027245 @default.
• W2148854889 hasConceptScore W2148854889C188147891 @default.
• W2148854889 hasConceptScore W2148854889C199343813 @default.
• W2148854889 hasConceptScore W2148854889C199360897 @default.
• W2148854889 hasConceptScore W2148854889C202444582 @default.

• next