Pages that link to "Item:Q622590"

The following pages link to Prime forms and minimal change in propositional belief bases (Q622590):

Displaying 2 items.

• The incremental satisfiability problem for a two conjunctive normal form (Q1744433) (← links)
• Relevant Minimal Change in Belief Update (Q2915083) (← links)