{"entities":{"Q804242":{"pageid":806090,"ns":120,"title":"Item:Q804242","lastrevid":64504236,"modified":"2026-04-11T20:19:51Z","type":"item","id":"Q804242","labels":{"en":{"language":"en","value":"Solving systems of polynomial inequalities over a real closed field in subexponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4199502"}},"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":"Q804242$075A616A-FFA6-4DF1-8B59-CCE099457B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a75193b3b6fd1f7e7cb894e0b8deb715692af5ab","datavalue":{"value":{"text":"Solving systems of polynomial inequalities over a real closed field in subexponential time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804242$B19C19A1-7CC1-495A-9947-628E6E877A61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a7a469bf708a1cef7057b7e9cf01e4db990cc6f","datavalue":{"value":"0726.65070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$78E89276-BEF1-4721-BC96-E9DB06E080FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36e71ccd6b82009e8a81b2e4a965b8408ebabcfa","datavalue":{"value":"10.1007/BF01098273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$1645AA15-8761-4C5A-92CB-32DF740C85BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$32754ED3-61FF-40CD-8326-36D46335AE74","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":"Q804242$771D1F04-3DC7-4F8D-8117-5DDA3481DBE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf498a82e223fdcda231f5a8f73319b4ec42a9f3","datavalue":{"value":"[For the entire collection see Zbl 0657.00011.]    See the review in Zbl 0683.65045.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804242$57FBA340-9710-41E9-84F4-B7ECC95B78BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$F0278333-39D6-45A6-9B3C-DB0B4A8B2588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$0DDD7C63-0C1A-4254-BD1C-5A908F95B14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d78e388b062fdd7338bcba30f6223a2b5ff6bcb","datavalue":{"value":"26D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$18E8F3FC-A55D-41DA-9225-FBF46CFDD644","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a05eadb3c6094f11f031d306f72ff3e36b70ac67","datavalue":{"value":"4199502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804242$7A93A7D6-4A35-4A5F-835A-C12620CE9FBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e5593fb666bf6759e080fc20efdfe21764a502","datavalue":{"value":"complexity of calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q804242$964CD553-827F-4129-8919-2910E2703C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q804242$9ED07A8E-EF24-412F-B081-D1016870967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8887e9d4cdbb749f41c4015bb9d1af7bbe638f2e","datavalue":{"value":"systems of polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q804242$B232E12B-632D-4F9A-8FA2-07AE130CBED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47b9b666d61710168781f19fcc8205f051b3a225","datavalue":{"value":"infinitesimal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q804242$B199C58D-255F-4D38-AACF-DB08CA6B4C65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b80574436eb2cfe6e06d2d1b3446d5365a842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190746,"id":"Q1190746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$3A7BB79B-3DDF-4AF9-9114-E4E921249AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$F43A3B33-4E17-47C6-ABDF-FFF3DCF0F6CE","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":"Q804242$17D53BDD-BE85-4BAE-997C-D9BC1FED6874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1139f87ae775ef65a114512a6abaadba3bdc67","datavalue":{"value":{"entity-type":"item","numeric-id":5184990,"id":"Q5184990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$661E42DB-CB69-4DE7-AAC9-863026E02ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$BE0FCF75-4A11-479F-9B3D-2C9E38CC0134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94af4b398439d78f99f728572ea461069cbeaa2e","datavalue":{"value":{"entity-type":"item","numeric-id":5633582,"id":"Q5633582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$23B1E9C5-2FFE-4AEA-9885-79657E9C744C","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":"Q804242$16A8557B-A5CC-45CD-9467-BCE95E9EF41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$A2FFBCFC-C06A-4E13-A669-F9A08BFC7D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b515ced739c6c8e682cf74e7321d82d15295643","datavalue":{"value":{"entity-type":"item","numeric-id":5736681,"id":"Q5736681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$67214A7C-B0D6-4F94-B922-D2CB70715033","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":"Q804242$6A16A6C7-69D8-4493-9284-BAC2F51BA9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88be1e1c8c73530cc3ddca1d615c0e260ae28e63","datavalue":{"value":{"entity-type":"item","numeric-id":4189745,"id":"Q4189745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$1B634CB7-3E8D-4939-B400-33005CB20924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb5d7dec27c8818f722e687ece5f845ee917c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3684200,"id":"Q3684200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$94D35C1E-AC8B-4F65-B9ED-4404D86DFF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$260E95D0-4E4F-439D-A37C-B0135C43D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21ba7c9e01a1e4d50952aba9cb27df7aae8db","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804242$88412093-3C6E-47B1-8149-B436FF77B3F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4319ec31dc275600192af31a78bfe0d327f78b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4733314,"id":"Q4733314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96c2ce8627d7e0b47c6520286c2d44044073e25","datavalue":{"value":{"amount":"+0.9961289","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":"Q804242$FDF1F434-5C3E-4E35-9D8D-4AD865D9F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ae6656aaeeb8ab0e4234c8032f0f82ffe1a675","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc38b621493168d0ae8a18d6f4f37bba8e3002d","datavalue":{"value":{"amount":"+0.9586581","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":"Q804242$2FE0826E-7C69-4C61-B1D9-D24C9C5028DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f6f7e5e279533b4b93d690284fb15fb0121100","datavalue":{"value":{"entity-type":"item","numeric-id":3746798,"id":"Q3746798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d62b12733e3973f6e01080537a35e7b9a21dec","datavalue":{"value":{"amount":"+0.9307175","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":"Q804242$FB5D9A8B-CD5F-417C-AA09-999E4F09298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad7874ece3ff5e22d33ca1837090249d395539f","datavalue":{"value":{"entity-type":"item","numeric-id":3973352,"id":"Q3973352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e5e6360ca4f7cbc7902f96fd314f4f724237f7","datavalue":{"value":{"amount":"+0.9058207","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":"Q804242$4D4E2B95-0B3F-489B-8115-974671B637DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b595bd45a04d5ae115b869fcbb38847d4fe10","datavalue":{"value":{"entity-type":"item","numeric-id":3485804,"id":"Q3485804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae7389ac69481c17b7e08bf616baf2ff9a5dc14","datavalue":{"value":{"amount":"+0.9004188","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":"Q804242$44E87137-FD4A-4951-916A-FEBD8B6FAB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6807e49566aed2642064594bef365d086749ee0c","datavalue":{"value":{"entity-type":"item","numeric-id":1762547,"id":"Q1762547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8581407b7a191e2f63f7c8771b77557b88edbf","datavalue":{"value":{"amount":"+0.8931541","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":"Q804242$DC82D7E5-ED9B-499B-AAF8-B9F54E05ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d490e51fbd89d27ea9a98b982e78a943f0ef64d","datavalue":{"value":{"entity-type":"item","numeric-id":2724197,"id":"Q2724197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86526f655a97511e51e3d74b80687d3216535d1","datavalue":{"value":{"amount":"+0.89285105","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":"Q804242$5469F851-486B-4DB4-BA89-F5E92DC37097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c0123305187e937dcf86f069550ac7e4a50166","datavalue":{"value":{"entity-type":"item","numeric-id":684954,"id":"Q684954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38346ce0d86b98cc18b45d544fabbe7243ec55e9","datavalue":{"value":{"amount":"+0.88379955","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":"Q804242$7D7D51FD-064C-4E46-8050-445F10DF88CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4906b78dfcfe5f8ac20f1a22c243ab2ce959803","datavalue":{"value":{"entity-type":"item","numeric-id":2915030,"id":"Q2915030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f6f26cc14734949afb3f87472aef6bb4251ad1","datavalue":{"value":{"amount":"+0.8808953","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":"Q804242$5077E1A0-54AE-4D5B-97D7-9E012BD42688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdaaeae2485ffe264bc5d5e7070162ae358318d","datavalue":{"value":{"entity-type":"item","numeric-id":2658549,"id":"Q2658549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83c0370dfbef20fa47489aefdae186e5cd501d3","datavalue":{"value":{"amount":"+0.87201375","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":"Q804242$0D6F110E-E81C-4910-9E67-11740621BF26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving systems of polynomial inequalities over a real closed field in subexponential time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_systems_of_polynomial_inequalities_over_a_real_closed_field_in_subexponential_time"}}}}}