Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
dct:
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License