{"entities":{"Q5740678":{"pageid":7770230,"ns":120,"title":"Item:Q5740678","lastrevid":41876844,"modified":"2025-05-09T08:06:38Z","type":"item","id":"Q5740678","labels":{"en":{"language":"en","value":"Program extraction in exact real arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606962"}},"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":"Q5740678$BC6082A0-75E9-4C9E-B50C-D318A80D8184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfa5eb4fce8976ccc19153e6de7960ef238ab9d7","datavalue":{"value":{"text":"Program extraction in exact real arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740678$B4E2B24E-0EE4-4853-985D-7D037776C3E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66deb586f929e2c5c9f8a34e22fcf7e183dd31f1","datavalue":{"value":"1362.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$F8441CE0-BE6B-4584-84D7-84C75F361339","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ab13595923eba0497b1084b75fc2528aaead8b","datavalue":{"value":"10.1017/S0960129513000327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$0E25C502-FBE1-4021-BDB7-6A56B876B98D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e876e8b0b62c093be1b48036fdda4e6051620765","datavalue":{"value":{"entity-type":"item","numeric-id":3090882,"id":"Q3090882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$AE49E207-136C-43DB-AC85-514469EB188D","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":"Q5740678$A896BE5F-D152-4EAB-AEE1-1F56193BF546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$42C3D058-33F3-4741-8EEA-B5310A14D9D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740678$57A8509C-B760-4E47-AB6D-BAF4AEB53F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$D94B7195-BEAB-400F-A06E-8D52C009619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$3A972EA9-B8F5-43B1-A77E-8C06221CF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$31F25001-43C7-411F-A44F-304380269842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$6D743DD5-E8D9-466A-9A56-335C89C99397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$9F7D33F7-414C-46DB-BDF7-96FA6B16AA92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6fa3e110304dd08921d99892c3c2150add43eab","datavalue":{"value":"6606962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$DEFA2305-5223-4C93-A41E-9502DB8BCFC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$29D41786-7657-4AF2-B6AE-72B41F75ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$DFB2E84B-F3F4-49F5-A80D-84422C5C292D","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":"Q5740678$E90871CB-1A77-4986-A11E-B5BEFFB43065","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db64b754d504221efa44df0c8834fcebd5b479b","datavalue":{"value":{"entity-type":"item","numeric-id":1158755,"id":"Q1158755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$7444AF96-A28D-4A7F-B1D3-E9730DED3097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b360be5067c0308b812eb91efa859135d17eab","datavalue":{"value":{"entity-type":"item","numeric-id":2532272,"id":"Q2532272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$B64D3CA8-D933-4505-A042-964147DF4D32","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":"Q5740678$C23F14D6-631C-4986-9CCF-2375F2706FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6002ecb414042659e38646fe1339e58d70bf52f2","datavalue":{"value":{"entity-type":"item","numeric-id":3576189,"id":"Q3576189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$E2C36752-F9BA-4BDF-B8CA-68CE22B2468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c5e51d812eea53dbe00a3fc8adf68e10e25f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1015381,"id":"Q1015381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$A62912A0-7D02-4657-931B-633BE9261384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$0EAE9958-C567-4797-9690-9772B21656D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff636533b987e234adc4fd4061c37871085914","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$6D3788B1-D425-4261-B782-4BE866CD3557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$A999DF89-BC94-472B-B3AD-6A9DF2FE6E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc67f4df0f685e08e46a27070f76b58928a24e","datavalue":{"value":{"entity-type":"item","numeric-id":1401941,"id":"Q1401941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740678$F762B3AF-56C5-4BAB-B4F0-658BD04FCFC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adc77fe6276fa9ae21d2c57d25bb6887b563c360","datavalue":{"value":"https://doi.org/10.1017/s0960129513000327","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740678$73527C79-EBC8-42C9-BA46-180673D71119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c5c16c63175b63b428343895b98024f01a3f9d","datavalue":{"value":"W2144130305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740678$F550AAE5-D442-4033-82AA-BA741C337CD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00b0b942310a027109a9d5f30966bef6363432f","datavalue":{"value":{"entity-type":"item","numeric-id":3613309,"id":"Q3613309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa92b4c38d28c839440a4c99110fd98b79f7114","datavalue":{"value":{"amount":"+0.8909509","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":"Q5740678$A17EA9EA-FCEB-469A-9DD5-CC26CA10DA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359e306fdbc7bd5f0774a77c8bc2310817359c2a","datavalue":{"value":{"entity-type":"item","numeric-id":365682,"id":"Q365682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0137842c3b6879a20f0cdbac514f5d5b0922c0b2","datavalue":{"value":{"amount":"+0.88667643","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":"Q5740678$C0D9C2F3-7986-4CFC-94BF-7A916D95233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c082f30e6a5450bc8a15a6bbbe7a816be52b826","datavalue":{"value":{"amount":"+0.88416785","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":"Q5740678$D208C52A-F63D-43C0-A24B-9EC28A4869F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac440234bc7126bd1963a74389d5ddb43e6c842","datavalue":{"value":{"entity-type":"item","numeric-id":3608421,"id":"Q3608421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fade82309d1dc371e38fbda78a9902de38e860be","datavalue":{"value":{"amount":"+0.88332224","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":"Q5740678$DA98B514-5D39-4663-BB34-2A6CF84A1604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec4a20e39cb469ea537165afb621af7169d4770","datavalue":{"value":{"entity-type":"item","numeric-id":6064277,"id":"Q6064277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5df8113f7d08354b7e2bd724f0385df20078150","datavalue":{"value":{"amount":"+0.8801851","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":"Q5740678$7755911F-0E4B-4F41-85F7-FDB29FFF0EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e6b97beab6b9c0e4899c288c9d56b6ae605b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4036572,"id":"Q4036572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4bfbf448d9a96ca67d937f99d0950d361e7834","datavalue":{"value":{"amount":"+0.8797928","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":"Q5740678$34C03F01-63C9-4AA9-BEAD-8D03B227786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13c8355df2c2ee6cf641c41615ae6ecc5f0661b","datavalue":{"value":{"entity-type":"item","numeric-id":5394420,"id":"Q5394420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036975a9b84b91518a106ddfc714d5d5cdf8e8a2","datavalue":{"value":{"amount":"+0.87865543","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":"Q5740678$F55E6D43-8B77-44C4-BB7C-170FD3A14265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a301e16297b2df066653a026cdf91612b65fcbe4","datavalue":{"value":{"entity-type":"item","numeric-id":3079924,"id":"Q3079924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c786b7de42e0e05f6510222524fbe7787462c35","datavalue":{"value":{"amount":"+0.8767649","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":"Q5740678$35E21F60-CBDA-4E4E-B14E-F28023F85C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9152ec9adda1d6ca91f0619412e3b33aee49a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3559767,"id":"Q3559767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cb55ddb9615f5e06370cdadde03e17c044cfa2","datavalue":{"value":{"amount":"+0.8750564","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":"Q5740678$1B9BCAF6-8F43-40FD-8125-BF5689399342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4e9f165d8e7081b314ba650364565840fb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2876077,"id":"Q2876077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4975cca1e97bcab57e14d58b75f86cee4af4250d","datavalue":{"value":{"amount":"+0.8742044","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":"Q5740678$34F29337-DD76-482D-B10E-A49624617A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740678"}}}}}