{"entities":{"Q810501":{"pageid":812349,"ns":120,"title":"Item:Q810501","lastrevid":64509201,"modified":"2026-04-11T20:21:38Z","type":"item","id":"Q810501","labels":{"en":{"language":"en","value":"Relative elimination of quantifiers for Henselian valued fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213965"}},"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":"Q810501$6665FFA9-7D98-4B81-9CAE-9FC3437D5808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"276933939c414e5fcbafc8d016707f31d69dc2d5","datavalue":{"value":{"text":"Relative elimination of quantifiers for Henselian valued fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810501$7838D231-2015-4FF8-BFC0-C0DF7291D6C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc52ff43bfd276ab5f6db9eb91e27c716edfc95a","datavalue":{"value":"0734.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$5C1EAB56-127C-42AC-96E2-86622A39BE57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214386393dc07176b977e11b09d5876f43292def","datavalue":{"value":"10.1016/0168-0072(91)90058-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$ECCD09A7-84E8-4843-BE11-E6CEE1F888A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"801899a19e49e1be229534ba76fa2654689cf4e7","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$47479230-D201-40BA-9E31-E1AC09197F6F","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":"Q810501$01F298BD-353B-497E-9D09-12D9EDFE50DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q810501$FEEDC98E-2E9F-46CC-B7B7-97C4520374A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ead5ff5b797513be30219301d4fc5f8a28b2291a","datavalue":{"value":"Let L and F be two Henselian unramified fields of characteristic zero, e.g. p-adic fields \\({\\mathbb{Q}}_ p\\), formal power series fields F((t)) with F of characteristic zero etc. In the 1960s Ax-Kochen and Ershov proved that L and F are elementarily equivalent (that is, they satisfy the same sentences in the usual language of valued fields) if and only if both their value fields and residue groups are (elementarily equivalent).    This led to a powerful elimination theory for such fields which has given many applications in Number Theory and Algebra. The most general type of elimination is the so-called relative elimination of quantifiers which is the reduction of statements about such a field to an equivalent statement which is a Boolean combination of statements of a prespecified simple type; what is meant here by ``simple'' can be one of several things, and each different interpretation denotes a different approach to the subject, often with different applications. For example, one may consider simply the statements about the value group and the residue field.    The main result of the paper is to give a necessary and sufficient condition for two such fields L and F that extend a common subfield K to be elementarily equivalent; it is then proved that a number of results about existence of relative elimination of quantifiers follow.    Particular features of the paper in contrast to earlier approaches are the uniformity of its methods as well as its strong algebraic flavor (only basic notions from model theory are used).","type":"string"},"datatype":"string"},"type":"statement","id":"Q810501$C9E3AF7C-9FC7-47BB-84DD-63C35343E8DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$6E473165-B2D5-4925-A2F1-4A4338A4C2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$13F25D16-E4B6-4930-9634-0E0CE4FB422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$E9A4C334-2D65-40B5-82E7-1BCA12EA60D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$F6B4E22D-9639-407A-9D4A-D405064C0A3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8531126ea4d390820e554c2b1eb0c28ab7c57cca","datavalue":{"value":"4213965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$3F033171-5D47-4F94-AC04-C0E33E792B20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8d2af286da9f65bcce5717747befd7637362b7","datavalue":{"value":"Henselian valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q810501$E3AC04CA-74DC-46B2-8D12-77FCDC78B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad47e90425bc87dfc6ae83c35c18a0be7ef6dba","datavalue":{"value":"Henselian unramified fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q810501$B3EDBDA7-4541-46D4-A27F-E1593269EADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132a18b25bb93258b2e4f7c35d30854e71ec1df8","datavalue":{"value":"relative elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q810501$02AAC0A8-BFDF-4C52-9982-A38EFDD2E21F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"65e6ff36a671ee721c8b7b87cfab85ae5b757ede","datavalue":{"value":{"entity-type":"item","numeric-id":953159,"id":"Q953159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$20F27F55-7D35-42E8-89D4-5542BE7A6EEB","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":"Q810501$E55D869F-05FC-4B17-AD14-CA971CDD223D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"898e2a94e893ec3b8988ab70a85a05ae66b99ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5622313,"id":"Q5622313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$BB9B70E3-D3A6-4AB6-8C72-5513CEAF50CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$52AC346A-165E-43CC-96D3-EE168E56FE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894c17ae9205aa7beebd8d1d32dddc5738f66d47","datavalue":{"value":{"entity-type":"item","numeric-id":2547890,"id":"Q2547890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$005CB29E-A313-4088-8905-922D5D32F642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eac7c1ce478460ea30811cd83e3044d79784285","datavalue":{"value":{"entity-type":"item","numeric-id":4047643,"id":"Q4047643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$64DC41D7-168E-4633-B4F4-B847F37FE49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb2a790fadc73bd0da17a8c3de2f99d97f8c66e","datavalue":{"value":{"entity-type":"item","numeric-id":1134757,"id":"Q1134757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$CA1C34CB-7FF0-4520-A908-2655B09D7220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9851358615cb08c87436573ce64f393bada338d9","datavalue":{"value":{"entity-type":"item","numeric-id":4196526,"id":"Q4196526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$96575DF9-1656-410B-884F-D3FF4729AE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"575cd2455c913cae664bce4d16a61b4d1ee13678","datavalue":{"value":{"entity-type":"item","numeric-id":3858247,"id":"Q3858247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$1C9A6C59-A562-440E-B433-204FE3DE914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32f0440020de971b9ca94d88e630fe64bcdaf69","datavalue":{"value":{"entity-type":"item","numeric-id":3901499,"id":"Q3901499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$FCBDEDBF-5732-442C-A06F-863D6987B7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfeb8cb7c5c254e2d85bd0f4db473d8daa54f0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5648449,"id":"Q5648449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$8DD0206B-AE62-4D4E-B8A5-AB0D043FD5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b80ee1156599ca1506c0bc4f85876960e7f1a1f","datavalue":{"value":{"entity-type":"item","numeric-id":793094,"id":"Q793094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$6641D916-58BB-449B-B6F2-80C5FAC8ABCB","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":"Q810501$EB13AEF1-9F28-453A-B048-EDA2E53DB700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$DC9F0263-4752-4C98-A4F0-F1F6C33573EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$7C3700A2-E90C-4CE8-8E9D-97FFCA564AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051cf7b41555c8858443e61056421deceafb04fd","datavalue":{"value":{"entity-type":"item","numeric-id":792384,"id":"Q792384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$FBBAB8D5-01BF-4F2E-916B-AEEBB9090C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c2bb8e871db2e994c71e518b3b278615467f24","datavalue":{"value":{"entity-type":"item","numeric-id":5181355,"id":"Q5181355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$74C28BBE-1D3B-48AA-BD17-188EF9364C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5497721982aacb9472406e2145178e097cdbbe51","datavalue":{"value":{"entity-type":"item","numeric-id":4769051,"id":"Q4769051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$9A10BCAE-BD00-4BAB-BD9C-27AA3063F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb32c20bc2786c18daaefffed0388db18b5e71c0","datavalue":{"value":{"entity-type":"item","numeric-id":5542880,"id":"Q5542880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$88588D77-27FD-4E0F-A01A-F34058EDA0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f84c023b5ce0da69162cda57ea9c7f564512d","datavalue":{"value":{"entity-type":"item","numeric-id":5532930,"id":"Q5532930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$7E29605A-F4B8-41F8-9FB1-50288638E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875a593c80052309d5030ceafaf991fc4dbdc309","datavalue":{"value":{"entity-type":"item","numeric-id":4081371,"id":"Q4081371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$6B4B5C09-500C-4DFE-9FBE-00138396FA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6899b40a48bb6dd55553fc9b55d2ab3a1166c63","datavalue":{"value":{"entity-type":"item","numeric-id":5588717,"id":"Q5588717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$FA676C24-5797-4C55-B8E8-C586134DF2EA","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":"Q810501$FC19CDDC-E849-4ABB-93F9-5BA171BEED71","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":"Q810501$DAEFDCBF-7283-48B2-8DDA-42DAE2DA902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec51d01bd3ba7c65b0476e7843da7f2fb40500b","datavalue":{"value":{"entity-type":"item","numeric-id":2540547,"id":"Q2540547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$569A1CD6-2BEF-42A7-A9B6-2A70F503F22A","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":"Q810501$8A97ACA9-E59C-429A-BC8B-BC81641A549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119e98845bca14b3aaa85a0a4b0442c2e16c6813","datavalue":{"value":{"entity-type":"item","numeric-id":3744257,"id":"Q3744257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$A315EDFF-25E2-4FD6-B43B-DC40369C26AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$8FEEB4AB-FE51-4CA3-97A3-A6AFFE331E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea23f8d8ffb6d6e9b55b988fd5ef582e54d407c","datavalue":{"value":{"entity-type":"item","numeric-id":4116442,"id":"Q4116442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$84A90D2B-1072-43A9-8F39-E61A10773463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f5c7c33792bdaff8e4ca3fb508a02830c29391","datavalue":{"value":{"entity-type":"item","numeric-id":3998158,"id":"Q3998158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810501$642AD629-3CAE-4F50-8983-9477BD308889","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f71ce7c7052ed498a18a1df26cb0cf43e186359f","datavalue":{"value":"Q127580123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$23BFF3A0-BDBB-43DA-A39A-17DDEF2B8F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"581cab7a0c11f7505027805c95b957b44d26ce6f","datavalue":{"value":"https://doi.org/10.1016/0168-0072(91)90058-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q810501$531C39E4-38CE-46F1-B8B5-0440F19FF3AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"729aab11d15ff85d339803459e1b32b41335f142","datavalue":{"value":"W2012472833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810501$C0F31E92-0B33-4D62-A3D3-4E9BC23AABE2","rank":"normal"}],"P1643":[{"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":"027d4cffdd4f4a573ce92f6d709b879532b4e6d6","datavalue":{"value":{"amount":"+0.9439734","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":"Q810501$F9DE619E-F821-48D5-B1D8-65E0713A7F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc11c17d3e233e45ac3ad42707043fc751d3c62","datavalue":{"value":{"entity-type":"item","numeric-id":3708785,"id":"Q3708785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8197334115aaf3950cbf0964c296de7b305e09d8","datavalue":{"value":{"amount":"+0.9243275","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":"Q810501$684B7B59-BD64-43FB-92F8-198C2022C12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1b4f260b192073e63a2ef5a284717431db5d53","datavalue":{"value":{"entity-type":"item","numeric-id":2084961,"id":"Q2084961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2a0f8ce3be02c5aa78df7f8fd5d65905f028bf","datavalue":{"value":{"amount":"+0.9161445","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":"Q810501$93AA632C-39E7-4B10-A871-EE9A000A07BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976362d5c504f39d017e551148127c61c8dbc753","datavalue":{"value":{"entity-type":"item","numeric-id":1320036,"id":"Q1320036"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q810501$F10665E2-F7A1-4124-AF5D-8535825BBED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2b87fe37be185c54b708ffa8c226dab94df9f","datavalue":{"value":{"entity-type":"item","numeric-id":3762295,"id":"Q3762295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703faa5c649e39b6babbb4716e52613025998b80","datavalue":{"value":{"amount":"+0.9146564","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":"Q810501$CE3555D9-D6B9-4E23-8B86-BF6C105C8DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522e6f55dcbeca6885b6895e5ff51e2b379652d5","datavalue":{"value":{"entity-type":"item","numeric-id":3690798,"id":"Q3690798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703faa5c649e39b6babbb4716e52613025998b80","datavalue":{"value":{"amount":"+0.9146564","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":"Q810501$2498FBAC-B2C9-4C50-8BEA-A2BDD98545F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a55f47f8527f1050a738413e0d72fb3671daca8","datavalue":{"value":{"entity-type":"item","numeric-id":3107352,"id":"Q3107352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a55d7daf323fd3f7cfade4d67b8673fcbf4e7b","datavalue":{"value":{"amount":"+0.91154635","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":"Q810501$0E876521-A45D-41BC-9002-C7A7883EA290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86caeb0b70d2331b79d08b9f8b76e08891c2b90a","datavalue":{"value":{"entity-type":"item","numeric-id":2976369,"id":"Q2976369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1d21ab1e6170bb4f48bbc46a2b39e55f5d8a0c","datavalue":{"value":{"amount":"+0.90985715","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":"Q810501$194D6236-1868-4CF6-A103-379DB30B4EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f55b5b0d1c77b5520369764be7bb63e99e0fc69","datavalue":{"value":{"entity-type":"item","numeric-id":5293194,"id":"Q5293194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb40e95e06d9c2044490a30d231a7554d0a67da","datavalue":{"value":{"amount":"+0.907094","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":"Q810501$72305BC8-94E0-414D-B164-AA0C5DEEB47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273f63aa7d0248cdce701e449f7b7f4739b67e1d","datavalue":{"value":{"amount":"+0.9068285","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":"Q810501$BB82B2D3-5387-46E5-B987-7A66E9AC3807","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative elimination of quantifiers for Henselian valued fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_elimination_of_quantifiers_for_Henselian_valued_fields"}}}}}