{"entities":{"Q2461190":{"pageid":2471933,"ns":120,"title":"Item:Q2461190","lastrevid":74348523,"modified":"2026-04-14T19:40:22Z","type":"item","id":"Q2461190","labels":{"en":{"language":"en","value":"Elimination of unbounded quantifiers for some poly-regular groups of infinite rank"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5214661"}},"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":"Q2461190$75167937-2A52-4613-BFDA-670B05253D76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c43ef00af5a1003905457065acc2dbd5e8a7152","datavalue":{"value":{"text":"Elimination of unbounded quantifiers for some poly-regular groups of infinite rank","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461190$080C2F2F-CEBF-4361-B7A6-9BCF1696893A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f807c08867113e17754a8c4e54de3be7129591e8","datavalue":{"value":"1146.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$A58B0C5E-E113-4CEB-8BE4-C39E9CAD8118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8046c88830c5dfb2589ca8a57ceeee063c5c70b9","datavalue":{"value":{"entity-type":"item","numeric-id":292830,"id":"Q292830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$55DB74C6-76DA-4960-9D1B-D098E92DEA68","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":"Q2461190$6E2CA05F-FBC5-4662-92B2-D5AD02CF8451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d3c81716afce7f45572d1eff1ccb9e36c259bf6","datavalue":{"value":{"time":"+2007-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461190$443EF6D9-CF8A-47AA-963E-38F59FADE301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$98EB2073-86E6-4235-9D8F-AD6E017E1A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$72E05D63-6EC8-4131-9166-2E511C84BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$1D8B298C-FC9A-45EC-A630-B56F5C4C623A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd497ccdfa19cee32d51120704b8a3581d61f8a9","datavalue":{"value":"5214661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$78C191E8-1DBD-476B-96F0-9E6C9A1CCC84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49ab8deff90d48e368f38c495a0bf6ef3e84447","datavalue":{"value":"ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$DA31FE36-A933-4C7D-AFAE-7A314DC34990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae0ec4407f48e6200b50e50e09b39aef59610aa","datavalue":{"value":"regular group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$F542ED23-29CF-4475-82A4-4389649505CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b00328a79afa390d39967b66af0a5daf852e028","datavalue":{"value":"poly-regular group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$FBFE4FDD-33C5-4972-A3CE-16AC9E0C2958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ef6f570f53f51e0fe341ece389661cae27bbabc","datavalue":{"value":"Hahn product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$5B0ECD47-6946-449E-8227-351E20DBA898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7f7b8a20101aa76da8973faefbda3f556059ef","datavalue":{"value":"bounded quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$AB0F6EB4-1EE0-4159-A418-4FB2FC27BB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0df3fb865edf2569c8bdaa2dd8f1465011dd812b","datavalue":{"value":"elimination of unbounded quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$BCE87651-9798-4248-9C6F-C72EEEBCDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7072aaf16f35db6cce3eb036b450dad0814101f9","datavalue":{"value":"definable convex subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461190$78A44D6C-7F42-491E-9CE6-65B59B93B39C","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":"Q2461190$DCFA9B0C-725F-43A1-88AE-AA927681F769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6a57fe6add0149c6e86b9bb26d0fd50856c0880","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461190$28205494-5EDE-4DBE-9B18-A52A4E800E02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8ce6e03547c95bb4d16d3f6640e0fc40a01027e","datavalue":{"value":"W1983628659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$0EF5EB5C-BCCF-4374-8BAF-8D009FE3E6E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"008ff49f0748eed050f11ab9e35b4df87fcb9d91","datavalue":{"value":{"entity-type":"item","numeric-id":4781763,"id":"Q4781763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$19268692-4A26-4EE7-9FC4-C8325FF6A205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ce3fad6c046a0e9dc4db6f32c79d2619f2ee41","datavalue":{"value":{"entity-type":"item","numeric-id":3910512,"id":"Q3910512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$F8C18075-382C-4CC7-9281-8F00F8CE4630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2853a1afff2fa52921b6bce366d86931777cc23b","datavalue":{"value":{"entity-type":"item","numeric-id":5544276,"id":"Q5544276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$02F4C749-1DE7-46C7-A42D-B6CB916738C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$6D89962F-164F-4F2B-BCC8-DAB49C13132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b38828c68ffc635b4e889dbfd3e0ee18e6993bb","datavalue":{"value":{"entity-type":"item","numeric-id":3281123,"id":"Q3281123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$01B5B402-249D-43E8-896C-5CC90A3823C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5eb8adc497cbbe80c088019824bc63caec34f83","datavalue":{"value":{"entity-type":"item","numeric-id":3228658,"id":"Q3228658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$89423499-4B49-46A6-A1F0-67DFDF667F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2152d089e8bc395eda60d52092b293f6b7e60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4145760,"id":"Q4145760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$9A602603-3D5A-46CB-A3D6-2228E8FF8078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$CBBC1AD1-4059-4244-96CB-752ACEF55750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9920940f0723ec7beb5690dc5360aef015069225","datavalue":{"value":{"entity-type":"item","numeric-id":1059066,"id":"Q1059066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$B4F2145A-A628-418A-9F11-83F1A0B07A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deba98db55c6059642935e42f7e04aa57f9613bf","datavalue":{"value":{"entity-type":"item","numeric-id":5677454,"id":"Q5677454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$D9D17ECD-C068-45A8-9499-FEBC5E4BD527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b74c1773d5b5eb41daa0dc56d14bb28172c086e","datavalue":{"value":{"entity-type":"item","numeric-id":4527928,"id":"Q4527928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$45BC0CD9-C2A9-4DA7-A4FF-CBB12828412A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc04418faff4043e9fa45ad372a3c5c8cc2262","datavalue":{"value":{"entity-type":"item","numeric-id":3274978,"id":"Q3274978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$B9081198-3E4E-4047-B800-DA19C9371475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15868182dda715c6041111e49e4454052ed62383","datavalue":{"value":{"entity-type":"item","numeric-id":5184895,"id":"Q5184895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$C2B17F57-2105-4589-9D02-04F53F75C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df35f41a840264f964b5bd613744707d3c8dfc8c","datavalue":{"value":{"entity-type":"item","numeric-id":3602611,"id":"Q3602611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$0F310F54-89D0-4A19-9020-88BE29D9ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d47b8afabf1ed39f7e5cff68a7631594f3a9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3964534,"id":"Q3964534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$F0279DA7-9BE5-4091-82B3-C2C70951AFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44adb358cbf9d56063915d55e0b2ef22e2873483","datavalue":{"value":{"entity-type":"item","numeric-id":3767392,"id":"Q3767392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461190$49B4858C-0938-48BC-A58E-6D86703A6B1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e6fd2df6550f9088ae41db076aba412370db39e","datavalue":{"value":"10.1016/J.APAL.2007.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461190$BD584FC6-0035-4DE0-879C-0E0473DA390F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196346b29ea92970b7d0a4e386828eb964301eff","datavalue":{"value":{"entity-type":"item","numeric-id":2425354,"id":"Q2425354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869383e8b016567f6d9e3281f588513a67f382bf","datavalue":{"value":{"amount":"+0.7648419141769409","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":"Q2461190$53AF3B8A-68FC-46A0-85F3-CF4C911C4497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142ee777394902cd8338482619146953eb4fee47","datavalue":{"value":{"entity-type":"item","numeric-id":5430179,"id":"Q5430179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0965f5c0794a31d25579c359b6237a804798aa96","datavalue":{"value":{"amount":"+0.7350447773933411","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":"Q2461190$4AD5FA9E-A569-4099-8D3D-577FAB774313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcffc4b6341faca036331c12c7546b8487a2a91","datavalue":{"value":{"entity-type":"item","numeric-id":4778297,"id":"Q4778297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01497cb15188619776c537e26e6f73f2b8e3f770","datavalue":{"value":{"amount":"+0.7341851592063904","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":"Q2461190$2F3CF7F7-E625-4B75-A594-01970A485FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5227b187a185d7618efed73e5b653438532c59c2","datavalue":{"value":{"entity-type":"item","numeric-id":4781763,"id":"Q4781763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a474a434becf32a5498f93d1a3449630d139b658","datavalue":{"value":{"amount":"+0.7335270047187805","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":"Q2461190$0B470E3B-E77D-4D3D-ACDF-B419FFA7A238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa3613ac456ff27a27cb243db968ae9846d31d8","datavalue":{"value":{"entity-type":"item","numeric-id":2565488,"id":"Q2565488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664ebbdd39985a85961aece1f42b6ccae6c84c7d","datavalue":{"value":{"amount":"+0.7293407320976257","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":"Q2461190$16AE804B-901F-4EBC-AE97-53960DA8C0DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of unbounded quantifiers for some poly-regular groups of infinite rank","badges":[]}}}}}