{"entities":{"Q1185458":{"pageid":1196207,"ns":120,"title":"Item:Q1185458","lastrevid":70220475,"modified":"2026-04-13T13:16:10Z","type":"item","id":"Q1185458","labels":{"en":{"language":"en","value":"On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38439"}},"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":"Q1185458$1028B29C-EB8C-4A27-9734-CBDC8BCBAD8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b20ce4fe1bda0309df7eeaa14a81cdc80a3005a1","datavalue":{"value":{"text":"On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185458$2E8AD213-DB35-4355-85C3-DD3EAA773624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95edb00fe111dab59dd4e56043b738ef63f24e44","datavalue":{"value":"0798.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$9E80143F-2F1D-42C4-A3DE-926F1FE46CB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f57d1c8edc64bb331c18a7b7117773a24f7e56e","datavalue":{"value":"10.1016/S0747-7171(10)80005-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$A04B8AB8-AFA0-4573-B8C2-861BD5D09115","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":"Q1185458$80D2A827-9F29-44F1-916F-B8EDF94A29AC","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":"Q1185458$7E5DFA5A-3A05-4DEC-AE64-B5467253C75D","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":"Q1185458$884FDEEB-2C77-4697-94A8-6E98BB811F9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$A17706EC-9D78-4282-9F0D-5A537575D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$B5477C29-7D0E-4B3C-BD73-596DC1EAA63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$C530B953-2275-47C0-9797-3038B87A4A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$934B3DD5-5B3B-4633-89D9-1FF5B279F10C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd0d81d79323e61817eedfc1599351f8a8ed767","datavalue":{"value":"38439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$41BD22B4-5093-4AE4-BC18-11B2AB3560AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$500564F8-E655-4044-AD48-0EAB3B5E3D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0fd3124d826c4ea4c95923e1c34a81d637052a0","datavalue":{"value":"decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$68571A0B-7135-4881-9F48-71C9762CA47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$4BD98875-8610-4004-BBC9-5D7C2DD0162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59d5c14887caa0862b11a62561fbe91f3a8183","datavalue":{"value":"first order theory of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$A42C16D1-691B-4847-8A53-6A3007183376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431ad0527b194c43bf7b26fc7f3a3705c49e72a4","datavalue":{"value":"parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$4AC8A1A8-B123-4897-9803-3AE157E9D63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a984a50e04ace248e74580880b69b2913ba003d","datavalue":{"value":"bit model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$1F9F992C-1B65-401C-835A-731837963895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7779feb4d9203d7b4f9925f6730f745d9dadff","datavalue":{"value":"real number model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185458$D531E4E3-77D5-4FB1-9BBF-F0B62E6980C2","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":"Q1185458$7B8EA958-11C3-457B-A579-70EC88300CCE","rank":"normal"}],"P223":[{"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":"Q1185458$6384FD41-ACDD-40F7-8111-CE1EFF2F2628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157a25450c93d717ff644eaa81fca2bb0d996c68","datavalue":{"value":{"entity-type":"item","numeric-id":5633584,"id":"Q5633584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185458$F77B7ACE-C092-45A0-8C21-293F4FC21216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ddf6c15587cc8d775178ac7830ee9b5995c206","datavalue":{"value":{"entity-type":"item","numeric-id":5532045,"id":"Q5532045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185458$0B6F1C72-4BC5-4A5B-AAA1-4EFA008C7E86","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":"Q1185458$54B02698-2CD8-464E-8FFC-35924DBCEDEE","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":"Q1185458$1AD10147-44CA-45AC-AAB7-63165591B178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"380bad6b7e9b498e1f134df26ca92e2c534651ba","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(10)80005-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185458$D9756702-D435-42CB-9EF3-95D351C469E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db9dbb9edbd30c8bb2111c6bfa74b778fd4c028d","datavalue":{"value":"W2001255903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185458$788D654D-0358-4170-A87B-DC7C33AE2D80","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":"555be21c12f6122af33fdffe3664ce2618b72aad","datavalue":{"value":{"amount":"+0.966529","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":"Q1185458$A2946299-A289-4143-AD00-AC90531D41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8afb6c601951f5e2e5ac36f4427c8dbaed992d","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"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":"Q1185458$AF3E462B-6914-410C-97A8-50307AE83FFD","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":"fff30970b72e181168b764725e2fcd631d705c9e","datavalue":{"value":{"amount":"+0.88733506","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":"Q1185458$FEE52F00-B37B-4AB4-B1B3-C15DEF6827E6","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":"3dc46add5d0fe692258b9be606cbda949d1b1a12","datavalue":{"value":{"amount":"+0.8828521","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":"Q1185458$CAA16B06-74AD-4C99-808B-D0E02FC198BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c1404fe9c3ccae8960f7971a036a7dd5151a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3481680,"id":"Q3481680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfe2a27d90d5f272a6b85009281b89075a2a9a2","datavalue":{"value":{"amount":"+0.87816936","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":"Q1185458$872E8632-7FC5-4587-93A4-38B981BD41E9","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":"8d5906c6f4f006c8949d68620ed190758d1d44ea","datavalue":{"value":{"amount":"+0.8762673","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":"Q1185458$FD73DB58-3F96-4D54-BA48-BE4753894BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf4c967b02721535b6e4e9457e5405916b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":684955,"id":"Q684955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069d2fb5fe060b652dccbcca89c57d58fb84dab7","datavalue":{"value":{"amount":"+0.87156594","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":"Q1185458$95AC3A5F-79C3-4B21-BC94-8CEFBDC8460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28ca89dd36c56ce6fc1235499d11b3a917f0deb","datavalue":{"value":{"amount":"+0.87025553","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":"Q1185458$17EB8682-FE2E-47EA-AAF9-0A25B8C66414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab6dd0dee4fe753e5ea97c573147bbf64c5b37e","datavalue":{"value":{"entity-type":"item","numeric-id":2819755,"id":"Q2819755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a160db61a90e59ae84d591a7016f3d02d152c2","datavalue":{"value":{"amount":"+0.87014365","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":"Q1185458$FE8C5EFD-1995-45B5-9F94-CD5DEA2CEE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c957fa3564ee1d7c9c3b5a3037bb7d47068e34","datavalue":{"value":{"entity-type":"item","numeric-id":3329449,"id":"Q3329449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeecbf51fe2b2579156f473408b93897c2f58fc9","datavalue":{"value":{"amount":"+0.86751056","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":"Q1185458$2CB470A5-F074-4E1A-9A67-1C21E51CE6BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computational_complexity_and_geometry_of_the_first-order_theory_of_the_reals._III:_Quantifier_elimination"}}}}}