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

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

Namespace Prefixes

Prefix	IRI
dct	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
freebase	http://rdf.freebase.com/ns/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
n14	http://en.wikipedia.org/wiki/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
gold	http://purl.org/linguistics/gold/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Formation_rule

rdf:type

dbo:AustralianRulesFootballPlayer

rdfs:label

Formation rule

rdfs:comment

In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar).

owl:sameAs

yago-res:Formation_rule freebase:m.05pd8ml

dbp:wikiPageUsesTemplate

dbt:Not dbt:All dbt:Or- dbt:Mathematical_logic dbt:Main dbt:Imp dbt:Eqv dbt:Exist dbt:And

dct:subject

dbc:Rules dbc:Formal_languages dbc:Predicate_logic dbc:Syntax_(logic) dbc:Propositional_calculus dbc:Logical_truth

gold:hypernym

dbr:Rules

prov:wasDerivedFrom

n14:Formation_rule?oldid=857236001&ns=0

dbo:wikiPageID

15115411

dbo:wikiPageLength

2696

dbo:wikiPageRevisionID

857236001

dbo:wikiPageWikiLink

dbc:Syntax_(logic) dbr:Mathematical_logic dbc:Propositional_calculus dbc:Formal_languages dbc:Predicate_logic dbr:Interpretation_(logic) dbr:Reference dbr:Formal_system dbr:Proof_theory dbr:Variable_(mathematics) dbr:String_(computer_science) dbr:Alphabet_(formal_languages) dbr:Validity_(logic) dbr:First-order_logic dbr:Formal_grammar dbc:Rules dbr:Finite-state_machine dbr:Propositional_calculus dbr:Formal_language dbr:Set_(mathematics) dbr:Symbol dbr:Syntax_(logic) dbc:Logical_truth dbr:Rule_of_inference dbr:Semantics dbr:Quantifier_(logic) dbr:Symbol_(formal) dbr:Well-formed_formula dbr:Axiom

dbo:abstract

In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar).

foaf:isPrimaryTopicOf

n14:Formation_rule