{"entities":{"Q1295548":{"pageid":1306298,"ns":120,"title":"Item:Q1295548","lastrevid":68392845,"modified":"2026-04-12T23:24:37Z","type":"item","id":"Q1295548","labels":{"en":{"language":"en","value":"An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308194"}},"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":"Q1295548$1C60ADC3-FE0D-4AF6-B011-1EA9EE8A7C50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2240b930db0eb43f0ee7f04da03131ada64ea42f","datavalue":{"value":{"text":"An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295548$5FDC758E-5D51-4375-BFD4-8F0BB14E8FB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f6cab0a9971d56bf2aaf41582d6ef005423907","datavalue":{"value":"0929.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$BF6D988E-047C-4A32-95DB-6D7617A77BF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63a6922904c51861e86e1d5327e50053c29a3fef","datavalue":{"value":"10.1016/S0022-4049(97)00068-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$47885D92-1A37-43CF-89EF-FC0F41334734","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a188e1f4feacb5e5ea3871d3ce71c63837182be6","datavalue":{"value":{"entity-type":"item","numeric-id":1295547,"id":"Q1295547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$817A1CAD-F3B5-4D59-B101-AA9B7A2109A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7384f5e7f23228cbddb797ad0ee1a037f50b935b","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$D0D31970-4DDE-4C92-9C5E-5F27EE3899D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$81D52FE3-99A8-416D-9FEF-AB1BE3F44DF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfc696b995d8319fe0260180a1cd6c4dc4a5d24c","datavalue":{"value":{"time":"+1999-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295548$DB0273C1-383D-47C0-83E7-8F19FB0FB074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$B19074D2-0651-4A85-9D9D-5E8C0FC982D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$F6447CCD-822E-4BF8-90E6-66E5797002D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$F3629E62-796F-449D-B62E-226D37BDB707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$E004B9F6-51A5-4F22-9A08-0D85C10366E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2731298a552eb309b93a414b5a27bd83b9a76a89","datavalue":{"value":"1308194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295548$F148B91C-E3A6-42DD-8D07-DA5E339B8AE3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295548$0DC3B1C5-497E-4BF2-8925-544F7751B68A","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":"Q1295548$38F5949C-966E-4D04-B206-5F6195E3605C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0583d9fb412604b0826c59332bccd5687aee9b3","datavalue":{"value":{"entity-type":"item","numeric-id":3481825,"id":"Q3481825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$5B635F83-5DFF-4525-B16D-55FD013A8ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae69f8ff95a1054d345672afc2549299a932f6","datavalue":{"value":{"entity-type":"item","numeric-id":3692867,"id":"Q3692867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F21E0009-77F8-4B5D-8AF4-F95D1B1F5F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a56ea8f57f7176fbeecb242a66294af65fcc9","datavalue":{"value":{"entity-type":"item","numeric-id":2644804,"id":"Q2644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$15EE08AB-3D29-4BA5-AD34-3988A5D1D8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7a78759148ce6b1abced42ef4a952f4334dd8","datavalue":{"value":{"entity-type":"item","numeric-id":794429,"id":"Q794429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$844DF453-079F-4885-A08C-86E9A4556386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86a79bfcfca810fb7601492bd0551fae9de8408","datavalue":{"value":{"entity-type":"item","numeric-id":4142697,"id":"Q4142697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$E5FBA3F3-BFD3-4ACF-9574-E90D4BA2262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6b13b2ba37a9810801d8784e6422607a5338cc","datavalue":{"value":{"entity-type":"item","numeric-id":4745254,"id":"Q4745254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$77F65E7A-7427-43B9-9D12-701E4BC42D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$EFA9C1E4-6662-440D-BD3E-A4B114261566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6573530e265cece3eb210278c21f8e4cfde27e3a","datavalue":{"value":{"entity-type":"item","numeric-id":809149,"id":"Q809149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$44E7DEEB-749D-48B8-B449-A559B58CC159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75de67cd130ff41e9deb601c5916780e9a88123b","datavalue":{"value":{"entity-type":"item","numeric-id":4204240,"id":"Q4204240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$0624E4CA-5B24-4C0D-853D-810E95906600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4f243234fde085bc8d007a8accd2c9a0ebce13","datavalue":{"value":{"entity-type":"item","numeric-id":4203817,"id":"Q4203817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$26B4AFE3-2402-4717-A5D2-DCE8B7A177BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cbeb347b22a8b2042a22324bf5ef3be685a808","datavalue":{"value":{"entity-type":"item","numeric-id":3358853,"id":"Q3358853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$087259AA-EC1E-4321-AA54-B334E0C95A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa745fed236513fb52d9febacf8c197e209a16c","datavalue":{"value":{"entity-type":"item","numeric-id":3728104,"id":"Q3728104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$3E02BDA9-C162-441E-9020-C340B1C6B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0d7c2f9fbebdd682ae380725d8093d2d4a292","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$770EBEFB-5956-4F3F-AC8E-4572BF25E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f52e8a6ff3430e3d85ef46468b27598ec4d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":752692,"id":"Q752692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$368A345B-93A6-4EC7-9A70-9B76FD7FFCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd5ef690657c8587f364463e5ad80ef01d750b2","datavalue":{"value":{"entity-type":"item","numeric-id":4872788,"id":"Q4872788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F68AB3A5-E5CF-4BBE-9626-ED1967BA29E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a33fe97dc70377c6d17a704f13f0cbe608566b","datavalue":{"value":{"entity-type":"item","numeric-id":4850731,"id":"Q4850731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$DE571520-785D-47CD-B7C6-B0B68EFCD7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec980db2f7b99765554600c11327e594a969a2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2366723,"id":"Q2366723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F1EC411F-1885-4319-8A8D-0A57DDA7925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982b803b6bbe9bcab5a8f900efbaac26279a84a2","datavalue":{"value":{"entity-type":"item","numeric-id":1380007,"id":"Q1380007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$E6AE94EF-AA36-4567-87AF-57F93B649B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c8dce263da0066f058015b2f7a282ce447f435","datavalue":{"value":{"entity-type":"item","numeric-id":3767321,"id":"Q3767321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F61E6410-6EDF-4F51-A10D-4AC3AB2B98D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5406ea7669ed616e0ac659900417e7fcb90273","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$A5DA4E4D-95D7-441F-953C-A6801EB678FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d567c359f199ffbd72df42909b3ffb70e470a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":3835021,"id":"Q3835021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$3A34089F-5D45-427E-9797-B6D69CF2CF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a1bce69a33139ec859758c4b116b3c648bdce2","datavalue":{"value":{"entity-type":"item","numeric-id":3942397,"id":"Q3942397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$E3BAAA6C-6AE9-4AFB-8BD4-7477086C6A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2446a7a37330f31d0fe1f5a3d2929d51c5096db","datavalue":{"value":{"entity-type":"item","numeric-id":3912021,"id":"Q3912021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$9B69B447-0580-4F90-BC3C-01C284881C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29111540e6d6ac550dfdce0c5007cb15a1e27575","datavalue":{"value":{"entity-type":"item","numeric-id":3783550,"id":"Q3783550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$070C6B18-DA9C-4551-B1D3-9F757C546EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F6050D53-DB1D-40CB-B095-0552925D7172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae5b6f02f8ae28a77f47071ab9453c53a0feef","datavalue":{"value":{"entity-type":"item","numeric-id":4714022,"id":"Q4714022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$80BB8F03-F740-46B7-AEB7-195AD8AB3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b32bc7767be82b7f69c4a3a7574a2b39f4609fb","datavalue":{"value":{"entity-type":"item","numeric-id":1097640,"id":"Q1097640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$F283F36E-CEC9-4CC9-8FC8-63DFB1151DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f960a07f08ac9a547fb977eecaa8e0cb9239ad33","datavalue":{"value":{"entity-type":"item","numeric-id":4156492,"id":"Q4156492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$833C53AE-6B19-4CE0-BF65-32AA87710E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$13D489C9-0445-446C-8A61-A6C0090F49BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f9602501d42f0f2f33f421f20e9eb88b50bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":1822978,"id":"Q1822978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$CFDC7126-B4CA-47C6-814F-7430107276D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a31dad6f298be2eb92d6df880997f69f6949f8","datavalue":{"value":{"entity-type":"item","numeric-id":2557558,"id":"Q2557558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$9F95261B-E492-42E5-8557-4487640BBF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$EAE2281E-6E72-48F8-AA8A-2690B4116CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5771c621898803b98f3d8a7a0d4749a51ec11f","datavalue":{"value":{"entity-type":"item","numeric-id":4725742,"id":"Q4725742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$04DC3420-B398-4C9A-9EF5-0FF78C33A797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92de3f05590685578d3ffc2c8aee29bbdd76883","datavalue":{"value":{"entity-type":"item","numeric-id":4137157,"id":"Q4137157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295548$D7F57930-166F-4082-A064-77BAF35FE036","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6870a4e51d78f3c02258e4dfab93e2356f7fd66f","datavalue":{"value":{"amount":"+0.8611980080604553","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":"Q1295548$0820606A-895D-4B86-AEB2-446E7171BEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2eb872ef1f474a3233e67145c964c6684d47e5","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70975705ca07bd97ff715066acedfa767eae5725","datavalue":{"value":{"amount":"+0.8589434623718262","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":"Q1295548$798FC058-5E7A-4CCE-A67F-929D68FF071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07680617165d481d26e49c7155b616ac0611bc59","datavalue":{"value":{"entity-type":"item","numeric-id":752692,"id":"Q752692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b10f9d069a481fff577b55621ac1bb5efcc537","datavalue":{"value":{"amount":"+0.8479317426681519","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":"Q1295548$DBC25998-8CEA-479D-B85C-E4E31AA198BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd1da1462720572f75f030936eea2f5f28f7031","datavalue":{"value":{"entity-type":"item","numeric-id":4371694,"id":"Q4371694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1365e5dd6af7c70ffabcecb4d9ed399db9c5b55e","datavalue":{"value":{"amount":"+0.8426831364631653","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":"Q1295548$785C61A1-F21A-4045-9833-6160B0C88FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b36fdbf9ac4d904d23b02f53375ef156f36dd","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c29ec3e4a08fe5c4f012f8a38b8e8616ae77bc","datavalue":{"value":{"amount":"+0.8220229744911194","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":"Q1295548$C6AA28D8-A83C-45BF-874F-14861E377325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_effective_algorithm_for_quantifier_elimination_over_algebraically_closed_fields_using_straight_line_programs"}}}}}