{"entities":{"Q1032695":{"pageid":1034543,"ns":120,"title":"Item:Q1032695","lastrevid":69469671,"modified":"2026-04-13T07:13:09Z","type":"item","id":"Q1032695","labels":{"en":{"language":"en","value":"Quantifier elimination for lexicographic products of ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620707"}},"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":"Q1032695$71E284D7-348E-4A55-AF76-900FD516F094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88ad1d5ceefbfe9ad03d5804cc832ca05c8c0d05","datavalue":{"value":{"text":"Quantifier elimination for lexicographic products of ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1032695$749C1B8D-9D50-4AF0-AC4E-71C0A0FBBCEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f93e0acee00840d454c4cf6c5af65cb588c0889","datavalue":{"value":"1188.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$388B605B-A217-4B94-9C29-AF702C257561","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df1165903f721004a91f158797a0aedebca4a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1032694,"id":"Q1032694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032695$83416C99-8BE5-48B6-AA1B-76C768AF8DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"052d14e9fe5835e92554ecc2bf1aa45629c88e98","datavalue":{"value":{"entity-type":"item","numeric-id":453181,"id":"Q453181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032695$8B6CE827-ADFA-4C4D-955F-F6C5372BE38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"111c7930771029b4640b076e853eca7a9dfb6716","datavalue":{"value":{"entity-type":"item","numeric-id":193661,"id":"Q193661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032695$6706E594-E55C-47FE-8C34-DE6BA5D7AD95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032695$404DC5B1-BDF2-46BE-9D70-D40009F1C81E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1032695$8C9A67B4-3253-492C-A830-634CF07A3362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$3A654E92-E7C8-4B35-9C9B-92CB4156C5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$A93EF983-B9D1-4F3C-AA69-EB7D4C65CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$11EA9553-67FA-41C5-B349-3DEF8D168517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"438256f2488a1c17c07ee4cc664569fbf503baa0","datavalue":{"value":"5620707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$54F61555-6309-4F2A-A6A8-43480D7D59FE","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":"Q1032695$753C2FA9-5866-4E15-A97F-F37363A46979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e528bec19959d2f282dafdf73fffb1c892dc2e57","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1251833209","type":"string"},"datatype":"url"},"type":"statement","id":"Q1032695$32C15286-A891-49B0-9C0B-8ACE921B1133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26fa77bb46685a086a2948d69f3cfe64f27d5fe2","datavalue":{"value":"W1506640541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$45420A07-8607-4582-95B0-F0E4DAB8C9E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe795621f8016f44f2a0e745ab426eabede9869e","datavalue":{"value":"10.21099/TKBJM/1251833209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032695$69C7EB57-BFA5-4613-BC50-DA414868A3A4","rank":"normal"}],"P1643":[{"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":"645db7d6837e3e486200db732b154f1b837b276d","datavalue":{"value":{"amount":"+0.9647646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$2A679CFF-E906-4359-96AB-5DBCF25C894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c660f4e31961d8c23d3adab6feae78cc82befd","datavalue":{"value":{"entity-type":"item","numeric-id":875687,"id":"Q875687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2f2d0bf169f41878e38114f8c3f232d5a219fb","datavalue":{"value":{"amount":"+0.9577094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$D677BABD-557A-4F1B-B069-C01CDE5962AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327b151894b39cdd1b7103ee0ef8021a08a40cc9","datavalue":{"value":{"entity-type":"item","numeric-id":763703,"id":"Q763703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2476abb58e6b0c84a67a2a60a04c4cd57ce3dd2d","datavalue":{"value":{"amount":"+0.94290066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$1193205C-45F7-481D-9D08-2665FF93CD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e53e892f77f8c6bc7babbe85f65ff4d12ef14f9","datavalue":{"value":{"entity-type":"item","numeric-id":4735177,"id":"Q4735177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c16b0d4a76c37020137b4008974cfb8535e1f33","datavalue":{"value":{"amount":"+0.91608083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$386B9069-AE36-4BB3-BD4C-ECE7F8E34B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ebb15693586515f083fedd884ae6e4a40e57a4","datavalue":{"value":{"entity-type":"item","numeric-id":3767392,"id":"Q3767392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a048634a5b7f72ae1c71d695bbd3ebcc24241d28","datavalue":{"value":{"amount":"+0.91550773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$1A42B247-3504-4E01-AF4C-729103ECCE58","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":"bcfcacf8474cc2dac0f7706220379ff580ba0f01","datavalue":{"value":{"amount":"+0.9012964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$3D209F93-329A-43B8-A87A-59337B6EA09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7cfa58ace67c9f6ab19df66005069a15ecd4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2777521,"id":"Q2777521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50bca2c24f3db185059a98bcd3eb81baa258416","datavalue":{"value":{"amount":"+0.89445627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$48560F37-1E84-4B63-A1E2-8D69048E69E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9997e1df5d03c310a06e33f6023bfda446186f","datavalue":{"value":{"entity-type":"item","numeric-id":5694977,"id":"Q5694977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f3b2c4a03c90c21ca0a345c7fd5736e1879dbf","datavalue":{"value":{"amount":"+0.89213896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$8E463124-DC24-4E64-9F3B-741B8EA8C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a219f6d3de1dc132fddd8f2bf05a1d7d2d988ae","datavalue":{"value":{"entity-type":"item","numeric-id":4845170,"id":"Q4845170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a45aaa8e4db944c0e67d05cb12801b42f80042","datavalue":{"value":{"amount":"+0.8859465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$CD5FE453-EB31-4301-8272-FCFB019C2CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8001b089c69f1c4188e4bed2ec47fcc00a7f0b7b","datavalue":{"value":{"entity-type":"item","numeric-id":4515299,"id":"Q4515299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5736643517c00744e03db77b5a9c20278c8e3c","datavalue":{"value":{"amount":"+0.8849544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1032695$D9975FA7-EA0E-4F58-8713-EC751FC86100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination for lexicographic products of ordered abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_for_lexicographic_products_of_ordered_abelian_groups"}}}}}