About: Matching logic

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

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Complement_(set_theory) dbr:Satisfiability_modulo_theories dbr:Separation_logic dbr:First-order_logic dbc:Logic dbr:Formal_logic dbr:Regular_expression dbr:Power_set dbr:Hoare_logic dbr:Operational_semantics dbr:Grigore_Roșu dbr:Sort_(mathematical_logic)
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Logic
rdfs:label	Matching logic (en)
owl:sameAs	wikidata:Matching logic dbpedia-global:Matching logic
prov:wasDerivedFrom	wikipedia-en:Matching_logic?oldid=1294725777&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Matching_logic
is dbo:knownFor of	dbr:Grigore_Roșu
is dbo:wikiPageWikiLink of	dbr:Grigore_Roșu
is foaf:primaryTopic of	wikipedia-en:Matching_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International