{"entities":{"Q2565488":{"pageid":2576231,"ns":120,"title":"Item:Q2565488","lastrevid":48557620,"modified":"2026-01-05T05:23:52Z","type":"item","id":"Q2565488","labels":{"en":{"language":"en","value":"Quantifier elimination results for products of ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2208545"}},"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":"Q2565488$CDDBF7C6-127D-4CF5-B6C6-371543AB81B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d17106b0ae58f64860ef2337e876231913b190","datavalue":{"value":{"text":"Quantifier elimination results for products of ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565488$B4628693-9B42-47AA-9B99-C7DF23DA626F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea9b357717de0de87032c0f427e2180ef6aa9447","datavalue":{"value":"1084.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$A7AD9348-B359-4A1A-B399-512A672E6A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65c2dd3398a3525916c18ef952780240f7b1d45c","datavalue":{"value":{"entity-type":"item","numeric-id":2565487,"id":"Q2565487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565488$7E9D9DDE-FEFF-47FF-955A-1E442BC80DF7","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":"Q2565488$79921FA4-DC62-4D37-BBC0-67F936E3A429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d112b2448c26e3e0e59aa50184276a96f3480c25","datavalue":{"value":{"time":"+2005-09-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":"Q2565488$DBAA9274-2059-4173-B6FC-FC54153629B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"149230c5e796dbbd7d1bf7d659e5e6ab13961133","datavalue":{"value":"Quantifier elimination in some language expanding \\(L_{og} = \\{ 0,+,-, < \\}\\) for the product of Abelian groups \\(H\\) and \\(K\\), where \\(H\\) admits quantifier elimination and \\(K\\) is divisible, is shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565488$B31E9ED3-BE36-4AA3-B5BB-764B2802CFB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$374A46EF-2072-4806-9311-85AC40AC5B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$81A53FCB-D60C-41FC-9963-E7721AE7EECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"454c9c6ee34c2489e58bf458b30055ec1dd3b3a7","datavalue":{"value":"2208545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$37B01DB9-9BBD-4930-A8EA-98A7F879257C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09c6863f229b2583a145abf7b678f6ad7c38a0d","datavalue":{"value":"abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565488$4DCD2800-8455-4B34-8176-9CBA32FD9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565488$025EC33C-A70D-4696-B261-EAFF04E93B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200b0f187ad1b101c5ee111f093a447fdd14368b","datavalue":{"value":"lexicographic product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565488$AB296A1B-8ADB-440B-948C-267AEA87786E","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":"Q2565488$453A5203-72BA-4D10-9D6F-24F8A39D079B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd26a2a06971164bee5da07a85ed5677ba3dd753","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496164802","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565488$7522EDF1-ADF0-4784-8523-0A677D4C292D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f91cb3d09761f915c9baba6f1752e99f39d2bec","datavalue":{"value":"W44661089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$BD97EC9E-1C41-4A75-A032-10F8A628BD49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a8062d66ca7672f7ec97a029f05d1dd1d88189","datavalue":{"value":"10.21099/TKBJM/1496164802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565488$33ABF8F8-9FDE-4BD7-A7BF-CE89A5999794","rank":"normal"}],"P1643":[{"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":"088cb32ac6a9ededde1941ef9538b81ab700e14f","datavalue":{"value":{"amount":"+0.9103145599365234","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":"Q2565488$81785D51-72CB-4F3A-BD28-DDEEDC846D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75fc5c0a2108f2cfe875b90d64ddf2f156f42022","datavalue":{"value":{"entity-type":"item","numeric-id":1032695,"id":"Q1032695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dd65d686a26c0f685f4587c8c31f39a0bd26f5","datavalue":{"value":{"amount":"+0.8877430558204651","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":"Q2565488$976C8716-7029-42CB-8319-89B52D1BECE9","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":"7a9189b897837048c0f1af2bf366c435c7f1e340","datavalue":{"value":{"amount":"+0.8519060611724854","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":"Q2565488$F225035D-F5BE-43D6-8D19-9A14C957A4A4","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":"215b15d0216a1e1e36d7bb64f5cc0d66208ab093","datavalue":{"value":{"amount":"+0.8516352772712708","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":"Q2565488$46005DCC-8CEE-49EB-A410-8B4C80B73FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1556c4efe277e42379ecfb29def7c116bf806722","datavalue":{"value":{"entity-type":"item","numeric-id":5476441,"id":"Q5476441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8993e098567b961d4f97dd9b80aa5fb916097d7","datavalue":{"value":{"amount":"+0.8357141017913818","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":"Q2565488$5996B705-9ABB-42DE-8C16-2FA4A2CA1C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565488"}}}}}