Matches in SemOpenAlex for { <https://semopenalex.org/work/W4290930689> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4290930689 abstract "Abstract Let LX be the language of first-order, decidable theory X . Consider the language, LRQ(X) , that extends LX with formulas of the form ∀ x ∈ A : ϕ (restricted universal quantifier, RUQ) and ∃ x ∈ A : ϕ (restricted existential quantifier, REQ), where A is a finite set and ϕ is a formula made of X-formulas, RUQ and REQ. That is, LRQ(X) admits nested restricted quantifiers. In this paper we present a decision procedure for LRQ(X ) based on the decision procedure already defined for the Boolean algebra of finite sets extended with restricted intensional sets ( LRIS ). The implementation of the decision procedure as part of the {log} (‘setlog’) tool is also introduced. The usefulness of the approach is shown through a number of examples drawn from several real-world case studies." @default.
- W4290930689 created "2022-08-13" @default.
- W4290930689 creator A5045769824 @default.
- W4290930689 creator A5062894556 @default.
- W4290930689 date "2022-08-12" @default.
- W4290930689 modified "2023-09-26" @default.
- W4290930689 title "A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers" @default.
- W4290930689 doi "https://doi.org/10.21203/rs.3.rs-1936827/v1" @default.
- W4290930689 hasPublicationYear "2022" @default.
- W4290930689 type Work @default.
- W4290930689 citedByCount "0" @default.
- W4290930689 crossrefType "posted-content" @default.
- W4290930689 hasAuthorship W4290930689A5045769824 @default.
- W4290930689 hasAuthorship W4290930689A5062894556 @default.
- W4290930689 hasBestOaLocation W42909306891 @default.
- W4290930689 hasConcept C11413529 @default.
- W4290930689 hasConcept C115988155 @default.
- W4290930689 hasConcept C118615104 @default.
- W4290930689 hasConcept C134306372 @default.
- W4290930689 hasConcept C136119220 @default.
- W4290930689 hasConcept C153269930 @default.
- W4290930689 hasConcept C154945302 @default.
- W4290930689 hasConcept C162392398 @default.
- W4290930689 hasConcept C177264268 @default.
- W4290930689 hasConcept C199360897 @default.
- W4290930689 hasConcept C202444582 @default.
- W4290930689 hasConcept C2778523021 @default.
- W4290930689 hasConcept C32278780 @default.
- W4290930689 hasConcept C33923547 @default.
- W4290930689 hasConcept C39685927 @default.
- W4290930689 hasConcept C41008148 @default.
- W4290930689 hasConceptScore W4290930689C11413529 @default.
- W4290930689 hasConceptScore W4290930689C115988155 @default.
- W4290930689 hasConceptScore W4290930689C118615104 @default.
- W4290930689 hasConceptScore W4290930689C134306372 @default.
- W4290930689 hasConceptScore W4290930689C136119220 @default.
- W4290930689 hasConceptScore W4290930689C153269930 @default.
- W4290930689 hasConceptScore W4290930689C154945302 @default.
- W4290930689 hasConceptScore W4290930689C162392398 @default.
- W4290930689 hasConceptScore W4290930689C177264268 @default.
- W4290930689 hasConceptScore W4290930689C199360897 @default.
- W4290930689 hasConceptScore W4290930689C202444582 @default.
- W4290930689 hasConceptScore W4290930689C2778523021 @default.
- W4290930689 hasConceptScore W4290930689C32278780 @default.
- W4290930689 hasConceptScore W4290930689C33923547 @default.
- W4290930689 hasConceptScore W4290930689C39685927 @default.
- W4290930689 hasConceptScore W4290930689C41008148 @default.
- W4290930689 hasLocation W42909306891 @default.
- W4290930689 hasLocation W42909306892 @default.
- W4290930689 hasOpenAccess W4290930689 @default.
- W4290930689 hasPrimaryLocation W42909306891 @default.
- W4290930689 hasRelatedWork W1517238936 @default.
- W4290930689 hasRelatedWork W1607550340 @default.
- W4290930689 hasRelatedWork W2747784335 @default.
- W4290930689 hasRelatedWork W3135280923 @default.
- W4290930689 hasRelatedWork W3154348966 @default.
- W4290930689 hasRelatedWork W4225979384 @default.
- W4290930689 hasRelatedWork W4229857370 @default.
- W4290930689 hasRelatedWork W4290930689 @default.
- W4290930689 hasRelatedWork W4300940577 @default.
- W4290930689 hasRelatedWork W4311299684 @default.
- W4290930689 isParatext "false" @default.
- W4290930689 isRetracted "false" @default.
- W4290930689 workType "article" @default.