{"entities":{"Q2908499":{"pageid":2919224,"ns":120,"title":"Item:Q2908499","lastrevid":58054782,"modified":"2026-04-03T15:16:42Z","type":"item","id":"Q2908499","labels":{"en":{"language":"en","value":"\\(\\delta \\)-complete decision procedures for satisfiability over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076914"}},"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":"Q2908499$13C5CCD1-3FBC-4893-8C74-3A4F2B1B9E47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b90ee0d768150d6570e410619ffd1154f55f508","datavalue":{"value":{"text":"\u03b4-Complete Decision Procedures for Satisfiability\u00a0over\u00a0the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908499$3CF003A9-24D5-4AA2-8332-B18485ACDF22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba4fec9e6e591ba415bd89150ea4562cc4be65b","datavalue":{"value":"1358.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$5D546716-F06D-460C-B4B1-8250EFB01CF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52ac11af44fbfffa47cd6ce20d9175541d284c95","datavalue":{"value":"10.1007/978-3-642-31365-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$F23128E5-FD82-42D5-A93F-FEE3DEA18462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bcb9a2588cc97afe717f733e4166bb29392ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2272928,"id":"Q2272928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908499$DFC6C238-0E8C-4816-B18D-46359FF4430F","rank":"normal"},{"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":"Q2908499$1BC442DD-36EC-45F2-B3FF-17B7468A338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908499$63F9C903-2045-434D-A0BE-8825739C5F97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908499$1BB3F121-55E4-44C8-AE83-8F118560DE8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908499$8C81A083-3908-4C2E-8921-E66F01CE0832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16e02a5bfbbd90538ef262803de1cb64ca17b8c9","datavalue":{"value":"https://arxiv.org/abs/1204.3513","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908499$B90ED83E-1174-4A4E-800F-29D57FC0A9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cab789f522818dca3a376f294030d2a0ddadf85a","datavalue":{"value":"https://figshare.com/articles/journal_contribution/_-Complete_Decision_Procedures_for_Satisfiability_over_the_Reals/6493181","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908499$80F35118-8027-4A21-ACB5-EB23E46AE81E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$CF833B63-CA27-4C7A-AD63-85713FB2316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$B54C3DFF-F35D-4DB3-ABBD-E4A556E709D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8108c0f52c43b3c3f66da05a69ed526f6beb0bdb","datavalue":{"value":"6076914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$A5B8CB12-8527-46CD-A0F5-941316E40481","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908499$4E971D14-25A7-49A5-8FCB-71BD0737DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908499$89B24566-9201-42C9-BD00-548434FF32C8","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":"Q2908499$59A122D7-1121-437B-AE1C-AB1AC3B569C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc19f24d5d5e5cb51f8db758eaf29ec79b07b231","datavalue":{"value":"W1496681274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908499$DE3AF444-29A1-422C-A33C-E99113552AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552558bc2ba9f287bf5e09813ccd12e8395500bc","datavalue":{"value":{"entity-type":"item","numeric-id":6039404,"id":"Q6039404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7d8238609d26fa21146438b4d329560d819cce","datavalue":{"value":{"amount":"+0.8690413236618042","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":"Q2908499$60D9D588-81E7-494B-BB3A-0738E2171668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0679dd9b0232c16c71a91909f6fd92440626fc47","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8452aa5d9c9e21affa2b0e1a0ae3b326979777","datavalue":{"value":{"amount":"+0.8280181288719177","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":"Q2908499$C53A249C-6A8E-4982-B0D7-103CF88FB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5c22114c3a70901984afb502a18f2e56449d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2986807,"id":"Q2986807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae45b6b4449ad817506e252a329a3066abf9b20","datavalue":{"value":{"amount":"+0.8230497241020203","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":"Q2908499$8D0A3217-52DB-40F1-9312-CEE892B1A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af25b4621f953e0172da381b976932d70bb927f","datavalue":{"value":{"entity-type":"item","numeric-id":2272929,"id":"Q2272929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd669affea592df0e84921ded53c689c09326b4","datavalue":{"value":{"amount":"+0.7362714409828186","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":"Q2908499$98E6BABA-B334-4C59-ADAA-FB71231F1113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e215f86533eaa3eaf49a50b0753748c44692a677","datavalue":{"value":{"entity-type":"item","numeric-id":4691738,"id":"Q4691738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac80ef5384df215c065e121180a786be038e944","datavalue":{"value":{"amount":"+0.713440477848053","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":"Q2908499$C47AC35B-38DF-4CAE-AFC3-99A45337E433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908499"}}}}}