Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580639670> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1580639670 endingPage "107" @default.
- W1580639670 startingPage "93" @default.
- W1580639670 abstract "Set theory is the common language of mathematics. Therefore, set theory plays an important rôle in many important applications of automated deduction. In this paper, we present an improved tableau calculus for the decidable fragment of set theory called multi-level syllogistic with singleton (MLSS). Furthermore, we describe an extension of our calculus for the bigger fragment consisting of MLSS enriched with free (uninterpreted) function symbols (MLSSF)." @default.
- W1580639670 created "2016-06-24" @default.
- W1580639670 creator A5002373275 @default.
- W1580639670 creator A5003024686 @default.
- W1580639670 date "1998-01-01" @default.
- W1580639670 modified "2023-10-02" @default.
- W1580639670 title "A Tableau Calculus for Quantifier-Free Set Theoretic Formulae" @default.
- W1580639670 cites W1568077868 @default.
- W1580639670 cites W1994872660 @default.
- W1580639670 cites W2026242340 @default.
- W1580639670 cites W2051575254 @default.
- W1580639670 cites W2070159660 @default.
- W1580639670 doi "https://doi.org/10.1007/3-540-69778-0_16" @default.
- W1580639670 hasPublicationYear "1998" @default.
- W1580639670 type Work @default.
- W1580639670 sameAs 1580639670 @default.
- W1580639670 citedByCount "5" @default.
- W1580639670 countsByYear W15806396702023 @default.
- W1580639670 crossrefType "book-chapter" @default.
- W1580639670 hasAuthorship W1580639670A5002373275 @default.
- W1580639670 hasAuthorship W1580639670A5003024686 @default.
- W1580639670 hasConcept C11413529 @default.
- W1580639670 hasConcept C117354338 @default.
- W1580639670 hasConcept C118615104 @default.
- W1580639670 hasConcept C136119220 @default.
- W1580639670 hasConcept C14036430 @default.
- W1580639670 hasConcept C153046414 @default.
- W1580639670 hasConcept C153269930 @default.
- W1580639670 hasConcept C154945302 @default.
- W1580639670 hasConcept C177264268 @default.
- W1580639670 hasConcept C199343813 @default.
- W1580639670 hasConcept C199360897 @default.
- W1580639670 hasConcept C202444582 @default.
- W1580639670 hasConcept C2776235265 @default.
- W1580639670 hasConcept C2777686260 @default.
- W1580639670 hasConcept C2778029271 @default.
- W1580639670 hasConcept C2778523021 @default.
- W1580639670 hasConcept C2779234561 @default.
- W1580639670 hasConcept C32278780 @default.
- W1580639670 hasConcept C33923547 @default.
- W1580639670 hasConcept C41008148 @default.
- W1580639670 hasConcept C54355233 @default.
- W1580639670 hasConcept C71924100 @default.
- W1580639670 hasConcept C78458016 @default.
- W1580639670 hasConcept C86803240 @default.
- W1580639670 hasConceptScore W1580639670C11413529 @default.
- W1580639670 hasConceptScore W1580639670C117354338 @default.
- W1580639670 hasConceptScore W1580639670C118615104 @default.
- W1580639670 hasConceptScore W1580639670C136119220 @default.
- W1580639670 hasConceptScore W1580639670C14036430 @default.
- W1580639670 hasConceptScore W1580639670C153046414 @default.
- W1580639670 hasConceptScore W1580639670C153269930 @default.
- W1580639670 hasConceptScore W1580639670C154945302 @default.
- W1580639670 hasConceptScore W1580639670C177264268 @default.
- W1580639670 hasConceptScore W1580639670C199343813 @default.
- W1580639670 hasConceptScore W1580639670C199360897 @default.
- W1580639670 hasConceptScore W1580639670C202444582 @default.
- W1580639670 hasConceptScore W1580639670C2776235265 @default.
- W1580639670 hasConceptScore W1580639670C2777686260 @default.
- W1580639670 hasConceptScore W1580639670C2778029271 @default.
- W1580639670 hasConceptScore W1580639670C2778523021 @default.
- W1580639670 hasConceptScore W1580639670C2779234561 @default.
- W1580639670 hasConceptScore W1580639670C32278780 @default.
- W1580639670 hasConceptScore W1580639670C33923547 @default.
- W1580639670 hasConceptScore W1580639670C41008148 @default.
- W1580639670 hasConceptScore W1580639670C54355233 @default.
- W1580639670 hasConceptScore W1580639670C71924100 @default.
- W1580639670 hasConceptScore W1580639670C78458016 @default.
- W1580639670 hasConceptScore W1580639670C86803240 @default.
- W1580639670 hasLocation W15806396701 @default.
- W1580639670 hasOpenAccess W1580639670 @default.
- W1580639670 hasPrimaryLocation W15806396701 @default.
- W1580639670 hasRelatedWork W1520256551 @default.
- W1580639670 hasRelatedWork W1580639670 @default.
- W1580639670 hasRelatedWork W1996177377 @default.
- W1580639670 hasRelatedWork W2118701833 @default.
- W1580639670 hasRelatedWork W2951633727 @default.
- W1580639670 hasRelatedWork W3093966545 @default.
- W1580639670 hasRelatedWork W3135280923 @default.
- W1580639670 hasRelatedWork W4225979384 @default.
- W1580639670 hasRelatedWork W4229857370 @default.
- W1580639670 hasRelatedWork W2303005335 @default.
- W1580639670 isParatext "false" @default.
- W1580639670 isRetracted "false" @default.
- W1580639670 magId "1580639670" @default.
- W1580639670 workType "book-chapter" @default.