{"entities":{"Q868941":{"pageid":870789,"ns":120,"title":"Item:Q868941","lastrevid":64962771,"modified":"2026-04-11T23:24:07Z","type":"item","id":"Q868941","labels":{"en":{"language":"en","value":"Quantifier elimination for the reals with a predicate for the powers of two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129782"}},"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":"Q868941$A7D0841C-F0BF-4B7F-8DF1-95E09827D699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e5b98b0728d4b995027a8d3ab31885a76d9071f","datavalue":{"value":{"text":"Quantifier elimination for the reals with a predicate for the powers of two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q868941$B08A274A-43D3-4B83-BAA0-53CC4A219BC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06bec4442bebf4301327fa217f6e5f071c8b5b6b","datavalue":{"value":"1113.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$724A8F32-CF39-4E80-BEDE-E240F1FE2B88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$FF4836DA-BE35-4636-95AE-F7656700BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aadb9ba00995cdcd70ae231de0bc5d8142faf673","datavalue":{"value":{"entity-type":"item","numeric-id":478557,"id":"Q478557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$6449367D-F66B-4C7C-B45D-F6275B0FCFBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$EFEA8FF7-5970-45B1-9DDE-63C5C63F75CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a3e704c51126050d068b3f11b9ffa0001836f09","datavalue":{"value":{"time":"+2007-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q868941$06561F8D-B492-4EFD-8D24-54010F52D9D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"831fa2f09fe17f708d48a68409240f032d911484","datavalue":{"value":"https://arxiv.org/abs/cs/0610117","type":"string"},"datatype":"url"},"type":"statement","id":"Q868941$6283D5EF-FDA6-4345-9351-4EA279F7C65B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$5033ED73-2CAB-4F32-BECB-BEC92D963A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$2EF5FAB4-8589-428A-AE75-B2814E6AF41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$5B22CD35-A55B-4DC0-ADEC-1B3DCA6396F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$10A7B6C4-4FF1-4527-B0CD-7741DB513DA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7af39af3c63bb5c8c38a650c1396fbec01b2756","datavalue":{"value":"5129782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$03303B94-F060-47A3-89C3-FA6CDABBA054","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q868941$825C00F7-3116-4185-9662-AC019C6148D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q868941$A8FD02EC-C6EA-455B-9D2D-611663518A82","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":"Q868941$AFC901BE-5EAC-40BB-9777-8822F4915A84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6178e5f7ecbbd30764f864c951c68e0a7b0feeb","datavalue":{"value":"W2126527995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$52637E69-3920-45E2-9D44-306D4EFB5652","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$E37B8431-4F74-456C-A268-12511AD6CFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95127141592e878799f1620a9e20ee4ed2d5aea0","datavalue":{"value":{"entity-type":"item","numeric-id":5906950,"id":"Q5906950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$B06E4E94-C362-4A9C-97D0-1974E852C4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$CB5FFF43-F83B-4B59-9C8A-3273399331F6","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":"Q868941$BC6C8E6A-CA40-4225-9002-0E6E70A763EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a07d74386c8af97b41c28d9db66d6bb52703db","datavalue":{"value":{"entity-type":"item","numeric-id":1094412,"id":"Q1094412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$A65E5929-E290-4296-933E-0699E7FFC8CA","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":"Q868941$483B9C1F-F60D-4AC6-87BD-B35D1FAC210B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff23b79d7a1d71d4f6cd9689fdeb16e7a9e3aadc","datavalue":{"value":{"entity-type":"item","numeric-id":5481487,"id":"Q5481487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$C9338B76-9072-446A-8080-4166B3957FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$486E190A-9933-49FA-884B-F4F1C899A953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$598BD81A-0531-4F7F-9DB2-3F29E2E81116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fac77522cbec499cc3a0d7da7718d7a468a645","datavalue":{"value":{"entity-type":"item","numeric-id":5718667,"id":"Q5718667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$B5DC2FB3-748E-4468-8B93-F4F5ED39EECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$50BEC0FD-FB10-4CA6-8DE0-D4356C5B4411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852df03aed0eca0768b9308a9553b27c39fad827","datavalue":{"value":{"entity-type":"item","numeric-id":2711810,"id":"Q2711810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$52C3CF53-9AC8-459E-902D-E1BAF0758716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73915bcd97bc7bb9ece7f65069678107a79a338","datavalue":{"value":{"entity-type":"item","numeric-id":753494,"id":"Q753494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$ECB51DAA-C151-4C95-939A-95123C920231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef87c90b25e8091918151481848c197b18b9425","datavalue":{"value":{"entity-type":"item","numeric-id":4226937,"id":"Q4226937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q868941$5A65F8CA-5E7D-4360-8970-527FA7F09ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8a8e8749dd0bb5a0dcbb9816cc3a1d19208e82e","datavalue":{"value":"10.1016/J.TCS.2006.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q868941$6309C106-4BCA-4EA4-8179-2A623621F69D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502cf8344cf849f9e1e42147b4f1d3dc12c1aaee","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c359fa4d6396f9e5f8b17a902e1cb824e0a8ca","datavalue":{"value":{"amount":"+0.8004427552223206","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":"Q868941$12AFDEA8-87A2-4E9C-BDD8-FC260B62031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14922c1d16519187950f7daad5351ad9092fcb46","datavalue":{"value":{"entity-type":"item","numeric-id":1094412,"id":"Q1094412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c18716392875ccdb05ed5228fc14d85bd1eb62","datavalue":{"value":{"amount":"+0.7729853987693787","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":"Q868941$15F87162-A26A-4BA5-B67F-414F69477622","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":"a0c8e4d22732c4ab5f03efea5448d3ba8ae9b0d0","datavalue":{"value":{"amount":"+0.7726471424102783","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":"Q868941$EA08BE87-A533-4C45-9F5A-D9BD24BEE213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c8e4d22732c4ab5f03efea5448d3ba8ae9b0d0","datavalue":{"value":{"amount":"+0.7726471424102783","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":"Q868941$142F6C8C-30AA-47CD-9EF2-14F131BE52DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52a0aeeba673593289023f313524c8da7233168","datavalue":{"value":{"amount":"+0.7692146301269531","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":"Q868941$28BAEF64-9B4F-4D89-8820-9E0B317B5734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination for the reals with a predicate for the powers of two","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_for_the_reals_with_a_predicate_for_the_powers_of_two"}}}}}