Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Propositional_variable> }
Showing triples 1 to 53 of
53
with 100 triples per page.
- Proposition_variable wikiPageRedirects Propositional_variable.
- Propositional_symbol wikiPageRedirects Propositional_variable.
- Sentential_letter wikiPageRedirects Propositional_variable.
- Sentential_variable wikiPageRedirects Propositional_variable.
- Admissible_rule wikiPageWikiLink Propositional_variable.
- Atomic_formula wikiPageWikiLink Propositional_variable.
- Axiom wikiPageWikiLink Propositional_variable.
- BL_(logic) wikiPageWikiLink Propositional_variable.
- Belief_revision wikiPageWikiLink Propositional_variable.
- Binary_data wikiPageWikiLink Propositional_variable.
- Boolean_algebra wikiPageWikiLink Propositional_variable.
- Circumscription_(logic) wikiPageWikiLink Propositional_variable.
- Commutative_property wikiPageWikiLink Propositional_variable.
- Conjunctive_normal_form wikiPageWikiLink Propositional_variable.
- Context_principle wikiPageWikiLink Propositional_variable.
- Craig_interpolation wikiPageWikiLink Propositional_variable.
- DPLL_algorithm wikiPageWikiLink Propositional_variable.
- Disjunctive_normal_form wikiPageWikiLink Propositional_variable.
- Dynamic_logic_(modal_logic) wikiPageWikiLink Propositional_variable.
- First-order_logic wikiPageWikiLink Propositional_variable.
- Fuzzy_set wikiPageWikiLink Propositional_variable.
- General_frame wikiPageWikiLink Propositional_variable.
- Index_of_logic_articles wikiPageWikiLink Propositional_variable.
- Interpretation_(logic) wikiPageWikiLink Propositional_variable.
- Kripke_semantics wikiPageWikiLink Propositional_variable.
- Laws_of_Form wikiPageWikiLink Propositional_variable.
- Lindenbaum–Tarski_algebra wikiPageWikiLink Propositional_variable.
- Linear_temporal_logic wikiPageWikiLink Propositional_variable.
- Literal_(mathematical_logic) wikiPageWikiLink Propositional_variable.
- Lxc3xb6bs_theorem wikiPageWikiLink Propositional_variable.
- Modal_companion wikiPageWikiLink Propositional_variable.
- Monoidal_t-norm_logic wikiPageWikiLink Propositional_variable.
- Outline_of_logic wikiPageWikiLink Propositional_variable.
- Posts_lattice wikiPageWikiLink Propositional_variable.
- Predicate_(mathematical_logic) wikiPageWikiLink Propositional_variable.
- Predicate_variable wikiPageWikiLink Propositional_variable.
- Probabilistic_logic wikiPageWikiLink Propositional_variable.
- Proposition_variable wikiPageWikiLink Propositional_variable.
- Propositional_calculus wikiPageWikiLink Propositional_variable.
- Propositional_formula wikiPageWikiLink Propositional_variable.
- Propositional_symbol wikiPageWikiLink Propositional_variable.
- STRIPS wikiPageWikiLink Propositional_variable.
- Schaefers_dichotomy_theorem wikiPageWikiLink Propositional_variable.
- Sentence wikiPageWikiLink Propositional_variable.
- Sentential_letter wikiPageWikiLink Propositional_variable.
- Sentential_variable wikiPageWikiLink Propositional_variable.
- T-norm_fuzzy_logics wikiPageWikiLink Propositional_variable.
- Tautology_(logic) wikiPageWikiLink Propositional_variable.
- Truth_value wikiPageWikiLink Propositional_variable.
- Valuation_(logic) wikiPageWikiLink Propositional_variable.
- Well-formed_formula wikiPageWikiLink Propositional_variable.
- Łukasiewicz_logic wikiPageWikiLink Propositional_variable.
- Propositional_variable primaryTopic Propositional_variable.