Quantifier rank
id:
quantifier-rank-253-16250053
title:
Quantifier rank
text:
In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. It plays an essential role in model theory. Notice that the quantifier rank is a property of the formula itself. Thus two logically equivalent formulae can have different quantifier ranks, when they express the same thing in different ways.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Quantifier_rank
date created:
date modified:
2024-03-04T08:28:27Z
main entity:
{"identifier":"Q7268912","url":"https://www.wikidata.org/entity/Q7268912"}
image:
fields total:
13
integrity:
13