{"entities":{"Q4975017":{"pageid":7004596,"ns":120,"title":"Item:Q4975017","lastrevid":36885316,"modified":"2024-07-30T07:28:26Z","type":"item","id":"Q4975017","labels":{"en":{"language":"en","value":"Verified Real Number Calculations: A Library for Interval Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6758467"}},"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":"Q4975017$2FBFACC9-325B-413D-913B-4D5911F02F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80b4ff7a34ee6ea4b23e57e3bba0debffc2267cf","datavalue":{"value":{"text":"Verified Real Number Calculations: A Library for Interval Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4975017$F7713BFC-1905-4D7B-996F-B7BD4EA63738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86bc476a05a90a935847f9fa5aa6ffb71bb15ecb","datavalue":{"value":"1367.65213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975017$FD08F548-2CE0-4DC0-B646-AE84A42E0E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb2b0a7c4335f5ebc54ff983ab638dbf60d1f30","datavalue":{"value":"10.1109/TC.2008.213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975017$F785AE7A-9FF2-481C-BC4B-9CDCC983D1D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4bb1bcba17b5515e2d35cbb4d1ce0ea0c5c513","datavalue":{"value":{"entity-type":"item","numeric-id":1371153,"id":"Q1371153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975017$E82FBB4E-A0BE-4013-A938-D772131F3F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7191134f319418d58727fd4a71fc323f51bc3b02","datavalue":{"value":{"entity-type":"item","numeric-id":714619,"id":"Q714619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975017$FC5D3527-D843-40D0-88E7-0520A703B6F9","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":"Q4975017$9383CA0C-FF73-4227-AFC5-78732B239506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4975017$9E3B0277-93E4-4E1A-8C57-0A1FCAE2614A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103a35658eea03bd788b34f359587c9a72983f21","datavalue":{"value":{"time":"+2017-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4975017$0EED3E1F-E8CE-491B-9682-AD78CD333721","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975017$2519FE2B-5B13-4510-AF81-7854C713827F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d5559c201230ab6ba8cb3814d5b27f0e1066a2","datavalue":{"value":"6758467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975017$545CCA91-60E8-4E0E-B455-2B486436E9DA","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":"Q4975017$823CC6E2-B185-4AC8-B19C-3C7685B01CBB","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":"Q4975017$4D8EB4A0-1C73-4B62-B5F6-84CEAAEF3E68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8c76e92576a418201c36e6b8a9939877b1abf7b","datavalue":{"value":"https://doi.org/10.1109/tc.2008.213","type":"string"},"datatype":"url"},"type":"statement","id":"Q4975017$C4E459F6-E39D-4FD0-9881-629806D3AC70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4f42e8cbca23ddebf0b3392fd2276b3baa2aff8","datavalue":{"value":"W2132303335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4975017$E8FBF344-86E9-4E71-968A-10DFFD7D16A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4975017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4975017"}}}}}