{"id":"Q126695","label":"universal quantification","description":"logical quantification stating that a statement holds for all objects","aliases":["for every","for all","given any","for any","any"],"kind":"thing","url":"https://aidb.si/e/universal-quantification-Q126695","image":"https://commons.wikimedia.org/wiki/Special:FilePath/Universal-quantification.svg?width=1200","coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Universal_quantification","wikidata":"https://www.wikidata.org/wiki/Q126695","website":null,"facts":[{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q592911","label":"quantifier","url":"https://aidb.si/e/quantifier-Q592911","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P913","label":"Notation","values":[{"type":"entity","id":"Q14737094","label":"∀","url":"https://aidb.si/e/Q14737094","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P461","label":"Opposite of","values":[{"type":"entity","id":"Q773483","label":"existential quantification","url":"https://aidb.si/e/existential-quantification-Q773483","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2579","label":"Studied by","values":[{"type":"entity","id":"Q8078","label":"logic","url":"https://aidb.si/e/logic-Q8078","rank":"normal","qualifiers":{},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P7033","label":"Australian Educational Vocabulary ID","value":"scot/15469","url":"https://vocabulary.curriculum.edu.au/scot/15469.html"},{"pid":"P4746","label":"Elhuyar ZTH ID","value":"138445","url":"https://zthiztegia.elhuyar.eus/kontzeptua/138445"},{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/universal-quantifier","url":"https://www.britannica.com/topic/universal-quantifier"},{"pid":"P7554","label":"Encyclopedia of Mathematics article ID","value":"Universal_quantifier","url":"https://encyclopediaofmath.org/wiki/Universal_quantifier"},{"pid":"P12946","label":"FOLDOC ID","value":"universal+quantifier","url":"https://foldoc.org/universal%2Bquantifier"},{"pid":"P646","label":"Freebase ID","value":"/m/0k3dw","url":"https://www.google.com/search?kgmid=/m/0k3dw"},{"pid":"P2812","label":"MathWorld ID","value":"UniversalQuantifier","url":"https://mathworld.wolfram.com/UniversalQuantifier.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"139134325","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/139134325"},{"pid":"P7276","label":"New Encyclopedic Dictionary of Czech ID","value":"UNIVERZÁLNÍ KVANTIFIKÁTOR","url":"https://www.czechency.org/slovnik/UNIVERZ%C3%81LN%C3%8D%20KVANTIFIK%C3%81TOR"},{"pid":"P4215","label":"NLab ID","value":"universal quantifier","url":"https://ncatlab.org/nlab/show/universal%20quantifier"},{"pid":"P4839","label":"Wolfram Language entity code","value":"Entity[\"Concept\", \"UniversalQuantifier::s28pb\"]","url":"https://www.wolframalpha.com/input/?i=Entity%5B%22Concept%22%2C%20%22UniversalQuantifier%3A%3As28pb%22%5D"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-07-13T00:33:10Z"}