This HTML5 document contains 234 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
n8http://en.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

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