{"entities":{"Q1185456":{"pageid":1196205,"ns":120,"title":"Item:Q1185456","lastrevid":70220457,"modified":"2026-04-13T13:16:10Z","type":"item","id":"Q1185456","labels":{"en":{"language":"en","value":"On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38437"}},"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":"Q1185456$F1D38753-92A0-4755-934C-A53540B330D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfcff3cd279c1c8049b89c50dea6857819b21f7c","datavalue":{"value":{"text":"On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185456$F5627AB8-A520-4D7D-A8B9-3B8E897FF8A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ea075612b19782a103f3e492a25ca33a324d404","datavalue":{"value":"0763.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$08D9D9CA-459C-40CC-BABF-E5F45158DAAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38669f28f6b6c7032843fda009575eb6da79b1ea","datavalue":{"value":"10.1016/S0747-7171(10)80003-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$C7243DEE-3A0F-4C1A-94DD-38DBA6FE101E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a749bb8c33c22aadbfa4429efd7a76288a9aac","datavalue":{"value":{"entity-type":"item","numeric-id":358632,"id":"Q358632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$E7D8745E-2899-4221-B93B-F0F0CC8094E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$DC225D92-6F1F-4DFC-AE3D-02EF29ED22FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185456$2A9F229E-68E0-464D-B7E0-39452833740D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8038ad661523bfe531330fbe0d54e5fccae3233","datavalue":{"value":"This is the first of a series of three papers devoted to the complexity of elementary algebra (decision problem and quantifier elimination for the reals). It begins with some history of the progress concerning the complexity bounds for the decision or quantifier elimination algorithms. The main point is the dependance in the number of variables. Consider a formula in prenex form, \\(Q_ 1x^{[1]}\\dots Q_ \\omega x^{[\\omega]}P(x^{[0]},x^{[1]},\\dots,x^{[\\omega]})\\), where the \\(x^{[i]}\\) are vectors of \\(n_ i\\) variables and two successive quantifiers \\(Q_ i\\) and \\(Q_{i+1}\\) are different; let \\(n=\\sum_{i=0}^ \\omega n_ i\\) be the total number of variables, free and bound. \\textit{G. E. Collins's} [Autom. Theor. form. Lang., 2nd int. Conf., Kaiserslautern 1975, Lect. Notes Comput. Sci. 33, 134-183 (1975; Zbl 0318.02051)] algorithm, using cylindrical algebraic decomposition, had an operation bound doubly exponential in the total number of variables: the exponent in his bound was \\(2^{O(n)}\\). Then \\textit{D. Yu. Grigoriev} [J. Symb. Comput. 5, 65-108 (1988; Zbl 0689.03021)] described an algorithm for decision doubly exponential in the number of alternation of quantifiers: the exponent was \\(O(n)^{O(\\omega)}\\); this feature was also obtained for quantifier elimination by \\textit{Heintz}, \\textit{Roy} and \\textit{Solerno} [Bull. Soc. Math. France 118, 101-126 (19??)]. For the algorithms presented by Renegar, the exponent in the bound takes into account the size of the different blocks of variables: it is \\(\\prod_{i=0}^ \\omega n_ i\\). It is also shown that these algorithms are well parallelizable.   This first paper in the series deals with the problem of deciding the existence of a solution to a system of polynomial equations and inequalities in several variables. The main point is to reduce the multivariate problem to a univariate one; this is done by using a variant of the \\(u\\)-resultant. This gives a uniform procedure which, starting from a list \\(g\\) of polynomials in \\(n\\) variables, produces a list \\({\\mathcal R}(g)\\) of univariate polynomials from which one can obtain at least one point for each maximal connected subset of \\(\\mathbb{R}^ n\\) where each polynomial of \\(g\\) has a constant sign \\((+,-,0)\\) (these form the so called connected sign partition of \\(g\\)). Then, for the univariate problem, the algorithm of \\textit{M. Ben Or}, \\textit{D. Kozen} and \\textit{J. Reif} [J. Comput. Syst. Sci. 32, 251-264 (1986; Zbl 0634.03031)] is used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185456$C7E8C50E-EC36-4B68-9395-4A8BF43E17D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$29C9A2F5-E30E-4FF0-939A-80EC64BE547D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$A8F544AE-A2E7-42A3-BBAA-60C07033E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$0FFC6AB0-A8F0-499F-85F2-09570B4F9C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$DD4E97C3-E2DA-4539-9EA6-D66E4DB3CFAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd78b7893bc163620b1f20df2554addf69458b89","datavalue":{"value":"38437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$FCE9912E-AFA6-4396-A30A-B0018F185F79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a7e43a573fdca0e442bad743daf24f630932e","datavalue":{"value":"complexity of elementary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185456$7A0C24C1-968F-4569-83C4-79F8494E0149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185456$F457A0F9-F483-44F7-9715-558CD6F23929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185456$89DB4FCE-CAF4-472A-9B63-0BDA74A51DAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2cbc5a5065d0ee30b0cf4044ef7f481008e0460f","datavalue":{"value":{"entity-type":"item","numeric-id":455652,"id":"Q455652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$DF4BDDC8-B6B3-43FB-BA5E-C6DE7C4B9C42","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":"Q1185456$46862514-F9F8-4813-AD44-54FA6A4C69B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f58638bf52857acc14e0681b158713dd2d45df","datavalue":{"value":{"entity-type":"item","numeric-id":1103610,"id":"Q1103610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$5F27FEE9-5753-4C26-9769-731459083261","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":"Q1185456$96E6BD3B-8EE4-43AF-A60A-9E4AB006E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efc6d224ffe0d7322355df220a9a0a92863a911","datavalue":{"value":{"entity-type":"item","numeric-id":4729768,"id":"Q4729768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$DF8F8B8F-2420-490E-AB22-589FBE6D0BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ccb05a30c17bb412aea78ede6b9ecbd4ac032","datavalue":{"value":{"entity-type":"item","numeric-id":4279726,"id":"Q4279726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$09549CAC-09DD-4A03-AF2A-D6D6127C84C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96779f6fc160293e549be27cc795d7f55fc62ac","datavalue":{"value":{"entity-type":"item","numeric-id":916718,"id":"Q916718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$9AD8D8B4-14AD-4181-B925-09F5FD28D64C","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":"Q1185456$74A7E5D1-E188-4B9B-A218-B6C30C1BFB68","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":"Q1185456$62D553D3-4B9C-4A71-A451-41638E800334","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":"Q1185456$2317F971-8899-43CB-B21D-A1C8D1D73F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857d76293368de223128367201210af212393e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4124326,"id":"Q4124326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$049FDCFF-10DB-4E32-8F3C-4B842D8A407A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b517d15abfb8e7c365e21e5449875bf7854308","datavalue":{"value":{"entity-type":"item","numeric-id":3483266,"id":"Q3483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$6277C5D4-C2D0-4620-A977-CB830BE01479","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":"Q1185456$AE9F7806-100E-4A02-A805-68F550771F09","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":"Q1185456$6E48ABE9-3F12-4807-821B-935D65CFF898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$8A21200F-3D9E-4B20-8FAC-387855CB869E","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":"Q1185456$46B334A2-6A47-4293-82CC-3E13A3CC3F64","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":"Q1185456$14CC737C-64D4-4752-A398-5F572BE8E4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1730b0558df6b7185fcd161a578f767cda5ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4713865,"id":"Q4713865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$67866EA1-3382-4715-B483-B26958DF63E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$A98B6076-D5CC-40FC-BCF7-0BB3FFF02B24","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":"Q1185456$B4BB64DE-8EAD-4DBE-8C99-590987EE82F7","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":"Q1185456$941AB2C0-824E-4A71-A20D-46E6203B8695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d400ae67354c276eb452acdccfbc71361c8b32","datavalue":{"value":{"entity-type":"item","numeric-id":1108927,"id":"Q1108927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$22CCBD45-1823-46BB-A476-400F7B08C5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182bedb18df390769beb6a8d7bb57b1497a2d508","datavalue":{"value":{"entity-type":"item","numeric-id":4027865,"id":"Q4027865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$A1C76A8D-E60C-4ECC-8F94-B7118FCE6D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$AF03A3CD-44B8-4B84-95A1-8D4AD57582EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71731443e5abe87925df4a23f08d056639f6553b","datavalue":{"value":{"entity-type":"item","numeric-id":3933758,"id":"Q3933758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$7010A8BD-D6C4-44CC-97C4-EEF3CC5AE1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aea04970626c2b6a6205a53b4ddfbe1134bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3030579,"id":"Q3030579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$1B0EEA9F-1CB0-4FDA-A987-E25EE7E5FFE5","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":"Q1185456$7DD96E3C-C6BA-4050-8723-2CF367D0054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65c8e88a7ff020836f9be5343bd164f76bec5d","datavalue":{"value":{"entity-type":"item","numeric-id":3795644,"id":"Q3795644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$DC799351-B65B-4C38-BC14-4B12241601DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8884c39b26a1b7cbe9eceef9f26bccd675df0b","datavalue":{"value":{"entity-type":"item","numeric-id":5795154,"id":"Q5795154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185456$7C8D358D-43F3-47E9-8AD5-33E10496F5F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1854c6d8d4446d0b4324d34d46235907c7423be","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(10)80003-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185456$B7EB69A3-41C7-419F-9301-E4C3DD163247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78e389a635d29ed0355fccd926bada40dac2db80","datavalue":{"value":"W1991813962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185456$10C984AA-FDFD-4445-8A95-38CADB764C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e703b606f36427127e5a5f6edee03487eab9391","datavalue":{"value":{"entity-type":"item","numeric-id":1185457,"id":"Q1185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c85177a822c2947c32c84e5261ac2942d1e615","datavalue":{"value":{"amount":"+0.9483329","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":"Q1185456$F5D315AF-F493-429E-B5EB-521153E815F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48de20e2979983b1ae1232c2d9de918b5affa1ed","datavalue":{"value":{"amount":"+0.92565274","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":"Q1185456$09631321-B800-490E-B20B-F51F5ACFEE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be2cb5ad8920dd059c82b162c07b640317f5e5d","datavalue":{"value":{"entity-type":"item","numeric-id":2277024,"id":"Q2277024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c701acb2fcf6f9f60eee8c936e9f4da3975b23","datavalue":{"value":{"amount":"+0.8618805","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":"Q1185456$ADC010D0-7238-4A45-85E5-A28259A4CD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cae51ea13ed26b6860e3b2744a40e9c4f8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":3480175,"id":"Q3480175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4142eeafa346bd334540b2ac23cfaf4b72d35e9a","datavalue":{"value":{"amount":"+0.858552","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":"Q1185456$C4CC81DA-0FEA-4B25-BB78-5508CEFC4082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6175a0c1fef265c78d14d657d454ccbcbbfa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4341368,"id":"Q4341368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccbbbdf98385c7736c7945949faf92e54c054e4","datavalue":{"value":{"amount":"+0.8465703","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":"Q1185456$F7D9D675-BA6A-439B-853C-B89A27C852B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc98d0a94a1263d70019e7fd017c8221ca3c6425","datavalue":{"value":{"entity-type":"item","numeric-id":3767321,"id":"Q3767321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc58ec6ac0ca99da38aa1704d1e400fe243b27b","datavalue":{"value":{"amount":"+0.84394747","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":"Q1185456$55A348D4-876D-4134-A0E0-B457640938CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945e11aa34eb3bf89fb8a759f6133c32ac12e928","datavalue":{"value":{"entity-type":"item","numeric-id":1274807,"id":"Q1274807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8722fefd278ae0cc71ffc51a7f17f500e81a53c","datavalue":{"value":{"amount":"+0.8334632","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":"Q1185456$F8D25323-0FB4-421E-A92E-DD73D11A1CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6932e0209592136fc8fe3849e7ab0e016b3daec","datavalue":{"value":{"entity-type":"item","numeric-id":1854429,"id":"Q1854429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ad7cd4837dfa75892533bf7dc9d0db25ea5874","datavalue":{"value":{"amount":"+0.82852644","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":"Q1185456$728002DE-DADB-4C64-A39D-B89BDC90BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8b9486172f18796ef42a7d276e9352c22524f","datavalue":{"value":{"entity-type":"item","numeric-id":2013319,"id":"Q2013319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9cfcb33d5751fa0e0b651eb4200b98432a6848","datavalue":{"value":{"amount":"+0.82696337","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":"Q1185456$A9E6A363-E158-4FD8-B3F9-28885CF39E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862ddf762427515e70a0551c8328a8e6d836062f","datavalue":{"value":{"entity-type":"item","numeric-id":4916179,"id":"Q4916179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d40178271051996c614d1b7f8e4c6535d056a5","datavalue":{"value":{"amount":"+0.8266394","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":"Q1185456$32A2E4B4-4355-4BED-AA5D-F43B878FE52C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals","badges":[]}}}}}