This HTML5 document contains 114 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/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Axiomatic_semantics
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Communicating_sequential_processes
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Peter_Mosses
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Action_semantics
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:David_Watt_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Unifying_Theories_of_Programming
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Operational_semantics
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Algebraic_semantics
dbo:wikiPageDisambiguates
dbr:Algebraic_semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Algebraic_semantics_(computer_science)
rdf:type
dbo:ProgrammingLanguage dbo:Language
owl:sameAs
dbpedia-global:4NP7n freebase:m.0kbgbs0 wikidata:Q4724011 dbpedia-uk:Алгебраїчна_семантика yago-res:Algebraic_semantics_(computer_science) dbpedia-fr:Sémantique_algébrique_(informatique)
rdfs:label
Algebraic semantics (computer science) Алгебраїчна семантика Sémantique algébrique (informatique)
prov:wasDerivedFrom
wikipedia-en:Algebraic_semantics_(computer_science)?oldid=1296398646&ns=0
dbo:description
Programmiersprache linguagem de programação പ്രോഗ്രാമിങ് ഭാഷ limbaj de programare programspråk linguaggio di programmazione język programowania lenguaje de programación programmeringssprog ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ ohjelmointikieli programmeringsspråk llenguatge de programació प्रोग्रामिंग भाषा programovací jazyk langage de programmation שפת תכנות programovací jazyk yezh programmiñ form of axiomatic semantics programmeertaal
dbo:wikiPageWikiLink
dbr:Terminating dbr:Mathematical_object dbr:Operation_(mathematics) dbr:Rewrite_rule dbr:Class_(set_theory) dbr:Church-Rosser dbc:Logic_in_computer_science dbr:Universal_algebra dbr:Canonical_form dbr:Many-sorted_logic dbr:Program_specification dbr:Family_of_sets dbr:Software_testing dbr:Initial_algebra dbr:Denotational_semantics dbr:Equation dbr:Secondary_source dbr:Object-oriented_programming dbr:Data_type dbr:Key_signature dbr:Normal_form_(abstract_rewriting) dbr:Syntax_(programming_languages) dbr:Formal_methods dbr:Semantics_(computer_science) dbr:Integer dbr:Joseph_Goguen dbr:Material_conditional dbr:Meaning_(linguistics) dbr:Axiomatic_semantics dbr:Computer_science dbr:Divergence_(computer_science) dbr:Algebraic_specification dbc:Formal_methods dbr:Behavior dbr:Confluent_(abstract_rewriting) dbr:Algebra dbr:Symbol dbr:Operational_semantics dbr:Algebraic_semantics_(mathematical_logic) dbr:Musical_notation dbr:Axiom dbr:Observational_equivalence dbr:Reason dbr:Isomorphism dbr:Uniqueness_quantification dbr:Function_(mathematics) dbr:Variable_(computer_science) dbr:Set_(mathematics) dbr:Algebraic_expression dbc:Programming_language_semantics dbr:Stack_(abstract_data_type) dbr:Ground_expression dbc:Formal_specification_languages dbr:Object_(computer_science) dbr:Signature_(logic) dbr:Mathematical_semantics dbr:Empty_string dbr:OBJ_(programming_language)
dct:subject
dbc:Formal_specification_languages dbc:Logic_in_computer_science dbc:Formal_methods dbc:Programming_language_semantics
foaf:isPrimaryTopicOf
wikipedia-en:Algebraic_semantics_(computer_science)
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Semantics
gold:hypernym
dbr:Form
Subject Item
dbr:Algebraic_semantics_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
Subject Item
wikipedia-en:Algebraic_semantics_(computer_science)
foaf:primaryTopic
dbr:Algebraic_semantics_(computer_science)
Subject Item
dbr:Joseph_Goguen
dbo:knownFor
dbr:Algebraic_semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Algebraic_semantics_(computer_science)
dbp:knownFor
dbr:Algebraic_semantics_(computer_science)