{"entities":{"Q2945641":{"pageid":2956361,"ns":120,"title":"Item:Q2945641","lastrevid":52344284,"modified":"2026-01-22T09:47:18Z","type":"item","id":"Q2945641","labels":{"en":{"language":"en","value":"Affine arithmetic and applications to real-number proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481871"}},"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":"Q2945641$50032B64-D4A5-4106-92BF-F04367A6DA56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3b5604becc99b6e8a3eeaf4a8612785d71a5ea0","datavalue":{"value":{"text":"Affine Arithmetic and Applications to Real-Number Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945641$9AFA8C14-333A-46D8-9286-8D3A5457CF17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e33b79f0cd2c149bb9e29d0c0fe5e34b3c11ddb","datavalue":{"value":"1465.65042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$C408268E-730A-4096-BEC7-5EF9CF204A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5128da3907e461b78dee77a3b7d5806ce3f6096c","datavalue":{"value":"10.1007/978-3-319-22102-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$92CB6764-F2D7-4231-950F-9CBC62B5B892","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717696dc5228c230c0018b53335701b99134d0ec","datavalue":{"value":{"entity-type":"item","numeric-id":424730,"id":"Q424730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$5E696A78-D72C-4BAE-B806-8073782FB3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1684e6d1ab96f8ce065c335ada648ad924c8214","datavalue":{"value":{"entity-type":"item","numeric-id":1791189,"id":"Q1791189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$98DB7EEA-5A05-4512-976C-A45C625BCCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$8EFB504D-4D82-43AE-9208-C66A92D8DEA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$83079536-ADFF-4F15-B0FE-362E4F95CA05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945641$B8BFEDE4-993B-40B4-A7F2-0D3A27EC199E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$BCCD85B2-E1F7-4808-A9F3-7F17F928E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$6C55D5AD-C9F8-4F63-9B3D-452CCB5F137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$31E14DBB-13CE-4CC7-9DBB-0C6A60F4EC9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b70a3e8909b1ef6708da60f6318ee2bcb21de747","datavalue":{"value":"6481871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$26497B6E-B322-4FCC-BD88-0E81CA73E219","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$DF2CD243-0B97-44F3-B769-308959FE91AA","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":"Q2945641$301BDB6D-A57E-4DA2-9BA9-9A4EAFBD45A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a9ab529de528e1df6b6ade1ec122bb7adda9879","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945641$18B355DD-4123-4A4B-ACAD-71CACEC2D258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d839506ce0fa60138d4d3df28f198811f3f070c","datavalue":{"value":"W2143848809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945641$C609E0A9-18C0-4D21-9A18-0CB190DD3B53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecc4a9847b1757b816a66a2c8d99f5449bc756","datavalue":{"value":{"entity-type":"item","numeric-id":352952,"id":"Q352952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$6062E595-B314-4A9A-A801-C31B852A30E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230b7fc18a749f4eebf9b83b210fe499e9046d79","datavalue":{"value":{"entity-type":"item","numeric-id":2398899,"id":"Q2398899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$184D9D56-2B5C-44D3-803A-DD2CA993F369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b482c6db8c5f464e19abc785decdb94a930d517","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$CABB1D6C-6F80-47DF-BF0E-2EA87DBF6482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$69F3B840-009E-42F8-835D-ABA958758B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cbbffae41c0a1ed2581b6b84f03f410747b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2387756,"id":"Q2387756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$1DDD00E3-C82F-495E-83E5-CF5BD1D2A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6b32b374431302ebe5cd65882007eb419482ae","datavalue":{"value":{"entity-type":"item","numeric-id":3612661,"id":"Q3612661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$ACDFDEF9-EFCA-4F76-B491-59A7EC6DCA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8b99e79ed90c6f2684610001c35bbbe0c9aab5","datavalue":{"value":{"entity-type":"item","numeric-id":3840971,"id":"Q3840971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$CE462B27-BBD1-44DC-A1AA-466267654F2A","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":"Q2945641$A38E2D60-25A4-45D8-B5ED-27A501F1013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a544f201c6283b7933810872cf2a33339cdad9","datavalue":{"value":{"entity-type":"item","numeric-id":3605131,"id":"Q3605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$CEAC6D68-E32B-4382-AE9E-CBE68103DC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$4F5A6A6C-C683-4973-9821-3CEBAD5C18A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127af29bdf67d6ab5bbe498c2f4fb686736fbf06","datavalue":{"value":{"entity-type":"item","numeric-id":436402,"id":"Q436402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$830825B7-6139-4A2D-8F31-1ECC71CE90EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd0b49f3a3d39d9834ec638bc13c03b12df487","datavalue":{"value":{"entity-type":"item","numeric-id":5200112,"id":"Q5200112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$8C844E8F-9685-47BE-AA04-0CB61AE1BDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be98bbb92fdddedb5b0f8824d9319f0fd06d781f","datavalue":{"value":{"entity-type":"item","numeric-id":4941400,"id":"Q4941400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$C08AF7BF-B0B3-49C4-A68F-FEBE130C5BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90726541b25e13a9387f63cd342772f514963961","datavalue":{"value":{"entity-type":"item","numeric-id":4512818,"id":"Q4512818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945641$6C203869-3F1A-4792-BE2F-326AF8715DD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b137c1442b6cf6e68520340002a7c44e9f61312","datavalue":{"value":{"entity-type":"item","numeric-id":5390737,"id":"Q5390737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f7b590d1c1035e5f6a3447c1e452b0197359ad","datavalue":{"value":{"amount":"+0.8207064270973206","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":"Q2945641$AC8C108A-03AA-4BFA-8FE1-D497CD7B43D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af6f5eeee298f88f38fd7a9af306e56fef9586d","datavalue":{"value":{"entity-type":"item","numeric-id":4941400,"id":"Q4941400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9d3172fd56d9a3956e88b8544eaa015e130e70","datavalue":{"value":{"amount":"+0.8123694062232971","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":"Q2945641$C38AABB3-1FC1-4BB4-B127-BEC5FB69CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bdae9f731c0e1145ebd1c0e2604117a0993d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477656,"id":"Q5477656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4318325c12af2754ef53d72f068989d634ed5b6f","datavalue":{"value":{"amount":"+0.8123689889907837","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":"Q2945641$10B53871-F822-4C13-AA49-AD09B2B459B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a96a509e2ed2c94c1257737028e5739fd1965cb","datavalue":{"value":{"entity-type":"item","numeric-id":2387756,"id":"Q2387756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0539dff0b7882a39864eef8040a84b4c4e199b","datavalue":{"value":{"amount":"+0.7926260828971863","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":"Q2945641$D4D1F479-056A-47A7-9497-883C0EE335C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470f9f7684c1dfc5eb04bac92aa78095ad543232","datavalue":{"value":{"entity-type":"item","numeric-id":1853641,"id":"Q1853641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb60b75922eff0dfcfdbd72de081cc1667635d60","datavalue":{"value":{"amount":"+0.763475239276886","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":"Q2945641$37A416A7-EAA0-45D8-8945-4B2DE4B8C71A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945641"}}}}}