{"entities":{"Q1320036":{"pageid":1330786,"ns":120,"title":"Item:Q1320036","lastrevid":67165038,"modified":"2026-04-12T15:43:51Z","type":"item","id":"Q1320036","labels":{"en":{"language":"en","value":"Quantifier elimination for Henselian fields relative to additive and multiplicative congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554005"}},"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":"Q1320036$BF8D59D8-2505-45A2-8343-FBEA997BC8ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6d473ebcd88d902c333affcde6d88286d30f50f","datavalue":{"value":{"text":"Quantifier elimination for Henselian fields relative to additive and multiplicative congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320036$54444C7E-DBCC-426F-9AB0-C156A388503A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ccdeafa884272f53913af9576f7e71681a5895c","datavalue":{"value":"0809.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$C5D2C789-A183-43D1-862F-FCD5080D2F34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7a06670eef2804f1cc71b0bb239c21701be794","datavalue":{"value":"10.1007/BF02758645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$DEA45D5A-DEB4-479B-96EF-D48A38873514","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9664aa1c7e25b5c97b07c5281d7ee8d16f778b83","datavalue":{"value":{"entity-type":"item","numeric-id":323733,"id":"Q323733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$04A7511F-ADB7-460F-BE42-056A73FAE0CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$250E7CBF-6618-4CA2-B988-11A102355DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d77e9ed4e17a7186af2b23449827981a1ae68a44","datavalue":{"value":{"time":"+1994-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320036$99C42DB0-4BBE-42FD-8DF6-C8A592D80DF1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"697316ce9bcb20f4a57e02ce73c8a9cddb1fcfee","datavalue":{"value":"Let \\(F_ 1\\) and \\(F_ 2\\) be valued fields with a common subfield \\(F_ 0\\). The author investigates conditions under which \\(F_ 1\\) and \\(F_ 2\\) are elementarily equivalent over \\(F_ 0\\). Such conditions are useful in the study of quantifier elimination. It is well known that it is not enough to require that the value-groups as well as the residue-fields of \\(F_ 1\\) and \\(F_ 2\\) are elementarily equivalent over those of \\(F_ 0\\). Generalizing earlier work of Serban Basarab, the author introduces structures of additive and multiplicative congruences and a relation between them. He calls them amc-structures for short. It is shown that various theories of Henselian fields admit elimination of quantifiers relative to amc-structures. These theories, however, are defined via rather complicated conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320036$2151651C-8B29-4DB6-AF42-85C277303954","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$3ED51286-4174-4027-A0BC-FDA91D3C6182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$B49BC71C-373E-42B6-8164-D9B50025FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$881D14D2-ABF7-41D2-9044-4DF8010B78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$36B264DE-2107-4EF5-96D0-005168B6CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$222C03E8-4434-40B1-AF5A-AC00348481BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0019b52e0ea8107ed9ba9a6bd3dd116ec86ac8d7","datavalue":{"value":"554005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$5C93D106-6675-4A6C-BAE7-47491F8A9CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320036$C82485D3-537A-46BA-89D9-0C2CE3915646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508f88424658fb089498cc4a64955884ae0c4f48","datavalue":{"value":"Henselian fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320036$E52BB764-114E-41E4-AC91-CB97A5CB9E88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55e9113c6220e9e6d232e22a30f5ae02a0df4fd0","datavalue":{"value":{"entity-type":"item","numeric-id":691681,"id":"Q691681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$A8D97634-2FFE-4159-A59B-31423BFAC9A3","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":"Q1320036$378D6885-E584-40F2-A7F0-02E86E825504","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5c3b3f4eebd7010652189c3da809a4dcd8b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":810501,"id":"Q810501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$074818CE-FCAB-487E-AD80-624BB351CA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba1a7d5809012483450978aa88db6ca966f2b02","datavalue":{"value":{"entity-type":"item","numeric-id":1210030,"id":"Q1210030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$C4F2AEE1-643A-4E6A-823C-B85DF7CE406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8597ea8f033b7c7d8f4a033e73bb1a71b237a49c","datavalue":{"value":{"entity-type":"item","numeric-id":4405003,"id":"Q4405003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$1C8AA6F0-CA81-4CCF-8C7C-A68D99194BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$B4C5DF66-E938-4166-BF89-70FC834CE990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b1e7fc6bd3a08ef0000edb36cbc1da79668674","datavalue":{"value":{"entity-type":"item","numeric-id":1076077,"id":"Q1076077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$70A99240-DF21-4BD4-AAE0-14A39217E029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76176b56c368dfcc3d3cf1b9930cd23866dae8c","datavalue":{"value":{"entity-type":"item","numeric-id":4135501,"id":"Q4135501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$9D888D0A-CE1C-49D6-86D4-D8F59019DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703ca62ff94d83a5967998840c0e88086a530788","datavalue":{"value":{"entity-type":"item","numeric-id":4724592,"id":"Q4724592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$9C3E9847-2280-4D9F-ACE5-292D05B095F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$3C6FBF61-ED0A-4231-89D8-642A058C3BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02561aa2d6d6d75a3111a847dab748489434675","datavalue":{"value":{"entity-type":"item","numeric-id":4143431,"id":"Q4143431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$B0DB53A7-18BB-457B-AAC5-B4D24EB444DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9517f86c1e86b250eba5586ae99577cbf5272428","datavalue":{"value":{"entity-type":"item","numeric-id":5514647,"id":"Q5514647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$FBE77CB0-BF7B-46AD-8691-82B7E204C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$F66DA2A1-312D-4401-9B7B-5F174201836A","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":"Q1320036$516D6A88-159E-4D3C-ACA2-7EBB105AD56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae57b8d6426f04a88dfa7c1138996ab9e25aa02","datavalue":{"value":{"entity-type":"item","numeric-id":916646,"id":"Q916646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$963DF74F-48A5-4E6F-A3AF-6A904C344475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989d5adb65c3cb2773eb1a171bea249bf214e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3708785,"id":"Q3708785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$D505BEB5-2877-43B1-A981-6BB8D04AE33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320036$9D450BB9-57A6-4AEB-BDC9-0AC1C62D9DBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c056f10523166e8a33c60cf7e240a15eed263a3","datavalue":{"value":"https://doi.org/10.1007/bf02758645","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320036$E0AB6544-4CD6-4521-8679-B247552CD02F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db4c66739ecafd12ca3f8d54d167f3f5b5c2a84a","datavalue":{"value":"W1977994178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320036$FF0FC465-013D-441E-A2C3-14FF82DAAEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683b9db099596f3de911208ac3320434f45e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":3140552,"id":"Q3140552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1e7b881718531c2e9b53db9aa6de92a8169c3e","datavalue":{"value":{"amount":"+0.9162893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$A04F4BF4-30E4-406B-A89D-FCCAC389D5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669a3b5f24a32c5b66871d83dba9a8bf2a8955ec","datavalue":{"value":{"entity-type":"item","numeric-id":810501,"id":"Q810501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6785aa98bb92cbe23fc0a3b07cfd21b73608f1","datavalue":{"value":{"amount":"+0.91588455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$E2782D9E-661B-4539-8A9A-FC3BC84304CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2f3dae7da21269c45f945308f96c84b012b961","datavalue":{"value":{"entity-type":"item","numeric-id":4630671,"id":"Q4630671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75530dc55cb4c23da0f23fc74edce7a0d55cf58","datavalue":{"value":{"amount":"+0.9106219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$9B66D0F9-355B-405B-927F-3362B0C43E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4239c089ac0408418931dea7f4c5b2656f76029","datavalue":{"value":{"entity-type":"item","numeric-id":4842632,"id":"Q4842632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2f3ca1f6a964c79c0c85eaeb6a3ed47981eac6","datavalue":{"value":{"amount":"+0.90721416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$C4B627B8-F7CE-4EB4-9A90-6EF8849DB1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce24ba673619e9e05ac5eb5ec2406f4a100f96ed","datavalue":{"value":{"entity-type":"item","numeric-id":1759771,"id":"Q1759771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10131c6f2e7fdea5033124f14715a732e4e9b5aa","datavalue":{"value":{"amount":"+0.9053839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$4C203786-CECD-4FA6-A084-88370B36B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8740b7b07440000309fabab2d5c47bd12b4660a3","datavalue":{"value":{"entity-type":"item","numeric-id":3014937,"id":"Q3014937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7021008f4ea4bcbc24338752982e5cfe5d4f357","datavalue":{"value":{"amount":"+0.8995623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$A39F1B7D-4A4B-4928-8FBD-2D9F7DF72C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96561bb3449bb97d460e86f32a9c0b48a91b4896","datavalue":{"value":{"amount":"+0.89469385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$5DABF27A-7D3C-4406-9EF4-8F40090480ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b948907256d049850dca2d16a1c9127048832e","datavalue":{"value":{"entity-type":"item","numeric-id":3152317,"id":"Q3152317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4abc51cdad379328ecb0e6c7005d8b0e45d7cae","datavalue":{"value":{"amount":"+0.89437306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$CD491E6A-470A-4405-AB75-C122447A2382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bde0bb4f84d8f10489aa7bf0943873e0b02868","datavalue":{"value":{"entity-type":"item","numeric-id":2758074,"id":"Q2758074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affe253282d30ca6f9b6391145a92554b14d633b","datavalue":{"value":{"amount":"+0.89149445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$6E8159DD-157F-4F43-9695-10884585BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8078124aaf87f586f663af579195c08bd2b0641","datavalue":{"value":{"entity-type":"item","numeric-id":4135500,"id":"Q4135500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d9debb1b9a5c8ed0382552b04757f70380b20","datavalue":{"value":{"amount":"+0.8914002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1320036$8C256B29-66A5-4390-A160-05DE6904F001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination for Henselian fields relative to additive and multiplicative congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_for_Henselian_fields_relative_to_additive_and_multiplicative_congruences"}}}}}