{"entities":{"Q5280627":{"pageid":7310202,"ns":120,"title":"Item:Q5280627","lastrevid":91768361,"modified":"2026-06-05T00:01:13Z","type":"item","id":"Q5280627","labels":{"en":{"language":"en","value":"Simulation-Based Verification of Floating-Point Division"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753208"}},"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":"Q5280627$6199715E-41C4-4F7E-896F-3B8F20B1DE4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3a08d3ed36e4322f83fc3171677afd4538b52cc","datavalue":{"value":{"text":"Simulation-Based Verification of Floating-Point Division","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280627$6C33C1EB-87DE-41DE-AD81-6FDE0AB77B25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efa7b45ed047f86afde56ef1226019121a75ec9c","datavalue":{"value":"1367.65219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280627$45DCEDBA-F8F5-4C63-AF70-7942AB7193DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"773e8d3fcc41b39adee08b6f88cf26524477f8b9","datavalue":{"value":"10.1109/TC.2010.165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280627$BEE99D04-CC95-4E51-9869-22D5F0103E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f20f99987202143e6ed04884dfb9c391e5cd3350","datavalue":{"value":{"entity-type":"item","numeric-id":5280623,"id":"Q5280623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280627$8B1F0FCA-7F55-41D8-B3FD-CB70D32A13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f8d43404a6e31971677aab7d22a217b72cf1722","datavalue":{"value":{"entity-type":"item","numeric-id":5280624,"id":"Q5280624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280627$78870453-9919-486F-988E-9C82114CA695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6f0c2abd2cba1199c754bcaa7ad38dcc5f5123","datavalue":{"value":{"entity-type":"item","numeric-id":5280625,"id":"Q5280625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280627$BCDFCFEB-4DF3-47C7-936B-FB30ABA6DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6f4b9255f553471b1ee387b094fcb4167ce941","datavalue":{"value":{"entity-type":"item","numeric-id":5280626,"id":"Q5280626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280627$FEF19EF7-5272-4446-A9DF-2DA9B12BC2A4","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":"Q5280627$C29954B0-CDD1-4EC0-9CA8-0192280E7801","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-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":"Q5280627$C911583D-9BC6-4C40-A793-A8DC840CBF1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280627$450BEA8A-4F12-4BE0-936A-FEE339E50836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280627$CA47D97F-02B6-4D91-979B-4F45B370D07C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d79b20598fa866dd83756c5c4a8f0275113f29","datavalue":{"value":"6753208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280627$78953E29-34B9-46DC-AFFF-3034F190C572","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":"Q5280627$E9B92979-5902-4738-810A-E559D6AC4CB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation-Based Verification of Floating-Point Division","badges":[]}}}}}