{"entities":{"Q5425455":{"pageid":7455029,"ns":120,"title":"Item:Q5425455","lastrevid":41801875,"modified":"2025-05-08T12:42:58Z","type":"item","id":"Q5425455","labels":{"en":{"language":"en","value":"Efficient Exact Arithmetic over Constructive Reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211391"}},"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":"Q5425455$51663E64-AFF1-4BC6-B33B-3244C0039C17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d350c3385f14645d66ab2ee6c6ce6307833113c","datavalue":{"value":{"text":"Efficient Exact Arithmetic over Constructive Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425455$8ABCB8BE-F7F0-4B58-A33C-6ADB19AF78BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e44972b8b687f4f185f48778f422d11c03c857a3","datavalue":{"value":"1198.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$69F0FBD3-BE30-48C7-981C-51C05664447C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c34da5bc17d1d08880412aa7b2380b99cb7d2b6","datavalue":{"value":"10.1007/978-3-540-72504-6_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$E6181389-B381-4091-89F6-A43F4DF2C597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830089d6f94c23358a315bc8d7e3f00893ca994c","datavalue":{"value":{"entity-type":"item","numeric-id":307247,"id":"Q307247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425455$0F82AEA7-0BD3-4824-BB0F-73F234E76F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e6f67d5f0adac3df469a78021e8e4829e5cb203","datavalue":{"value":{"entity-type":"item","numeric-id":625276,"id":"Q625276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425455$A41055AD-3705-43B6-9E43-F75ECFD35DDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425455$88D58EF8-FDE4-4BAC-9742-E38A061D51B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425455$1DDA6DD5-7F86-4A8E-BA83-15854C5F714F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dd9b068b34217249af4cafe5011cd3ec4943f6c","datavalue":{"value":"https://hal.inria.fr/inria-00517598/file/YongLi2007a.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425455$292679D9-8FFD-4E40-92A4-C1926124759B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$F3AB501C-EE13-4479-B20D-684EA4B1935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"235c6ea5e302e28be6b7d95307dac1a9f1d2b5b4","datavalue":{"value":"65G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$E0C0A214-8612-4B9B-88D6-7593B49FB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$76AC9053-21AF-4629-8CCD-3DA074287795","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c140ec59515a040e06f7ae454da6d2b30c35d7c","datavalue":{"value":"5211391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$9C881684-CEF5-4569-B1D6-BF1E651EB744","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":"Q5425455$CBBF2AA8-7A9C-4D7A-A621-989994FF4F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f538d23e4bb67185ee4ff417bd83ba14f6284a9","datavalue":{"value":"W1576684343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425455$7EF4D57C-8B84-4589-A02F-1A27541B2742","rank":"normal"}],"P1643":[{"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":"4660c0cf816f9d5156cef855454dd842576709c4","datavalue":{"value":{"amount":"+0.9151388","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":"Q5425455$90230C89-2298-4B70-883D-16C2886D444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89723d43e84f901a0e433fd787870ba91d4c299","datavalue":{"value":{"entity-type":"item","numeric-id":2148797,"id":"Q2148797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c23279c156e3f3281a78340903356d014123ce","datavalue":{"value":{"amount":"+0.9094727","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":"Q5425455$6B3D3493-76B2-4A4B-8A0B-7B1A6FA4431B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d6f687030cc429f4bb643057f265de33d616f","datavalue":{"value":{"entity-type":"item","numeric-id":4531979,"id":"Q4531979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de2cd30df2661380101d7cc79ae6c96d1270a20","datavalue":{"value":{"amount":"+0.89760816","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":"Q5425455$86D43E65-1BE7-43BC-A7A9-7A13DB4FC343","rank":"normal"},{"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":"fa226b6b0c0dc54925f997e322774df453a4610f","datavalue":{"value":{"amount":"+0.8934587","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":"Q5425455$94B39646-DC20-46D7-B888-A7BEDAFC9DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4896daa018d49a30cf1d2ad820e5a85d549aa5b","datavalue":{"value":{"entity-type":"item","numeric-id":3431545,"id":"Q3431545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51163898761b7aa73b87f409eab24b009d5972c0","datavalue":{"value":{"amount":"+0.88865066","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":"Q5425455$B3E8DEC8-B8C9-4871-AEF7-7CDBC847C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1573b0908673e88c60037e13d9412d492432aa7a","datavalue":{"value":{"entity-type":"item","numeric-id":1878487,"id":"Q1878487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4fe9e84fcfd686fc0ff7f5a42ff3885cdd85ca","datavalue":{"value":{"amount":"+0.88708895","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":"Q5425455$3E53E51E-C410-4277-BE3B-70B6E4FBBFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c872a86c127d494ea82460f65859af367bc0ea5a","datavalue":{"value":{"entity-type":"item","numeric-id":4660709,"id":"Q4660709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fad12215a0de0d6943c3341caa9b9ad326696e4","datavalue":{"value":{"amount":"+0.8870889","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":"Q5425455$386DF25A-0A9C-45D1-99E2-F7E1BEB32832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6a12e6f36ea6e3ded2e656a59d308a13db49d4","datavalue":{"value":{"entity-type":"item","numeric-id":6081979,"id":"Q6081979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe128dcf54082dc4332fb8503f89f08542ac204d","datavalue":{"value":{"amount":"+0.88306725","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":"Q5425455$E7BC007B-BAA0-4EA1-9E01-45B85E987893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0141b06b756e6120b1cab3d217636fe8b682d289","datavalue":{"value":{"entity-type":"item","numeric-id":5458427,"id":"Q5458427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a3030bc5e97eb12db073a37af432856e1abe89","datavalue":{"value":{"amount":"+0.88050586","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":"Q5425455$80909360-1F9D-42B8-B2E9-E31241CB22B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314375ec38d08a444e60b9a0177047e8a3defc04","datavalue":{"value":{"amount":"+0.87893176","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":"Q5425455$936FEA56-BBAB-4CD5-BC49-0F2A7C4962E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5425455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5425455"}}}}}