{"entities":{"Q2881068":{"pageid":2891788,"ns":120,"title":"Item:Q2881068","lastrevid":58048530,"modified":"2026-04-03T14:39:25Z","type":"item","id":"Q2881068","labels":{"en":{"language":"en","value":"Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021319"}},"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":"Q2881068$9ED3A86A-30B8-4C0F-8CD3-C3F3C98D79B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f45f3e8119ad0aeb9d4221b5307dcc6e58c67a2e","datavalue":{"value":{"text":"Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881068$A6B13CCF-D90D-4EAF-8859-EBAED962611F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"057c2a900da944659bea1c6fa508a5ebed69f857","datavalue":{"value":"1241.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$701B40D3-CF8F-4717-8062-8B8B8F17A301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7361d68f6d03afb6ab543d8cb6edcc3acd4533a","datavalue":{"value":"10.2168/LMCS-8(1:2)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$7B82B3DA-9FF2-429A-A591-7F77F9EC3B02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$912506DE-33BF-41B1-9DF4-0A061D7FFCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$F5694067-26D8-47FC-964B-B1F579802423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$46823654-34AD-477A-A177-DE44569A832B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881068$E4198CC1-E3CF-46F5-9505-2A73F5F75F20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c8d577263e91ec13053ed1a79f976525dc02a2","datavalue":{"value":"https://arxiv.org/abs/1201.3731","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881068$9583DD5B-ADA5-4AC6-81D4-A392117A2A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$76146247-BE6C-46FE-AAC6-C6ED11F176B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$6AED2D00-4CE0-4CAA-B40B-50106D399F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$ADA40A31-8C72-4BD8-B889-A5BC590EFA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31896422e6d8800b21693e23b11279a404743c5b","datavalue":{"value":"14P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$85D25594-8636-43C9-9045-65655F2B25B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$9F1B89CE-1040-44E7-AE02-7642F6737D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b313c7671914f05680bd92736207de29e4bff244","datavalue":{"value":"6021319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$4C428658-0B52-4143-B60B-A1CDE960A13C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$968C020A-45A4-4304-ADDC-A5D8F69F54F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905c185b35495bc6c5c2ada6dd808940c7264ec2","datavalue":{"value":"\\texttt{Coq}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$BCEB6C3E-A475-4E6A-B1EC-0B0DEC62C5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$A0A559C4-2937-40F8-B7C7-04F7285D1F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8431efdbcc60556702255ba5d9485943311fab","datavalue":{"value":"small scale reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$CA7C0BFA-B726-4643-BC1D-F2F391958ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"133df42a52ac6f2472cb961ec52d3071c15bd07d","datavalue":{"value":"real algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$C544F04B-8FD5-4F9B-B780-620818C9F5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881068$0807AA35-AD49-46F7-880B-939E28F60383","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a38d0c3b215ef345f4b9f6556e53256642a6db2","datavalue":{"value":{"entity-type":"item","numeric-id":30969,"id":"Q30969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$CB518276-F89E-40AC-86DA-43FB4B1E49A6","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":"Q2881068$94D87907-67BF-458B-B0BD-34BFCA99327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$2974F98C-85F5-47C4-BBFF-BB8862E44BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881068$87F1A130-746B-4C72-AD5C-40E93B4A07C1","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":"Q2881068$E12C6F94-F05C-4B97-95DC-5D0C553FB462","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"613acf267f52b41973f1f13b55b13b8479c430af","datavalue":{"value":"W2022441937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881068$183771E9-CC92-49F3-A6B8-6006F535D50C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91415ed350cc9dd707db4b41027e60edf0083014","datavalue":{"value":{"amount":"+0.8305733799934387","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":"Q2881068$B20DB38F-3C9A-40D4-BF07-3426588CC2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345b8d111ccf35f17db68bc0571366fd7b5303d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce103b751bc50fe79d8b1bc22b7b787b7b96166e","datavalue":{"value":{"amount":"+0.8303031325340271","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":"Q2881068$836264F6-79B5-4CB5-BD51-DDDA876F96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ec920ab89881ea6f80de9366affd1a87504357","datavalue":{"value":{"entity-type":"item","numeric-id":2852041,"id":"Q2852041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7472a54fba32bf0875caad9e58f3e8fcecfd4039","datavalue":{"value":{"amount":"+0.8170783519744873","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":"Q2881068$3E8D0EB8-3013-4034-B0F9-AC670646F43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf36049823cf0a0132e9179cb0e74e04f41c978","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890c06eb13849ba30c8ac2d4fef5dd06d2430ca1","datavalue":{"value":{"amount":"+0.7853244543075562","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":"Q2881068$6850855E-D317-4EA2-9460-ECCB75A128DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a04bd870194a7ce7cbc875d3aa605ee882ab6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3431546,"id":"Q3431546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d405f96b523a2e89d23bb42c8a620481eb45e5aa","datavalue":{"value":{"amount":"+0.7850653529167175","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":"Q2881068$3C09D208-6593-4AC7-BD66-F6FB4C58A0A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881068"}}}}}