About: Satisfiability

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Elementary concept of semantics

Property	Value
dbo:description	метамовний предикат для властивості логічних висловлювань і форм висловлювань (uk) elementary concept of semantics (en) propiedad en lógica proposicional (es) metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen (de) 모형을 갖는 이론 (ko)
dbo:wikiPageWikiLink	dbr:Co-NP-complete dbc:Philosophy_of_logic dbr:Classical_logic dbr:Mathematical_optimization dbr:Peano_axioms dbr:Variable_(mathematics) dbr:Hilbert's_tenth_problem dbr:Validity_(logic) dbr:Karp's_21_NP-complete_problems dbr:Satisfiability_modulo_theories dbr:Syntax_(logic) dbr:Consistency dbr:System_of_linear_equations dbr:First-order_logic dbr:Automated_theorem_proving dbr:Decidability_(logic) dbr:Unification_(computer_science) dbr:Atomic_formula dbr:Linear_programming dbr:Propositional_calculus dbr:Propositional_logic dbr:Well-formed_formula dbr:Gödel's_completeness_theorem dbr:Aristotle dbc:Concepts_in_logic dbr:Logical_conjunction dbr:Cylindrical_algebraic_decomposition dbr:Integer_programming dbr:Linear_inequality dbr:Interpretation_(logic) dbr:Square_of_opposition dbr:Decidable_problem dbr:Axiom dbr:David_Hilbert dbc:Logical_truth dbr:Computational_complexity_theory dbr:Boolean_satisfiability_problem dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:RE_(complexity) dbr:Entscheidungsproblem dbr:Trakhtenbrot's_theorem dbr:Universal_algebra dbr:Undecidable_problem dbr:Semantics dbr:Finite_model_property dbr:Finite_model_theory dbr:Second-order_logic dbr:Logical_constant dbr:Atomic_sentence dbr:2-satisfiability dbr:Decision_problem dbr:Theory_(mathematical_logic) dbr:NP-complete dbr:Equational_theory dbr:Computably_enumerable dbr:Constraint_satisfaction dbr:Ofer_Strichman dbr:Term_rewriting dbr:Structure_(logic) dbr:PTIME dbr:Theory_(logic) dbr:Congruence_closure dbr:Circuit_satisfiability dbr:Classical_propositional_logic dbr:List_of_logic_systems dbr:Semidecidable dbr:Variable-free
dbp:wikiPageUsesTemplate	dbt:Clarify_span dbt:Cite_book dbt:Main dbt:Reflist dbt:Sfn dbt:Further dbt:Mathematical_logic dbt:Metalogic dbt:Rp dbt:Short_description
dct:subject	dbc:Philosophy_of_logic dbc:Concepts_in_logic dbc:Logical_truth dbc:Model_theory
gold:hypernym	dbr:Concepts
rdfs:label	Satisfiability (en) قابلية الإرضاء (ar) Splnitelnost (cs) Erfüllbarkeit (de) Satisfacibilidad (es) Satisfaisabilité (fr) Vervulbaarheid (nl) Satisfatibilidade (pt)
owl:sameAs	freebase:Satisfiability yago-res:Satisfiability wikidata:Satisfiability dbpedia-nl:Satisfiability dbpedia-de:Satisfiability dbpedia-fr:Satisfiability dbpedia-pt:Satisfiability dbpedia-es:Satisfiability dbpedia-hu:Satisfiability dbpedia-et:Satisfiability dbpedia-ar:Satisfiability dbpedia-cs:Satisfiability dbpedia-fi:Satisfiability dbpedia-global:Satisfiability dbr:Satisfiability
prov:wasDerivedFrom	wikipedia-en:Satisfiability?oldid=1291717094&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Satisfiability
is dbo:wikiPageDisambiguates of	dbr:Satisfy
is dbo:wikiPageRedirects of	dbr:Finite_satisfiability_(logics) dbr:Satisfiability_(logics) dbr:Satisfiability_and_validity dbr:Satisfiability_problem dbr:Satisfiable dbr:Unsatisfiable
is dbo:wikiPageWikiLink of	dbr:Parameterized_complexity dbr:Fragment_(logic) dbr:Logic_programming dbr:Satisficing dbr:Satisfiability_modulo_theories dbr:Universal_quantification dbr:Double_turnstile dbr:Skolem's_paradox dbr:Skolem_normal_form dbr:Vacuous_truth dbr:Fastest dbr:Barwise_compactness_theorem dbr:Modal_μ-calculus dbr:Link_grammar dbr:State_space_enumeration dbr:Compactness_theorem dbr:Sentence_(mathematical_logic) dbr:Bernays–Schönfinkel_class dbr:Duality_(mathematics) dbr:ZYpp dbr:Index_of_logic_articles dbr:SAT_solver dbr:Logical_truth dbr:Action_language dbr:Markov_logic_network dbr:Levi's_lemma dbr:Something_(concept) dbr:Axiom dbr:The_Art_of_Computer_Programming dbr:Satisfaction dbr:Boolean_satisfiability_problem dbr:Laws_of_Form dbr:RE_(complexity) dbr:Uninterpreted_function dbr:Trakhtenbrot's_theorem dbr:Method_of_analytic_tableaux dbr:Expert_system dbr:Second-order_predicate dbr:Sharp-SAT dbr:Glossary_of_artificial_intelligence dbr:Linear_temporal_logic dbr:Belief_propagation dbr:Bioinformatics,_and_Empirical_&_Theoretical_Algorithmics_Lab dbr:Skolem_arithmetic dbr:Boolean_algebras_canonically_defined dbr:Logic_of_graphs dbr:Herbrandization dbr:Outline_of_logic dbr:Planar_SAT dbr:FO(.) dbr:Theory_(mathematical_logic) dbr:Satisfy dbr:Diophantine_set dbr:Constraint_satisfaction dbr:NLTS_Conjecture dbr:Finite_satisfiability_(logics) dbr:Satisfiability_(logics) dbr:Satisfiability_and_validity dbr:Satisfiability_problem dbr:Satisfiable dbr:Unsatisfiable
is rdfs:seeAlso of	dbr:First-order_logic
is foaf:primaryTopic of	wikipedia-en:Satisfiability