{"entities":{"Q2680994":{"pageid":2691737,"ns":120,"title":"Item:Q2680994","lastrevid":44619855,"modified":"2025-11-24T10:14:23Z","type":"item","id":"Q2680994","labels":{"en":{"language":"en","value":"Lookahead analysis in exact real arithmetic with logical methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7638593"}},"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":"Q2680994$590AFDAD-ECD5-4938-95D1-CA65C27740BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58418f24b693e8ca77fa151f83fca01829e8b1c4","datavalue":{"value":{"text":"Lookahead analysis in exact real arithmetic with logical methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2680994$C9A6DBB3-BDED-4633-AC0E-DC3E337632E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7744680bcd6bf7ea8747e700d9dc14ad9b525a7c","datavalue":{"value":{"entity-type":"item","numeric-id":2680993,"id":"Q2680993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$161C61C4-8CEA-44FE-B97E-89EFE4A11CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$48D74CFF-D225-4071-A798-75DC0092A6BD","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":"Q2680994$20A63BFD-9271-4E5A-8E9F-9DD3F377980B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66522f081101ad6908ea306f633c717cb55b5bc6","datavalue":{"value":{"time":"+2023-01-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":"Q2680994$C0FB2895-C821-46AD-A714-0D1646ACE371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680994$0AEDA50A-CD9A-4094-942A-8953718A8C82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e101bf62d8cd44d2b3236d4c804a67593cbb2ba","datavalue":{"value":"7638593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680994$7A869A30-BD3D-406F-9194-4E891B7CDE24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b22b0e1cb438e4c3769738e2d394f5479a22a9","datavalue":{"value":"signed digit code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$B4CBA7C9-AAF9-48A8-8407-56BBB3F1D70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$33CD8265-4B45-44B4-AD92-8404A0C54249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48bc1a6e81e929089d8d8611059a5b4f658bf4fc","datavalue":{"value":"lookahead","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$2B1CC31E-00F4-418E-92A8-37520379111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$D911F00F-3E56-4F24-9C04-7DA825225C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$D4AF1651-E43B-4CB1-8E7B-32071E268645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123c5b88ff16239e88764d08c6e7a0e56fc682e0","datavalue":{"value":"minlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680994$1E6B4428-4812-4177-91E6-D07373DD13CE","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":"Q2680994$09F89C26-8EC7-44A2-8B71-51A4FB63EE1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad257bead5e0e960473ddcf2424f50ca283cc682","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2680994$F69AFBC0-5D64-46AF-9E97-D193CA45837E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38747a84555364265cf7b04d27c7934edd8a5f5b","datavalue":{"value":"W4304084005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680994$C9B84148-39E3-4DD8-8F81-01F8E0294B94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b0f593cdecd0980a7a33bf6b1e8732a41b3115","datavalue":{"value":{"entity-type":"item","numeric-id":4989402,"id":"Q4989402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$435AA640-EF7B-4A5A-9B1B-4D51CA33A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bb06f91bda940870f1442044586cf4f97c6063","datavalue":{"value":{"entity-type":"item","numeric-id":3874169,"id":"Q3874169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$62897A75-7D73-4E60-8E1A-137E63B48550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edca5f1b7cbe413037278593fddcc0fdab39989","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$1FE8A9E3-FC15-41F5-8FE1-8ED5714D693F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b6a23082bddb50572b09dfeacb47466c62033","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$F19969AD-0EB1-4C48-B826-6C3902C3F79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$BCCE8208-173A-4D34-8550-DC9EA4A07E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$DF08C7ED-EDA0-4737-AD29-C39CBA8B9FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5535cf4be6e9985903d73b8af103848456d31d","datavalue":{"value":{"entity-type":"item","numeric-id":5435637,"id":"Q5435637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$3C973504-459B-477C-A391-2609DCB11659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c6305c0bd1610e43fbce2edb114486765afdf8","datavalue":{"value":{"entity-type":"item","numeric-id":5221791,"id":"Q5221791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$EFBDD1AC-4151-4D02-974F-7DD6F61E164C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68ae732e9acb12a69eac80ff261acb2c905ae93","datavalue":{"value":{"entity-type":"item","numeric-id":5756135,"id":"Q5756135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680994$B5FB5054-6DDA-47D6-BB68-60003F52603C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a298ea1f0d2446dafd1e5a42d0537505c7941713","datavalue":{"value":"10.1016/J.TCS.2022.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680994$BE9C01A3-E51F-4252-B22D-1DD3A5B35B8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c86f815e2410f00afdf6f0a6fb41603ce5f36ac","datavalue":{"value":{"entity-type":"item","numeric-id":4989402,"id":"Q4989402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524e14e4301da5d86de87d015cd0e8d1de29cdc3","datavalue":{"value":{"amount":"+0.8792306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$A5B9B62D-8C79-4986-9663-48F19DE4BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee044979f913939eda37155932ec26acdd31198","datavalue":{"value":{"amount":"+0.85138035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$B5828980-1F29-4BA8-8727-BB65B4B1E357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373567546d117d29407f4a622d9b55b2ed57d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":1779564,"id":"Q1779564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16299bb05ff9a89a316ad28f89eff5a5db5c0e60","datavalue":{"value":{"amount":"+0.8504554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$4F5D5424-3EDC-4718-BD04-341B7B09FF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15228657d37a97a642337cdf95beff22b06dcd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b37ef22ee506eb05ec7ef117549fe1179c76c1","datavalue":{"value":{"amount":"+0.84624326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$AEC1D780-0E79-47F8-91D8-0462A784A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397f77ecb21e6a4af19f8509000ab88d84821a84","datavalue":{"value":{"entity-type":"item","numeric-id":3434489,"id":"Q3434489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e099d17121b8b4420c34ba7ea6afeb664701525","datavalue":{"value":{"amount":"+0.8458217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$ACAC2EBC-3CC1-4DFD-A101-9310325541EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ba5dd7b9fa785503dc1bb04768f48d452da45e","datavalue":{"value":{"amount":"+0.84283155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$4ADEA723-FD45-475E-B4B2-5C05FFCB86B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3a3bd250d70911a393ec7a6bcbf0cbc47bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1929363,"id":"Q1929363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e00e2d2d703c39f7b289b1d031dcd20a403c198","datavalue":{"value":{"amount":"+0.8424175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$DE4E141F-CE56-4FB6-A287-F31A93F214FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02367157a566d53e7d26cb124bfa14c7623c01a","datavalue":{"value":{"entity-type":"item","numeric-id":2847781,"id":"Q2847781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64dd69c0e08d4434da543fc7bdcc8673f7e802d2","datavalue":{"value":{"amount":"+0.8422407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$3C849F1E-2F5B-4EE1-A25E-331639F53A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bec7a8ad1d9f744be1bb8422fec8fe2ef4da29","datavalue":{"value":{"entity-type":"item","numeric-id":6111737,"id":"Q6111737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd22ff20cb1ff610f8b393ba4fb717133b0e0c80","datavalue":{"value":{"amount":"+0.8421571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$5A2CA782-22FA-4834-8A5B-48718F300470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2118f00560f38fdab08610037d1d41ae01cc3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26767013c1006c8eff4ec09e5caec7d27d3198ec","datavalue":{"value":{"amount":"+0.8419154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2680994$7D7552EF-6A9E-4E30-8359-DB11A20C8CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2680994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2680994"}}}}}