{"entities":{"Q3140553":{"pageid":3151269,"ns":120,"title":"Item:Q3140553","lastrevid":47202811,"modified":"2026-01-01T00:06:31Z","type":"item","id":"Q3140553","labels":{"en":{"language":"en","value":"On the Theoretical and Practical Complexity of the Existential Theory of Reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440391"}},"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":"Q3140553$97653711-EB72-4EB8-8736-6D8F3F133334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6263f74138f9bfbec46502bc8fab8ec53cdf6bf","datavalue":{"value":{"text":"On the Theoretical and Practical Complexity of the Existential Theory of Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140553$74D563CE-A993-4286-886F-9A0CFE856DD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eeaa380838bbcb3d0e8b4ce1a13fc3784cb383fe","datavalue":{"value":"0780.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$F67D97AA-9D2C-4D11-90F2-C3119BDD3762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a67ebd63c49a2538afe68e2c0f9c56dfc6158b41","datavalue":{"value":{"entity-type":"item","numeric-id":191903,"id":"Q191903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140553$BBB7BAA0-2E54-4565-B61A-AFB8F8DD79F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f9a91d3d999a6aeb2f11e0fd51c6ef626cecb47","datavalue":{"value":{"entity-type":"item","numeric-id":209706,"id":"Q209706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140553$0FB0073E-63C2-4428-93DD-D98B8E44A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a067da1377e19ad699e857de7d2607dce27ca2","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140553$47E78AB9-EF03-4AF4-923E-5DC916672CC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140553$E3CC7F38-BD45-4168-B07E-8246DC388A34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84bd89f27c8cb1358368760527e3f52344795b6d","datavalue":{"value":{"time":"+1993-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":"Q3140553$43FF3CC3-6C1F-45DC-8A22-B2A51753B023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$17C1D28C-FFC4-4010-81D8-6140FAA2DB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$F0135546-4ADD-4241-BC75-B8337218BCB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a9766ab257d83d1726717343481b93ecfa34eea","datavalue":{"value":"440391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$A6818DD0-BC52-480B-958B-E84D33665578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140553$6B90E0B5-0465-4559-831D-8646FC97C782","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":"Q3140553$AA181F37-D830-4425-9036-F9E912A3C488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d5ece624d90a152f431a9e096e3b348c5ef5bf5","datavalue":{"value":"https://doi.org/10.1093/comjnl/36.5.427","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140553$69C50817-90A2-4286-B2FA-6DC829E3F9CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"715ef9a2c1552d3e59e4869c662c39762ba39607","datavalue":{"value":"W2007438578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$8C7ECE49-F5E6-4F4E-B10F-5A33D6F19164","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae8a625980400c81599b92ad5fa0481c44d23739","datavalue":{"value":"10.1093/COMJNL/36.5.427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140553$349D3F36-DF56-4A76-81B5-1E53012CB103","rank":"normal"}],"P1643":[{"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":"7964a2e2b1d5187d21e59d6c31df3ba1b52109ea","datavalue":{"value":{"amount":"+0.8063260316848755","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":"Q3140553$C5CB7C94-6BAE-4591-9414-B78B3B33E896","rank":"normal"},{"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":"4bf06681a0adade3803d4619e065081822fa7e22","datavalue":{"value":{"amount":"+0.8063195943832397","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":"Q3140553$30B118F3-9C7A-4718-BD10-DF4BA5F4E57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d92be5fbf609684652a1bc7590db43f6f12bb0","datavalue":{"value":{"entity-type":"item","numeric-id":3140551,"id":"Q3140551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fad0625b6d1e69c2c99b97cbbe346444efa004","datavalue":{"value":{"amount":"+0.7904741764068604","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":"Q3140553$6F027C72-0BDA-458B-942E-91AE2B7E6E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad59e310d812a99f747fc5928f0b7924c2868507","datavalue":{"value":{"entity-type":"item","numeric-id":4604289,"id":"Q4604289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f2ee9604f55f58fa45c6e6bea87edb814e72d8","datavalue":{"value":{"amount":"+0.7890533208847046","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":"Q3140553$551575E8-A515-40F5-A41A-D7CC8528FAD0","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":"7627ae481f7c1c251ca5e75e5a088a5e0fb31b16","datavalue":{"value":{"amount":"+0.7810209393501282","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":"Q3140553$8B37D946-8DA5-406E-BC1F-FFC0DE0FFAC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140553"}}}}}