well-formed formula

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

Wikidata entity: Q655328



P1889 different from ... Q2627911 (logical formula) logical formula
P361 part of ... Q192161 (formal language) formal language
P279 subclass of ... Q2627911 (logical formula) logical formula

External Ids
P2581BabelNet ID03133387n
P2581BabelNet ID03133387n
P1417Encyclopædia Britannica Online IDtopic/well-formed-formula
P646Freebase ID/m/02484v
P3827JSTOR topic ID (archived)well-formed-formulas
P6366Microsoft Academic ID (discontinued)191222856
P10283OpenAlex IDC191222856
P3417Quora topic IDWell-formed-Formula
P9621Treccani's Enciclopedia della Matematica IDformula-ben-formata

Why not click here or view trends?

log id: 6701173