{"entities":{"Q1121872":{"pageid":1132621,"ns":120,"title":"Item:Q1121872","lastrevid":66814434,"modified":"2026-04-12T13:02:41Z","type":"item","id":"Q1121872","labels":{"en":{"language":"en","value":"Henkin and function quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104936"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$BAB5BDE9-CDED-425F-AE04-A2E50E2C5480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a44e55044bb95a37c8ed194bc1b8064e2a76be0","datavalue":{"value":{"text":"Henkin and function quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121872$9DAA2D06-A992-4FB6-8B92-3EE82CEA2C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c965d792eee225291a05ce73192ad38dfd706826","datavalue":{"value":"0675.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$E27E5410-9374-4AAE-994D-1875ED0241B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bb9d1a1122cd1e6e655123e203fd36b897fd994","datavalue":{"value":"10.1016/0168-0072(89)90071-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$57D9830C-6658-4A7A-BE5C-0ECE1A08F07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$BBA8996A-9280-47F9-8AD3-F0DF2D4A62F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$BA17262D-97A0-4403-8CB0-54C242F67B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$3116BC19-9523-4A34-AD61-7427391F1522","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121872$545A5CA1-93A7-41CA-B506-E6DB1F24B7AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c377b3996f56236fb5ef3fd1f0a42d86f9822eba","datavalue":{"value":"The authors introduce a variant of the Henkin quantifier, called function quantifier. Function quantifiers can express such notions as well- ordering, power set, and they are stronger than their corresponding Chang-Magidor-Malitz quantifiers. Suitable generalizations of function quantifiers are put in relation with partially ordered quantifiers, and their relative expressive powers are compared. In the final section, the authors concentrate on sublogics only containing unary predicates.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$98F41B40-DF01-42A9-9C59-ABCD5D4580C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$1FA0282A-12F0-4624-A1DD-9882F47F5436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$77FFFF5C-3F90-4FE8-9789-E8A83EDEE984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23ffc6c9723b8635d150e64105de583712f86b81","datavalue":{"value":"4104936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$13FF1314-CCDE-44AE-B56D-17CFA73EBE91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c388a3a38ae64b39bde499cd80f5f97aba9fc46","datavalue":{"value":"monadic fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$9B182FF8-12F9-4B81-A442-AB1CC18C1EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$A2DB7272-C42B-4BDF-8F7B-547012B01898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19dcad39f4c05de704448c37510dbbc7febaa318","datavalue":{"value":"function quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$88876C8C-05E7-46C1-9FD1-6D7969333B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$7F18A5AC-7048-48DB-8D53-4CAA89833F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4417fbe70cb1930908552c1d0852a4de386ed6","datavalue":{"value":"power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$61902387-49D5-4BE7-96E9-78F5B664672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c53aa7be4cbfb5a302092ff0f5bf73bc69680f7","datavalue":{"value":"partially ordered quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$4B7B7204-C414-4287-A134-05682F9F568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43c785fe1ef118c5888fef2c2170f397e59f489a","datavalue":{"value":"expressive powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$56EF663B-4A7E-4550-A5D7-15CD0F8AF2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9040690b9f11600fc32c02495e5d3ae637c2de","datavalue":{"value":"sublogics only containing unary predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121872$89D9987A-3245-4566-B569-70AB5B91B072","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$40157D54-D727-4196-AFCA-1938B8AC98AD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$86610840-2D33-40C6-B5D5-21CB695DFA7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8674c5877b085bb763df7392b83b38bc22a849b9","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90071-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121872$81D0647A-DA70-4090-AE38-D8E70A5DF352","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0df71f69dd9b02ce05bdcac2c529102aa7a95740","datavalue":{"value":"W2018761586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121872$44BACD62-6DE2-4D3A-B4AA-3ED11B9CB639","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$51235EEB-9071-4F68-9990-9AA673182498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$C6C90DBE-B567-463B-891F-9CDE0E88E1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a83effe0d929e7756bcefdf75b6e76c5700752e","datavalue":{"value":{"entity-type":"item","numeric-id":1141645,"id":"Q1141645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$717A4AAC-2FD8-4BD5-877D-CBA8D73B07DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62556142c6acad8ac592bf769e7c6a6002efb88","datavalue":{"value":{"entity-type":"item","numeric-id":4740553,"id":"Q4740553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$BB690806-595B-434F-B901-8850631A39DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$2138C1BA-21CD-4568-9111-A21745C9C726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc53cbf0ac81fde0cd742d6e31091fd72cdf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$3709929D-8169-42E5-B9AD-9449869ADAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$487CAE37-F2C1-47D5-A86C-232728FE4158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7814bc40a03cb54aa8a7ec30bf12798887a28f","datavalue":{"value":{"entity-type":"item","numeric-id":4105652,"id":"Q4105652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$A218E938-883B-4DE2-988E-602243AA8360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d48b5a523e3d42aca4b22d13ca6559f10179550","datavalue":{"value":{"entity-type":"item","numeric-id":3773858,"id":"Q3773858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$334799F5-DE3F-4EEA-A49C-C6DEB16A272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8e0efb8f2e06be3ed59ae1827808f1fadaf609","datavalue":{"value":{"entity-type":"item","numeric-id":3208639,"id":"Q3208639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$5829B7DC-E1E4-4B71-9BBC-74CD320EF638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03344fb3809ac2d00cb9b60c5a358c8728ef000","datavalue":{"value":{"entity-type":"item","numeric-id":3113046,"id":"Q3113046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$3C751CF8-01A5-4AEA-8C0A-3E173561C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4a49849e178a1cb7246d420a962ef308e9300b","datavalue":{"value":{"entity-type":"item","numeric-id":4161292,"id":"Q4161292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$690758DC-595E-401A-AC27-7521BED08282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$168B7F9A-9B9B-4158-9916-6F3659A3C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e82e606bfd8aff6f64cd01a1d551d7bb02a5b5","datavalue":{"value":{"entity-type":"item","numeric-id":4145685,"id":"Q4145685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121872$890137A7-54F5-4631-B2FC-A9A3603DC042","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074af5759ffdf1f1349822ccbb36965394aba7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3789541,"id":"Q3789541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac28f6bb43514cb71ead4b421a521e8b06b8574","datavalue":{"value":{"amount":"+0.9556666016578674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121872$50E42991-2B01-469F-A911-F1E4F45C5177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096384d9ed4d6391cd036ff90316be59d7a4b15b","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9292b16bb72f92b32619f023eb44403578e2ad","datavalue":{"value":{"amount":"+0.778780460357666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121872$EA55C79F-C559-4A98-930B-F63A3486EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18bd8c4a96f25beef03880296775f8e1cf60063","datavalue":{"value":{"entity-type":"item","numeric-id":3328527,"id":"Q3328527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9292b16bb72f92b32619f023eb44403578e2ad","datavalue":{"value":{"amount":"+0.778780460357666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121872$8466183C-9BBE-4043-8268-94E4F82ED43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024be0f1a9ecb7a1a909f6b0ab570c0c3ed23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198829,"id":"Q1198829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f64e91d198f5999c79bbdd625c610a928b67f5","datavalue":{"value":{"amount":"+0.7701905965805054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121872$0D242D3F-0B73-4D95-9F21-3C613FB8621F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a162f527f70d513b7515c5ff5e9d9e5447a6466","datavalue":{"value":{"entity-type":"item","numeric-id":4733854,"id":"Q4733854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dfd345419c77541781b2f33f858630a9528239","datavalue":{"value":{"amount":"+0.7558717727661133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1121872$4AAA3CB8-5D7A-4D05-A187-6EE40356571A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Henkin and function quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Henkin_and_function_quantifiers"}}}}}