km#belief_revision__beliefrevision
  supertype:  non_monotonic_reasoning__nonmonotonicreasoning
  subtype:  permissive_belief_revision

1 statement is about an indirect instance of belief_revision (permissive_belief_revision): graph6_on_article
  click here to display them or click here for a search form or here to add a statement