{"entities":{"Q3419043":{"pageid":3429746,"ns":120,"title":"Item:Q3419043","lastrevid":50018257,"modified":"2026-01-12T16:20:45Z","type":"item","id":"Q3419043","labels":{"en":{"language":"en","value":"OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5122340"}},"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":"Q3419043$457F3925-FACF-4DCE-9883-5771E4966B69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc02a91e3d05af3ef6d31d9bc2d965ce2c9fb1b7","datavalue":{"value":{"text":"OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3419043$23B6E8A6-9202-44CC-895F-7CFE6F337597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"238c158319d809e63a1f4daeec2176fb3291b485","datavalue":{"value":"1116.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$4C2348F8-73A0-46FF-945F-4AE8EC086520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78492fde4b63f4ec6834d32b7c57820749960c01","datavalue":{"value":"10.1112/S0024609306018832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$3B0F4361-F7DF-49C6-A577-95ED975289F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cba849b0f01d8c5cdd1e2f7e23f239d75b3f1105","datavalue":{"value":{"entity-type":"item","numeric-id":509103,"id":"Q509103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419043$FBCF4CA7-956F-4272-8C5D-05CD8DAE3807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"359bd1eb581692e96335ebc18f2beac9370c63f1","datavalue":{"value":{"entity-type":"item","numeric-id":554752,"id":"Q554752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419043$10740F46-4BA1-4456-8721-0496AD0C67D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01b7f37608d9f87bfa2998bb736dc8e29f05f57a","datavalue":{"value":{"entity-type":"item","numeric-id":2759195,"id":"Q2759195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3419043$7FEE566D-9D10-4A9C-B3DF-F81E9268A72A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cfd80247e1175012bece1fd8b29784ff482f047","datavalue":{"value":{"time":"+2007-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3419043$04C2F66E-4AB8-4FEB-830A-EEB02FC78BB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$FA3610D7-577A-42F6-B817-6BBFDEE3E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c77183f6f6ce6185ee23575e3a9609a0c3787ea","datavalue":{"value":"32P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$DAA63AE1-9BC7-4EBB-A049-E558BF73AFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ddc786021f9470a1a9953d0f570d64f80ae4ae4c","datavalue":{"value":"32B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$450EC329-A416-4BE4-8AD9-E2D04F188564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a101227a4f478aca34c828624731a8dd1439d84","datavalue":{"value":"32B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$45997F3F-90B4-4D18-AFE3-D4B9B0CD32CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$268D830D-724B-425D-A83D-78109ABF0769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b096af3ec8e6ae6a04dbc128b0ce66e449e4551","datavalue":{"value":"5122340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$6EADA835-6C13-41C2-8B75-AF1540CC733D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f39e986a58e58e26cb3631a0b8437a69fdc4df1","datavalue":{"value":"o-minimal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419043$3551B8D9-8234-4025-971D-4D0070768877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202208faee84e111857f295762e5dfa18d860bce","datavalue":{"value":"non-archimedean analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419043$28C07B78-FB0A-4C60-BEFA-5520047B2D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3419043$43A45A3E-B231-4F0C-AB20-0E004DC717D4","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":"Q3419043$15E1B2D0-12F0-4DA4-B375-AEFC7263032D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3bc2223fb5de5c30cc217f81b86a76e0b197600","datavalue":{"value":"https://doi.org/10.1112/s0024609306018832","type":"string"},"datatype":"url"},"type":"statement","id":"Q3419043$BE840E40-88F9-460C-9B6F-2515C2B8AC1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0cbc52dabbbdef3470b5eaa0edf23ad00ebd43b","datavalue":{"value":"W2069913546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3419043$7E231E3F-7A07-4896-93FC-1A724A1EBA67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a0cc7369ccef058c68257ce30f16cba3415f31","datavalue":{"value":{"entity-type":"item","numeric-id":3516835,"id":"Q3516835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6700d624830775773e261adaefdc8af856a3b355","datavalue":{"value":{"amount":"+0.8952717781066895","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":"Q3419043$BC70E35C-B006-4716-95AC-948F5AF121D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e12b8f7041bfb8486e9d26486b80b401b05e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1326770,"id":"Q1326770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c739b0ab8534cb75bcfca4d79d8ac4c186f2add","datavalue":{"value":{"amount":"+0.8459250330924988","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":"Q3419043$CED0F53F-2D01-4CA6-BA31-99A1BD405311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893455bd16ba8161e94585e98735633fd4184ede","datavalue":{"value":{"entity-type":"item","numeric-id":4931091,"id":"Q4931091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28144c5651684e1dc09beb2ea97b08db73182062","datavalue":{"value":{"amount":"+0.8335437774658203","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":"Q3419043$BF283A6F-AA11-4943-8954-A81B8DA32FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4483a1705d4cd5a03334083e7e238f94b643baf","datavalue":{"value":{"entity-type":"item","numeric-id":5111613,"id":"Q5111613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9b9bbffa069488e90e4f240d659bfbcbd4fec0","datavalue":{"value":{"amount":"+0.8321178555488586","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":"Q3419043$782EE0F8-C325-4117-AF5A-20876032C983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1721c7496a97ece28229e972222b3459f47c460f","datavalue":{"value":{"entity-type":"item","numeric-id":1341981,"id":"Q1341981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a48e2213fea85c63be7c5a6b7b1873a793fc38","datavalue":{"value":{"amount":"+0.8273242712020874","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":"Q3419043$FFB15A7D-3D12-40A7-B732-87FD126729B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3419043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3419043"}}}}}