{"entities":{"Q1272610":{"pageid":1283360,"ns":120,"title":"Item:Q1272610","lastrevid":46624758,"modified":"2025-12-25T06:59:28Z","type":"item","id":"Q1272610","labels":{"en":{"language":"en","value":"A new approach for automatic theorem proving in real geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1234680"}},"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":"Q1272610$1E7396FD-3BA2-4893-BA67-3DC00D19A49B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9888909ed18cadc99e552db53f84667fd605d136","datavalue":{"value":{"text":"A new approach for automatic theorem proving in real geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272610$B9AEF06B-3681-425F-B43E-6117DE2475C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b182287f6643765a4e58f06d129dba478263570","datavalue":{"value":"0914.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$DB19593A-8F1B-45F3-B41A-B56B64F39959","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac616c0516fd75578eb80dde7ffa5196c498c551","datavalue":{"value":"10.1023/A:1006031329384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$5D39526E-0F28-4B95-A042-A14A4630F19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c7b0c0c4bae4a4e96b20c68ad3b1fd9d820e544","datavalue":{"value":{"entity-type":"item","numeric-id":898259,"id":"Q898259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$5D071CE8-84EB-4BA7-AB3C-790B1ECEA15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$573CEF9A-C239-4F91-BCF3-AF73C2233645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$442F5E96-106E-448C-840A-3117D14FD4B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$FE3E2F54-FC3C-4204-9B5B-22596F2294B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd6a737c18f65b9b62e49de46febf9f281d342b1","datavalue":{"value":{"time":"+1999-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1272610$11A4312A-D80F-452E-8581-DD0E7BCD64AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$4D9D0FFC-7CFD-4F16-A87F-7136076B0CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$BE1C286E-9190-4EE1-9700-6345DDB4B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$33EFC4BE-C3F7-476B-8349-47ECDBF3B778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$40C08D35-0162-41C0-A308-BF94C7F9DD59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86d8972e02f1b4029ea772551c43d2e2734067d5","datavalue":{"value":"1234680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$D49C48A2-A6AC-4631-9926-87655E304F8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272610$231AD44C-4CBB-4138-ADD9-773A38684E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe28ac3ee8bdccc4fac489d023a004fd75012b02","datavalue":{"value":"real geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272610$4E0CD088-4F8E-448A-A4D2-A9B0445496E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fcc058130160d94224d2f5919283956ebbbf78","datavalue":{"value":"automatic theorem proving over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272610$AE59A7C0-F88B-47BA-A766-8CB476E3AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6524f1d06e04900dad006111b6fa14d447e364e4","datavalue":{"value":"order inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272610$2CD42AD9-4460-4D03-902E-EE3D8175FAA9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$88970BFE-5FC6-413B-BDF5-8F364F1781A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"954fee4687a8e78ed6c048a8ec08f19b068d4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":22349,"id":"Q22349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$5D09BC21-883F-45D2-B098-E45C4955D353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272610$967A4F43-6A7F-4E24-A2C9-9F435DCB8198","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":"Q1272610$03148A31-5C18-4261-A81E-C5E8339C8DE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1def2f8f415996ded527f3ae680db695318297e","datavalue":{"value":"https://doi.org/10.1023/a:1006031329384","type":"string"},"datatype":"url"},"type":"statement","id":"Q1272610$89F4F756-627E-4B2B-9C73-AC2638D25890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e681d6b24574068986437ceacc85981da463c9","datavalue":{"value":"W1930661832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272610$F56AE633-C54F-417D-9F82-00320EEF187D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0aacafaac6ce7cb6e72e360519212bcce484cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4234276,"id":"Q4234276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53da42412284898cc0b47865c7a2e1aa232aea3a","datavalue":{"value":{"amount":"+0.840840756893158","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":"Q1272610$D5ACF752-576C-4203-8A1C-83919B4A848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0177aad1a922de43a104a9b7109b62aa12b987","datavalue":{"value":{"entity-type":"item","numeric-id":4234209,"id":"Q4234209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65efe0913eaa97ec5cf7c17c46938a89e343c20a","datavalue":{"value":{"amount":"+0.8262666463851929","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":"Q1272610$55617A3A-7033-4574-B3A3-8D68DF63F7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073536ae33d3db7c62a007d5c740317951ac24be","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd73f0b0c92c1ce68662ca0304f8be56563853c8","datavalue":{"value":{"amount":"+0.8245469927787781","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":"Q1272610$0688083E-D696-4373-9C37-E680595A4161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b963a16aa949f332f68cb6332934fd13c52a18fa","datavalue":{"value":{"amount":"+0.8240357041358948","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":"Q1272610$6C8586DD-9C9B-41B6-BF2E-D4E23282C73F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1272610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1272610"}}}}}