{"entities":{"Q2748424":{"pageid":2759163,"ns":120,"title":"Item:Q2748424","lastrevid":83083763,"modified":"2026-05-07T05:56:56Z","type":"item","id":"Q2748424","labels":{"en":{"language":"en","value":"On probabilistic elimination of generalized quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1659413"}},"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":"Q2748424$ACFDB54A-CA37-45EF-8D72-87AF3E6D8C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7862a6e1e807d5748fc555d68283e377702f2f41","datavalue":{"value":{"text":"On probabilistic elimination of generalized quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2748424$B5B865BB-F039-4436-9C36-ADD81F7C3E2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"396a71c83bc37b217291d61258be65e7e5109e21","datavalue":{"value":"0996.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$0922595E-BC8D-4CAF-ABA0-F7CE44F40DCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b167303e120174d07d9f6cc40df6dfa9721cde36","datavalue":{"value":{"entity-type":"item","numeric-id":2748423,"id":"Q2748423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$A3F7FC63-7D9B-47D7-9BE9-A45738D0208B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0c80ac4d673f6fb26a155c2b57faf7ef44809d","datavalue":{"value":{"time":"+2002-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2748424$F5D71BF2-0243-4788-B258-4A95AB40E1D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$5E53BAAE-451D-4C78-A086-0D1825B5AE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$68C36F9D-6CEC-4CCA-A6CF-3DC3D7BA67C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$419C8333-C373-4B9F-8443-49D5FF919959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2a41a7c36cc6b8f74a4fb40bb98e8ead3151421","datavalue":{"value":"1659413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$EB029037-53C9-4053-811A-37099231AB05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748424$6343C51E-ADA1-45A7-9583-6E6E72116A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc836ed02d4cfeea1ac85652608d34364ccc8092","datavalue":{"value":"almost sure quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748424$8092D261-B6A8-4211-A0C8-7091FDDEE256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35c770b5bd3482b60fadde2f334d1880d24d6dca","datavalue":{"value":"convergence laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748424$3B65AD79-4D0E-4CC1-8C2F-C0B08BD6A1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c306ac5bbf5cf358785eec041285b1cb8d24de","datavalue":{"value":"zero-one laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748424$A5FC190F-0ACE-4EDF-9145-AE4DCB03B836","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":"Q2748424$20AA16A4-DE46-4928-9C0F-FFB9106F1C91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8e7512656b49b2a503d6c91153c695de325218b","datavalue":{"value":"https://doi.org/10.1002/rsa.1016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2748424$4DE8C659-31D3-4B84-A1B1-1F7A51B8C4FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"908c3383346b8cc491159229e64e4dc86b85c225","datavalue":{"value":"W2149149024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$5A232FB5-AEAA-4EA1-99AD-403D33F43AAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d6452e54e5e6983bfa6dba10e55824db2fd929","datavalue":{"value":{"entity-type":"item","numeric-id":5814290,"id":"Q5814290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$53A6BEB0-6398-49B7-94A8-95064632D11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d31860df339f601f11399e456eadf2fdfdb1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3128483,"id":"Q3128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$2FF276B7-CC14-49C3-85F1-62FB044207FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e172b6c4797917c0c7ab35b6d560ba28d2c6c64","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$3AB87506-5042-48AB-869C-767010B94804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$C7D32D8D-25E2-4B86-A3B0-ED40F9A0CBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47f312d83b2f680f1b5b0445e08604b0437031e","datavalue":{"value":{"entity-type":"item","numeric-id":4527923,"id":"Q4527923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$4FB53777-01D8-4661-8172-2A70FBE5155A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e229cfc1bea60629bae895118febbd2de39f77","datavalue":{"value":{"entity-type":"item","numeric-id":3870879,"id":"Q3870879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$4D4B84F1-0AA1-45FF-957C-90E152804FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56c4ad1e0c8f81c5cc3c0ccf22d50c8a6ae0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4288886,"id":"Q4288886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$3CC57341-6264-416B-8BF7-1CBC42A58E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b44ca8913b325d339365042f7882ed2afb762aa","datavalue":{"value":{"entity-type":"item","numeric-id":4358057,"id":"Q4358057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$AB56E8D9-981B-4A12-953C-7EDEC65DBCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a01ef13d4f27a1d95ce00d467f371c38dfe4fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4306371,"id":"Q4306371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$CDB54E08-4C06-48BF-86DF-A0F3F528E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62b85d8824a3e7d38f7c2a99133936edc3ba7f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287675,"id":"Q5287675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$0EBE70DF-CF7D-4E14-86A7-2EB0C103872D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fee1b764efee9325e1fe97f77d542fe4be03c1","datavalue":{"value":{"entity-type":"item","numeric-id":1361404,"id":"Q1361404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$47B450B1-3C93-4A07-8DAF-51C73679BC75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eeb5660ee0a4996a637103758e751dfe0ac6702","datavalue":{"value":"10.1002/RSA.1016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748424$16F3BDD4-ABBF-4CD4-8985-547EFA4746A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748424$9C7681BF-95E6-4547-965D-19086C125129","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"422ad95cd9f61386a2a7cb2d4e6f2818629cd9e7","datavalue":{"value":"Let \\(Q\\) be a collection of generalized quantifiers. The author gives a convenient characterization for the cases where the logic \\(L^\\omega_{\\infty\\omega}(Q)\\) has almost sure quantifier elimination [in the sense of \\textit{Yu. V. Glebskij}, \\textit{D. I. Kogan}, \\textit{M. I. Liogon'kij} and \\textit{V. A. Talanov}, Kibernetika 1969, No. 2, 17-27 (1969; Zbl 0209.30803) and \\textit{R. Fagin}, J. Symb. Log. 41, 50-58 (1976; Zbl 0341.02044)]. The results provide a method to prove zero-one and convergence laws for these logics. The paper contains many extensions of known zero-one laws.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748424$D452B71D-C65C-4AFF-B497-56FB4197EBAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2901748101f3b326179d56b4e88be45dbe8dfe99","datavalue":{"value":{"entity-type":"item","numeric-id":4461933,"id":"Q4461933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6c1f18d4ad5e999af14175628f133f901cc1cd","datavalue":{"value":{"amount":"+0.869478702545166","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":"Q2748424$DD2E0CE4-1DBA-44FA-AEE2-26DECFF69D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976789f782257d656cabc5796a77baa3213d06a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655247,"id":"Q3655247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16026b2305bfa154f4afe612af208fc947413bdf","datavalue":{"value":{"amount":"+0.8215253353118896","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":"Q2748424$F1D333C1-6B34-40E4-837D-7785614C41A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18a5ae13a3cbb5b021ecf6716a1868f9e0d5430","datavalue":{"value":{"entity-type":"item","numeric-id":4531093,"id":"Q4531093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1dac366c77ed694e56a5aac51ec3223e2334591","datavalue":{"value":{"amount":"+0.7855290174484253","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":"Q2748424$C61D8905-E058-48E8-BADA-B239D0DEBC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1493dddd7cb2b2eb5806feab2a4af97c865cbc97","datavalue":{"value":{"entity-type":"item","numeric-id":3509165,"id":"Q3509165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d3f4e6d164bd59cb668e062a39a069e796f188","datavalue":{"value":{"amount":"+0.7845950126647949","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":"Q2748424$EACB57C9-12A4-4907-A3E3-0BCBBFF65526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c811e9b31ef6ae9c0d9429cf78c18addd16493a0","datavalue":{"value":{"entity-type":"item","numeric-id":4395555,"id":"Q4395555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd90f4ffa4e6984c54be0c2ed0d092fa6d33d80c","datavalue":{"value":{"amount":"+0.756039559841156","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":"Q2748424$5A3F3CA5-5E74-4EBB-8CE4-25F44760F1C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On probabilistic elimination of generalized quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_probabilistic_elimination_of_generalized_quantifiers"}}}}}