Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Equisatisfiability> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Equisatisfiability abstract "In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none. As a result, equisatisfiability is different from logical equivalence, as two equivalent formulae always have the same models.Equisatisfiability is generally used in the context of translating formulae, so that one can define a translation to be correct if the original and resulting formulae are equisatisfiable. Examples of translations involving this concept are Skolemization and some translations into conjunctive normal form.".
- Equisatisfiability wikiPageID "15895296".
- Equisatisfiability wikiPageLength "1561".
- Equisatisfiability wikiPageOutDegree "9".
- Equisatisfiability wikiPageRevisionID "550551298".
- Equisatisfiability wikiPageWikiLink Category:Concepts_in_logic.
- Equisatisfiability wikiPageWikiLink Category:Metalogic.
- Equisatisfiability wikiPageWikiLink Category:Model_theory.
- Equisatisfiability wikiPageWikiLink Conjunctive_normal_form.
- Equisatisfiability wikiPageWikiLink Logic.
- Equisatisfiability wikiPageWikiLink Logical_equivalence.
- Equisatisfiability wikiPageWikiLink Model_theory.
- Equisatisfiability wikiPageWikiLink Satisfiability.
- Equisatisfiability wikiPageWikiLink Satisfiable.
- Equisatisfiability wikiPageWikiLink Skolem_normal_form.
- Equisatisfiability wikiPageWikiLink Skolemization.
- Equisatisfiability wikiPageWikiLinkText "Equisatisfiability".
- Equisatisfiability wikiPageWikiLinkText "equisatisfiability".
- Equisatisfiability wikiPageWikiLinkText "equisatisfiable".
- Equisatisfiability hasPhotoCollection Equisatisfiability.
- Equisatisfiability wikiPageUsesTemplate Template:Mathlogic-stub.
- Equisatisfiability wikiPageUsesTemplate Template:Unreferenced.
- Equisatisfiability subject Category:Concepts_in_logic.
- Equisatisfiability subject Category:Metalogic.
- Equisatisfiability subject Category:Model_theory.
- Equisatisfiability hypernym Vice.
- Equisatisfiability type Article.
- Equisatisfiability type Person.
- Equisatisfiability type Article.
- Equisatisfiability type Concept.
- Equisatisfiability comment "In logic, two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not. Two equisatisfiable formulae may have different models, provided they both have some or both have none.".
- Equisatisfiability label "Equisatisfiability".
- Equisatisfiability sameAs Erfüllbarkeitsäquivalenz.
- Equisatisfiability sameAs Equisatisfactibilidad.
- Equisatisfiability sameAs Equissatisfatibilidade.
- Equisatisfiability sameAs m.03qf4kv.
- Equisatisfiability sameAs Q5384599.
- Equisatisfiability sameAs Q5384599.
- Equisatisfiability wasDerivedFrom Equisatisfiability?oldid=550551298.
- Equisatisfiability isPrimaryTopicOf Equisatisfiability.