Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Metavariable> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Metavariable abstract "In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentenceLet A and B be two sentences of a language ℒthe symbols A and B are part of the metalanguage in which the statement about the object language ℒ is formulated.John Corcoran considers this terminology unfortunate because it obscures the use of schemata and because such "variables" do not actually range over a domain.The convention is that a metavariable is to be uniformly substituted with the same instance in all its appearances in a given schema. This is in contrast with nonterminal symbols in formal grammars where the nonterminals on the right of a production can be substituted by different instances.Attempts to formalize the notion of metavariable result in some kind of type theory.In computing one often needs to specify and document the syntax and semantics of a computer language, more or less formally. A term often used for metavariable in that area is "metasyntactic variable". Furthermore, because of the common practice in hacker culture to use nonsense words like "foo" as metavariables, the term "metasyntactic variable" has come to denote such words by themselves; for instance, "foo" is referred to as "the first metasyntactic variable" in the first edition of The Hacker's Dictionary.".
- Metavariable wikiPageID "29557417".
- Metavariable wikiPageLength "3059".
- Metavariable wikiPageOutDegree "22".
- Metavariable wikiPageRevisionID "618282154".
- Metavariable wikiPageWikiLink Category:Logic_symbols.
- Metavariable wikiPageWikiLink Category:Metalogic.
- Metavariable wikiPageWikiLink Category:Syntax_(logic).
- Metavariable wikiPageWikiLink Category:Variables.
- Metavariable wikiPageWikiLink Computer_language.
- Metavariable wikiPageWikiLink Computing.
- Metavariable wikiPageWikiLink Explicit_substitution.
- Metavariable wikiPageWikiLink Foo.
- Metavariable wikiPageWikiLink Foobar.
- Metavariable wikiPageWikiLink Formal_grammar.
- Metavariable wikiPageWikiLink Formal_grammars.
- Metavariable wikiPageWikiLink Hacker_culture.
- Metavariable wikiPageWikiLink Jargon_File.
- Metavariable wikiPageWikiLink John_Corcoran_(logician).
- Metavariable wikiPageWikiLink Logic.
- Metavariable wikiPageWikiLink Logical_form.
- Metavariable wikiPageWikiLink Metalanguage.
- Metavariable wikiPageWikiLink Metasyntactic_variable.
- Metavariable wikiPageWikiLink Nonsense_word.
- Metavariable wikiPageWikiLink Nonterminal.
- Metavariable wikiPageWikiLink Object_language.
- Metavariable wikiPageWikiLink Programming_language.
- Metavariable wikiPageWikiLink Reification_(computer_science).
- Metavariable wikiPageWikiLink Schema_(logic).
- Metavariable wikiPageWikiLink Symbol_(formal).
- Metavariable wikiPageWikiLink Terminal_and_nonterminal_symbols.
- Metavariable wikiPageWikiLink The_Hackers_Dictionary.
- Metavariable wikiPageWikiLink Type_theory.
- Metavariable wikiPageWikiLinkText "Metavariable".
- Metavariable wikiPageWikiLinkText "metavariable".
- Metavariable hasPhotoCollection Metavariable.
- Metavariable wikiPageUsesTemplate Template:For.
- Metavariable wikiPageUsesTemplate Template:Reflist.
- Metavariable wikiPageUsesTemplate Template:Rp.
- Metavariable subject Category:Logic_symbols.
- Metavariable subject Category:Metalogic.
- Metavariable subject Category:Syntax_(logic).
- Metavariable subject Category:Variables.
- Metavariable hypernym Symbol.
- Metavariable type Language.
- Metavariable type Place.
- Metavariable type Concept.
- Metavariable type Language.
- Metavariable comment "In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language.".
- Metavariable label "Metavariable".
- Metavariable sameAs m.0fpgx_m.
- Metavariable sameAs Q17080865.
- Metavariable sameAs Q17080865.
- Metavariable wasDerivedFrom Metavariable?oldid=618282154.
- Metavariable isPrimaryTopicOf Metavariable.