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 4 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)
- (Q4986517) (← links)
- A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)