About: well-formed formula     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

finite sequence of symbols from a given alphabet that is part of a formal language

AttributesValues
rdf:type
description
  • stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica di un sistema formale (it)
  • konečná posloupnost symbolů ve formálním jazyce, reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu (cs)
  • secuencia de carácteres que cumple la norma gramatical de un lenguaje formal (es)
  • finite sequence of symbols from a given alphabet that is part of a formal language (en)
  • تسلسل محدود من الرموز من أبجدية معينة والتي هي جزء من لغة رسمية (ar)
  • assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (fr)
  • канечная пасьлядоўнасьць сымбаляў пэўнага альфабэту фармальнай мовы (be-tarask)
  • 論理結合子の適用対象となる記号列 (ja)
  • синтаксически верная строка в формальном языке (ru)
rdfs:label
  • Formula bene formata (la)
  • Fórmula bem formada (pt-br)
  • Well-formed formula (en-ca)
  • bone formita formulo (eo)
  • dobro oblikovana formula (sl)
  • dobře utvořená formule (cs)
  • foirmle dhea-chumtha (ga)
  • formula ben formata (it)
  • formula berbentuk rapi (id)
  • formule bien formée (fr)
  • formulë e mirëformuar (sq)
  • formulă bine formată (ro)
  • fòrmuła ben formada (vec)
  • fórmula bem formada (pt)
  • fórmula ben formada (ca)
  • fórmula bien formada (es)
  • well-formed formula (en)
  • well-formed formula (en-gb)
  • wohlgeformte Formel (de)
  • правильно побудована формула (uk)
  • добра збудаваная формула (be-tarask)
  • правильная формула (ru)
  • נוסחה בנויה כהלכה (he)
  • خوش فرم (fa)
  • صيغة جيدة التكوين (ar)
  • 合式公式 (zh)
  • 論理式 (ja)
  • 논리식 (ko)
skos:prefLabel
  • Formula bene formata (la)
  • Fórmula bem formada (pt-br)
  • Well-formed formula (en-ca)
  • bone formita formulo (eo)
  • dobro oblikovana formula (sl)
  • dobře utvořená formule (cs)
  • foirmle dhea-chumtha (ga)
  • formula ben formata (it)
  • formula berbentuk rapi (id)
  • formule bien formée (fr)
  • formulë e mirëformuar (sq)
  • formulă bine formată (ro)
  • fòrmuła ben formada (vec)
  • fórmula bem formada (pt)
  • fórmula ben formada (ca)
  • fórmula bien formada (es)
  • well-formed formula (en)
  • well-formed formula (en-gb)
  • wohlgeformte Formel (de)
  • правильно побудована формула (uk)
  • добра збудаваная формула (be-tarask)
  • правильная формула (ru)
  • נוסחה בנויה כהלכה (he)
  • خوش فرم (fa)
  • صيغة جيدة التكوين (ar)
  • 合式公式 (zh)
  • 論理式 (ja)
  • 논리식 (ko)
name
  • Formula bene formata (la)
  • Fórmula bem formada (pt-br)
  • Well-formed formula (en-ca)
  • bone formita formulo (eo)
  • dobro oblikovana formula (sl)
  • dobře utvořená formule (cs)
  • foirmle dhea-chumtha (ga)
  • formula ben formata (it)
  • formula berbentuk rapi (id)
  • formule bien formée (fr)
  • formulë e mirëformuar (sq)
  • formulă bine formată (ro)
  • fòrmuła ben formada (vec)
  • fórmula bem formada (pt)
  • fórmula ben formada (ca)
  • fórmula bien formada (es)
  • well-formed formula (en)
  • well-formed formula (en-gb)
  • wohlgeformte Formel (de)
  • правильно побудована формула (uk)
  • добра збудаваная формула (be-tarask)
  • правильная формула (ru)
  • נוסחה בנויה כהלכה (he)
  • خوش فرم (fa)
  • صيغة جيدة التكوين (ar)
  • 合式公式 (zh)
  • 論理式 (ja)
  • 논리식 (ko)
Freebase ID
Freebase ID
  • /m/02484v
part of
part of
subclass of
subclass of
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software