Pages that link to "Item:Q2915678"
From MaRDI portal
The following pages link to A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. (Q2915678):
Displaying 3 items.
- A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
- Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)
