Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593670048> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2593670048 endingPage "142" @default.
- W2593670048 startingPage "119" @default.
- W2593670048 abstract "JTabWb is a Java framework for developing provers based on sequent or tableau calculi. It provides a generic engine which searches for proof of a given goal driven by a user-defined prover. The user is required to define the components of a prover by implementing suitable Java interfaces. In this p aper we describe the structure of the framework and the role of its components through a running example. To show the generality of the framework we review some of the provers implemented in JTabWb. Finally, to corroborate the fact that the framework can be used to generate efficient provers, we compare the performances of one of the implemented provers with the state-of-the-art provers for Intuitionistic Propositional Logic." @default.
- W2593670048 created "2017-03-16" @default.
- W2593670048 creator A5011583391 @default.
- W2593670048 creator A5038482708 @default.
- W2593670048 creator A5090594213 @default.
- W2593670048 date "2017-03-03" @default.
- W2593670048 modified "2023-09-26" @default.
- W2593670048 title "JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi" @default.
- W2593670048 cites W1494555377 @default.
- W2593670048 cites W1534850143 @default.
- W2593670048 cites W1544720236 @default.
- W2593670048 cites W1597361319 @default.
- W2593670048 cites W1844848791 @default.
- W2593670048 cites W2019841519 @default.
- W2593670048 cites W2039834595 @default.
- W2593670048 cites W2049227737 @default.
- W2593670048 cites W2077061463 @default.
- W2593670048 cites W2087005564 @default.
- W2593670048 cites W2094025748 @default.
- W2593670048 cites W2113939721 @default.
- W2593670048 cites W2127391555 @default.
- W2593670048 cites W2753667555 @default.
- W2593670048 cites W60804773 @default.
- W2593670048 doi "https://doi.org/10.3233/fi-2017-1462" @default.
- W2593670048 hasPublicationYear "2017" @default.
- W2593670048 type Work @default.
- W2593670048 sameAs 2593670048 @default.
- W2593670048 citedByCount "6" @default.
- W2593670048 countsByYear W25936700482016 @default.
- W2593670048 countsByYear W25936700482017 @default.
- W2593670048 countsByYear W25936700482020 @default.
- W2593670048 countsByYear W25936700482021 @default.
- W2593670048 crossrefType "journal-article" @default.
- W2593670048 hasAuthorship W2593670048A5011583391 @default.
- W2593670048 hasAuthorship W2593670048A5038482708 @default.
- W2593670048 hasAuthorship W2593670048A5090594213 @default.
- W2593670048 hasBestOaLocation W25936700482 @default.
- W2593670048 hasConcept C108710211 @default.
- W2593670048 hasConcept C11413529 @default.
- W2593670048 hasConcept C15744967 @default.
- W2593670048 hasConcept C159718280 @default.
- W2593670048 hasConcept C199343813 @default.
- W2593670048 hasConcept C199360897 @default.
- W2593670048 hasConcept C2318724 @default.
- W2593670048 hasConcept C2524010 @default.
- W2593670048 hasConcept C2777686260 @default.
- W2593670048 hasConcept C2780767217 @default.
- W2593670048 hasConcept C33923547 @default.
- W2593670048 hasConcept C41008148 @default.
- W2593670048 hasConcept C542102704 @default.
- W2593670048 hasConcept C548217200 @default.
- W2593670048 hasConcept C65880906 @default.
- W2593670048 hasConcept C71924100 @default.
- W2593670048 hasConcept C80444323 @default.
- W2593670048 hasConcept C89421646 @default.
- W2593670048 hasConceptScore W2593670048C108710211 @default.
- W2593670048 hasConceptScore W2593670048C11413529 @default.
- W2593670048 hasConceptScore W2593670048C15744967 @default.
- W2593670048 hasConceptScore W2593670048C159718280 @default.
- W2593670048 hasConceptScore W2593670048C199343813 @default.
- W2593670048 hasConceptScore W2593670048C199360897 @default.
- W2593670048 hasConceptScore W2593670048C2318724 @default.
- W2593670048 hasConceptScore W2593670048C2524010 @default.
- W2593670048 hasConceptScore W2593670048C2777686260 @default.
- W2593670048 hasConceptScore W2593670048C2780767217 @default.
- W2593670048 hasConceptScore W2593670048C33923547 @default.
- W2593670048 hasConceptScore W2593670048C41008148 @default.
- W2593670048 hasConceptScore W2593670048C542102704 @default.
- W2593670048 hasConceptScore W2593670048C548217200 @default.
- W2593670048 hasConceptScore W2593670048C65880906 @default.
- W2593670048 hasConceptScore W2593670048C71924100 @default.
- W2593670048 hasConceptScore W2593670048C80444323 @default.
- W2593670048 hasConceptScore W2593670048C89421646 @default.
- W2593670048 hasIssue "1" @default.
- W2593670048 hasLocation W25936700481 @default.
- W2593670048 hasLocation W25936700482 @default.
- W2593670048 hasLocation W25936700483 @default.
- W2593670048 hasOpenAccess W2593670048 @default.
- W2593670048 hasPrimaryLocation W25936700481 @default.
- W2593670048 hasRelatedWork W1499822848 @default.
- W2593670048 hasRelatedWork W1566344352 @default.
- W2593670048 hasRelatedWork W2009791150 @default.
- W2593670048 hasRelatedWork W2351433375 @default.
- W2593670048 hasRelatedWork W2384043654 @default.
- W2593670048 hasRelatedWork W2793983771 @default.
- W2593670048 hasRelatedWork W27959772 @default.
- W2593670048 hasRelatedWork W2806893870 @default.
- W2593670048 hasRelatedWork W2891688494 @default.
- W2593670048 hasRelatedWork W9738743 @default.
- W2593670048 hasVolume "150" @default.
- W2593670048 isParatext "false" @default.
- W2593670048 isRetracted "false" @default.
- W2593670048 magId "2593670048" @default.
- W2593670048 workType "article" @default.