About: Logic in computer science

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	1010631 (xsd:integer)
dbo:wikiPageRevisionID	975653527 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:CatAutoTOC dbt:See_also_cat
rdf:type	skos:Concept
rdfs:label	Logic in computer science (en)
skos:broader	dbc:Mathematics_of_computing dbc:Theoretical_computer_science dbc:Mathematical_logic
skos:prefLabel	Logic in computer science (en)
prov:wasDerivedFrom	wikipedia-en:Category:Logic_in_computer_science?oldid=975653527&ns=14
is dbo:wikiPageWikiLink of	dbr:Proof_complexity dbr:Q0_(mathematical_logic) dbr:Typed_lambda_calculus dbr:Boolean_flag dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Anti-unification_(computer_science) dbr:Peano_axioms dbr:Perceptual_computing dbr:Unification_(computer_science) dbr:Veitch_chart dbr:Decidable_sublanguages_of_set_theory dbr:Dershowitz–Manna_ordering dbr:Dynamic_logic_(modal_logic) dbr:Intuitionistic_logic dbr:Intuitionistic_type_theory dbr:Presburger_arithmetic dbr:Propositional_proof_system dbr:Star-free_language dbr:Combinational_logic dbr:Combinatory_logic dbr:CompCert dbr:Geometry_of_interaction dbr:Normal_form_(abstract_rewriting) dbr:OBJ_(programming_language) dbr:Rewriting dbr:Separation_logic dbr:Symposium_on_Logic_in_Computer_Science dbr:Model_checking dbr:Precondition dbr:Operational_semantics dbr:Logic_optimization dbr:Structural_induction dbr:Combs_method dbr:Computability_logic dbr:Computation_tree_logic dbr:Computational_logic dbr:Functional_completeness dbr:Functional_verification dbr:Hennessy–Milner_logic dbr:Horn-satisfiability dbr:Horn_clause dbr:Journal_of_Automated_Reasoning dbr:Ordered_weighted_averaging_aggregation_operator dbr:Stuttering_equivalence dbr:Successor_function dbr:Maximum_satisfiability_problem dbr:Postcondition dbr:Fuzzy_logic dbr:Game_semantics dbr:Logic_for_Computable_Functions dbr:Logic_in_computer_science dbr:Logical_Methods_in_Computer_Science dbr:Preferential_entailment dbr:Curry–Howard_correspondence dbr:Alternating-time_temporal_logic dbr:Formal_verification dbr:DiVincenzo's_criteria dbr:Fluent_(artificial_intelligence) dbr:Forward_chaining dbr:Journal_of_Logic_and_Computation dbr:Knowledge_Interchange_Format dbr:Logical_framework dbr:HOL_(proof_assistant) dbr:Backward_chaining dbr:Type-1_OWA_operators dbr:Twelf dbr:ACM_Transactions_on_Computational_Logic dbr:Abstract_rewriting_system dbr:Karnaugh_map dbr:Bisimulation dbr:Herbrand_Award dbr:Model_elimination dbr:Assertion_(software_development) dbr:Automated_reasoning dbr:Axiomatic_semantics dbr:Marquand_diagram dbr:Boolean_circuit dbr:Boolean_satisfiability_problem dbr:Bunched_logic dbr:Büchi_arithmetic dbr:CTL* dbr:Frege_system dbr:Interference_freedom dbr:Race_condition dbr:SAT_solver dbr:Satisfiability_modulo_theories dbr:Semantics_(computer_science) dbr:Runtime_verification dbr:Undecidable_problem dbr:Weakest_precondition dbr:Racetrack_problem dbr:Event_calculus dbr:Multi-Agent_Programming_Contest dbr:Tseytin_transformation dbr:Noise-based_logic dbr:ΛProlog dbr:WalkSAT dbr:Sequential_logic dbr:Type-2_fuzzy_sets_and_systems dbr:State_space_enumeration
is dcterms:subject of	dbr:Proof_complexity dbr:Q0_(mathematical_logic) dbr:Typed_lambda_calculus dbr:Boolean_flag dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Anti-unification_(computer_science) dbr:Peano_axioms dbr:Perceptual_computing dbr:Unification_(computer_science) dbr:Veitch_chart dbr:Decidable_sublanguages_of_set_theory dbr:Dershowitz–Manna_ordering dbr:Dynamic_logic_(modal_logic) dbr:Intuitionistic_logic dbr:Intuitionistic_type_theory dbr:Presburger_arithmetic dbr:Propositional_proof_system dbr:Star-free_language dbr:Combinational_logic dbr:Combinatory_logic dbr:CompCert dbr:Geometry_of_interaction dbr:Normal_form_(abstract_rewriting) dbr:OBJ_(programming_language) dbr:Rewriting dbr:Separation_logic dbr:Symposium_on_Logic_in_Computer_Science dbr:Model_checking dbr:Precondition dbr:Operational_semantics dbr:Logic_optimization dbr:Structural_induction dbr:Combs_method dbr:Computability_logic dbr:Computation_tree_logic dbr:Computational_logic dbr:Functional_completeness dbr:Functional_verification dbr:Hennessy–Milner_logic dbr:Horn-satisfiability dbr:Horn_clause dbr:Journal_of_Automated_Reasoning dbr:Ordered_weighted_averaging_aggregation_operator dbr:Stuttering_equivalence dbr:Successor_function dbr:Maximum_satisfiability_problem dbr:Postcondition dbr:Fuzzy_logic dbr:Game_semantics dbr:Logic_for_Computable_Functions dbr:Logic_in_computer_science dbr:Logical_Methods_in_Computer_Science dbr:Preferential_entailment dbr:Curry–Howard_correspondence dbr:Alternating-time_temporal_logic dbr:Formal_verification dbr:DiVincenzo's_criteria dbr:Fluent_(artificial_intelligence) dbr:Forward_chaining dbr:Journal_of_Logic_and_Computation dbr:Knowledge_Interchange_Format dbr:Logical_framework dbr:HOL_(proof_assistant) dbr:Backward_chaining dbr:Type-1_OWA_operators dbr:Twelf dbr:ACM_Transactions_on_Computational_Logic dbr:Abstract_rewriting_system dbr:Karnaugh_map dbr:Bisimulation dbr:Herbrand_Award dbr:Model_elimination dbr:Assertion_(software_development) dbr:Automated_reasoning dbr:Axiomatic_semantics dbr:Marquand_diagram dbr:Boolean_circuit dbr:Boolean_satisfiability_problem dbr:Bunched_logic dbr:Büchi_arithmetic dbr:CTL* dbr:Frege_system dbr:Interference_freedom dbr:Race_condition dbr:SAT_solver dbr:Satisfiability_modulo_theories dbr:Semantics_(computer_science) dbr:Runtime_verification dbr:Undecidable_problem dbr:Weakest_precondition dbr:Racetrack_problem dbr:Event_calculus dbr:Multi-Agent_Programming_Contest dbr:Tseytin_transformation dbr:Noise-based_logic dbr:ΛProlog dbr:WalkSAT dbr:Sequential_logic dbr:Type-2_fuzzy_sets_and_systems dbr:State_space_enumeration
is skos:broader of	dbc:Linear_logic dbc:Z_notation dbc:Automated_theorem_proving dbc:Unification_(computer_science) dbc:Combinatory_logic dbc:Logical_calculi dbc:Logic_conferences dbc:Denotational_semantics dbc:Fuzzy_logic dbc:Programming_language_semantics dbc:Program_logic dbc:Logic_gates dbc:Logic_programming dbc:Modal_logic dbc:Type_theory dbc:Automated_reasoning dbc:Logic_families dbc:Quantum_gates dbc:Temporal_logic dbc:Categorical_logic