Pages that link to "Item:Q477206"

The following pages link to A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206):

Displaying 7 items.

• The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
• Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
• Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
• Automated reasoning with restricted intensional sets (Q2666960) (← links)
• A decidable quantified fragment of set theory involving ordered pairs with applications to description logics (Q2915678) (← links)
• (Q4986517) (← links)
• A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers (Q6653095) (← links)