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

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

Namespace Prefixes

PrefixIRI
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://en.wikipedia.org/wiki/Template:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Romeo_Model_Checker
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:David_Watt_(computer_scientist)
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Apomorphism
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Uppaal_Model_Checker
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Davis–Putnam_algorithm
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Duration_calculus
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:International_Conference_on_Functional_Programming
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Interval_temporal_logic
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Paramorphism
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Programming_Research_Group
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Temporal_logic_of_actions
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Liquid_Haskell
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Logical_relations
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbt:Formalmethods-stub
dbo:wikiPageID
18196796
dbo:wikiPageRevisionID
661429042
dbp:wikiPageUsesTemplate
dbt:Asbox
prov:wasDerivedFrom
n7:Formalmethods-stub?oldid=661429042&ns=10
Subject Item
dbr:Formal_Methods_Europe
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:PRISM_model_checker
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Predicative_programming
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:International_Conference_on_Software_Engineering_and_Formal_Methods
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Trace_theory
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Abstract_semantic_graph
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:TAPAAL_Model_Checker
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Uninterpreted_function
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Automath
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Axiomatic_semantics
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Boolean_grammar
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Chaff_algorithm
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Refinement_calculus
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Rho_calculus
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Well-founded_semantics
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Implication_table
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Picture_language
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Terminal_yield
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Permutation_automaton
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub
Subject Item
dbr:Term_graph
dbp:wikiPageUsesTemplate
dbt:Formalmethods-stub