{"entities":{"Q2986807":{"pageid":2997531,"ns":120,"title":"Item:Q2986807","lastrevid":58088595,"modified":"2026-04-03T18:26:02Z","type":"item","id":"Q2986807","labels":{"en":{"language":"en","value":"\\(\\delta\\)-decidability over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718090"}},"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":"Q2986807$570BFA8B-FD46-43BC-9A59-E53ABB4753EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6500703e3ab55c820d3bb36c76b2291c4314ef","datavalue":{"value":{"text":"Delta-Decidability over the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986807$7C677781-AD4B-4CEE-9B6C-24E5E87B54D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f24199209b88aea9a89fe34e6d30c56990046921","datavalue":{"value":"1364.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$BCA671B8-3742-4414-9E0C-2A3A31C6ADC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be942abca1cf00558deca24e05924802deaba0fc","datavalue":{"value":"10.1109/LICS.2012.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$E4FA7B2A-95C5-4185-A057-28F40AF1DB4B","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":"Q2986807$1A077583-F808-43B8-BE88-717088133798","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":"Q2986807$B73BBFD1-8495-4F4E-A88F-5CEBD742632A","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":"Q2986807$7623FD8C-4614-4910-A116-2AE004843B8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986807$716421E2-B5D0-42C3-81DC-657DEAAC75FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986807$D9682BCA-BFFE-4DC9-A0E8-9547CD38EFCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae29737dd29ed9543b09000a3935063561886dc7","datavalue":{"value":"https://arxiv.org/abs/1204.6671","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986807$1E3D17DB-3362-4585-B71A-58DA33515D12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$C1EB07A8-DD11-44B7-9FD2-19CED6BCCF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$C87F4CC2-BAB6-4C78-97F8-7C098688AF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$6A68DB90-386B-427E-AB67-80E5EA766C81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29d005678204cace5c3aec14efa3d2488d0c84b1","datavalue":{"value":"6718090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$D4157FD5-76A6-4BAD-BEA9-73B92911009A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986807$4D467C9A-C21D-412E-B7DE-0232B6AE56DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71886cdcc91284b3f032c5df03618a287cceca16","datavalue":{"value":"first-order theories over the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986807$501126F7-DE6D-4DCD-ABBC-1EDAF7211AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929dbb98303de67ed78e9b5b31847efe3d08d1e6","datavalue":{"value":"computable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986807$D29BA85D-D8FF-461D-9619-F39130A921DC","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":"Q2986807$8BB4F7F6-3847-4FC7-9945-F79B3561AE0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26ee018032b79419768abd19235b6777cb5a603f","datavalue":{"value":"W2128612513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986807$27D167A2-B05F-4E5A-87B4-CFE3D216027B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2a11f5d93022e0138393dfe782c22c523d0be8","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"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":"Q2986807$BC41B3C2-E34A-4B2D-9C06-4AD47B7DCFFF","rank":"normal"},{"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":"29ef23a1a72e71130b9d933c6670d2376406f6d6","datavalue":{"value":{"amount":"+0.7899488806724548","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":"Q2986807$EA2C770E-8756-4995-9250-9C95E79A42BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db8b74cee918403f8c731cc01d4dccac6468a11","datavalue":{"value":{"entity-type":"item","numeric-id":1823233,"id":"Q1823233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6f455da428f06ef8277e2b791b43e303eb27b4","datavalue":{"value":{"amount":"+0.7786208391189575","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":"Q2986807$0973FCDC-287F-4872-9655-C6163F4D8564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c8b9486172f18796ef42a7d276e9352c22524f","datavalue":{"value":{"entity-type":"item","numeric-id":2013319,"id":"Q2013319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f216ee02e85dbfe54279c782b482cac12bed3","datavalue":{"value":{"amount":"+0.7739055752754211","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":"Q2986807$06BC5FC9-101C-48DC-9492-1A0D6E7DB8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489335fa91ea183bab908748e20eaa727fe2f3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1271171,"id":"Q1271171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9799787d9b72e7ff96b3c4238b1c3147e7d543f7","datavalue":{"value":{"amount":"+0.7638509273529053","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":"Q2986807$D2E9F090-999E-460B-AC51-853EBB6C9BBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986807"}}}}}