{"entities":{"Q2148797":{"pageid":2159540,"ns":120,"title":"Item:Q2148797","lastrevid":55411963,"modified":"2026-02-17T15:49:59Z","type":"item","id":"Q2148797","labels":{"en":{"language":"en","value":"Axiomatic reals and certified efficient exact real computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547745"}},"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":"Q2148797$EF49E1EF-F177-4945-B9E6-0820D9342263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04410d1adb341b23f9f9e01907e2e798d7515431","datavalue":{"value":{"text":"Axiomatic reals and certified efficient exact real computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2148797$20FB7F62-F112-4A36-881A-A470F79C3B07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22998557aabc842dc46fd820f6142ac2ff61f29b","datavalue":{"value":"10.1007/978-3-030-88853-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148797$191FB0C8-C99C-4297-AD45-F173DB08DB72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f7a423d7ec55ba984d2e14faa1ff96597d329a","datavalue":{"value":{"entity-type":"item","numeric-id":254163,"id":"Q254163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$ACF38997-0991-4DE8-96BC-F0D384D84686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cdee734ffa77906c36b38f540e8794957a5d4e2","datavalue":{"value":{"entity-type":"item","numeric-id":831999,"id":"Q831999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$834EECEB-A37F-4E56-82FF-03E7861914C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a630879ccaa4c21630472591755ba89df50ec18e","datavalue":{"value":{"entity-type":"item","numeric-id":260175,"id":"Q260175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$951750FA-6D53-49D2-B987-F4DF8DCB5224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2148797$427277E0-9B72-4591-B779-711F9E60B345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148797$4BA85602-29A8-4681-A81B-EB899E1CE10C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9706333af09f77b3a24576a01b9dd18649f5f1ae","datavalue":{"value":"7547745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148797$E2194AAC-9FE0-4B33-90AC-9A5DE4892DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d759d48ec4ae609a46c2c3b612bebd8f4939d92","datavalue":{"value":"constructive real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148797$3B564B24-7927-4EE6-96CC-D36008204DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148797$1D30FF9D-E3A1-4867-823B-7F76DDFB6648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148797$C5A27D06-BEB7-4DAF-BC5B-E3660AD252EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2148797$210DAD88-1A1C-4EEC-B3D3-0BCD80E0C7AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c78bdf0926b89a3e72d47cd1ab227eeb1025a90","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$C302CCE5-A500-490D-9DFA-CA8F8D4A8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$13247D2D-31CB-426D-BA7D-B521B8B9319C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$1496E7E2-8FC3-4218-9246-9DD91F4DC80F","rank":"normal"},{"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":"Q2148797$1C0CE305-A0F8-463D-9268-CBF4E9260E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5138aa8b5d1aa4fce219e8bf51cff1589867ec5","datavalue":{"value":{"entity-type":"item","numeric-id":20769,"id":"Q20769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$EE012EA9-D636-406A-9E37-8415A634F6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$11F186D6-775E-417E-A238-4FD8FEB17DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$C48FA655-1805-4EB7-AB8F-0480D7DDDDFE","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":"Q2148797$EA5A2A80-57B4-4C7D-B1AA-331DC60809A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c0b849fba48fbcae42904cb995e9fbce2295bf7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88853-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2148797$026EB349-42AD-40E2-8F97-F28D3520CCA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb76949a138b5ff2351514ae30045682d0032741","datavalue":{"value":"W3200130299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2148797$58BC50F7-7F45-4D9E-A1D2-AFA8695D0137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7fdabd5a856f8e1d09080b76afc7309a50a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3637269,"id":"Q3637269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$D548DCA0-3BAD-4695-A3E2-19F49BC073F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$EB173B25-53D3-4F55-BFE0-E4A9E8E620E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4eaaffe954537216921c73f393b9d06098a9c9","datavalue":{"value":{"entity-type":"item","numeric-id":1279912,"id":"Q1279912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$91DCF442-3ABF-4ECF-AFDE-BB54801D074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$7D206426-A33E-4F91-818F-350840D2E8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4726a5d4743e198a171b14042c89ae025f0ef064","datavalue":{"value":{"entity-type":"item","numeric-id":4243908,"id":"Q4243908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$20373672-6711-4C83-B08C-1AA287230A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$FAFE87F4-CA8B-42C5-925B-AAB6B5EB0591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e55698549203a710dc73f53d8efd7aa10bd9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1799286,"id":"Q1799286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$D88D34C4-433B-4A45-8909-F89CC7738C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4af769b87d49a62b854d9114364a61655ea375b","datavalue":{"value":{"entity-type":"item","numeric-id":2330561,"id":"Q2330561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$5C94751D-AB18-48B0-8590-374E7DF462DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$6BCB7358-D9A7-4E26-94AD-3FFCCB91170A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1484fc6ae5032c0644f4322db26bf86d8db0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1245217,"id":"Q1245217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$D148DD44-A5AC-42C2-B2F4-7B13F6B7C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$5AA1C5AB-811F-4B32-9402-59B37A0A37DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$B46830CB-9960-4F40-AAA3-8C366DD9CE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5182c5f84b08fd5162da8260189a7d667355c","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$1422D634-E2E5-4D89-B146-A629B22A78ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1374495af3930b21180042cfbcf82ed4d49a9f36","datavalue":{"value":{"entity-type":"item","numeric-id":4499143,"id":"Q4499143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$3EF9E37E-8105-47D5-A852-A74BFDCE558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da60596735b1de63e9cc7cd04f41b24092deab21","datavalue":{"value":{"entity-type":"item","numeric-id":4787859,"id":"Q4787859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$F83FEC5F-D0B7-4F37-9017-E59CFDF1AF4C","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":"Q2148797$14CB22AC-5E90-4E98-89AD-07D8155ABDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$3E8FE88C-3965-48E1-94DE-50D40CD317F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4168c7403b3e6139601a0e087b810e4ec38e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4989411,"id":"Q4989411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$75C2E9D3-EDA7-4036-A136-6AFFED0F7072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$1602427B-B10C-45EC-AEBB-58842789BF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2148797$205E3627-9D54-4053-AE60-F54FE5DCDE15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536aaabbc3eccbaf0ebb9ab560ab8164fbe5b818","datavalue":{"value":{"amount":"+0.8456293940544128","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":"Q2148797$CEC07A93-8B71-4583-A502-988B68939F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8570b53c061bb8e760410299465c633b887606","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dedd5e79589551951ba038182b8a3ec4c49bdad","datavalue":{"value":{"amount":"+0.8315979242324829","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":"Q2148797$40C95294-ED70-40AF-9C99-80C40F94ABDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a04a7d32f519eaf22a7a340c5c03b31a5a17f1","datavalue":{"value":{"amount":"+0.8251659870147705","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":"Q2148797$27F570D8-2D2D-463B-9DC0-EDCC6DAF1110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9862eb7bc91c91470e3dc5ccc5a031b2e0d6b729","datavalue":{"value":{"amount":"+0.8070921301841736","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":"Q2148797$49E0FDCA-5BA1-4AEF-B187-9D2193B4E5C9","rank":"normal"},{"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":"2f27b2d050a9ce2db10ac74cd195cf5ffffe32cd","datavalue":{"value":{"amount":"+0.804351270198822","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":"Q2148797$9826D2A4-518C-434E-BDC6-5A57F1E0A0CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2148797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2148797"}}}}}