{"entities":{"Q5280635":{"pageid":7310210,"ns":120,"title":"Item:Q5280635","lastrevid":29331024,"modified":"2024-03-05T18:37:46Z","type":"item","id":"Q5280635","labels":{"en":{"language":"en","value":"Certifying the Floating-Point Implementation of an Elementary Function Using Gappa"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753213"}},"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":"Q5280635$B1488480-BFA6-4A13-A7DA-3D8689DB891E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87adfa30188998792458bd18e82db50c40dee743","datavalue":{"value":{"text":"Certifying the Floating-Point Implementation of an Elementary Function Using Gappa","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280635$D83A5905-3D7F-49AB-AB15-7155B5D5E7BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd6014a478da301631d40b93f64d58e1d420adc0","datavalue":{"value":"1367.65250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280635$3BA33670-BF59-473A-A0F9-C3C5758184D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be7cdce819ccbcc40a9be209ce15402c76d4baf9","datavalue":{"value":"10.1109/TC.2010.128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280635$7F4ED247-9247-43BA-B42A-9E96047E3698","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e748d98bd960487949624d3affc434a540099e","datavalue":{"value":{"entity-type":"item","numeric-id":3189686,"id":"Q3189686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280635$594B8489-A633-49D7-9C29-346389B72696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"879ff8e80357866196e0976558ded0d00828c97a","datavalue":{"value":{"entity-type":"item","numeric-id":633636,"id":"Q633636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280635$F2F554DC-085D-4910-B02F-374C2C01735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280635$30F3E8CA-2B6E-4B1C-8EC2-6E516FDBD7A3","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":"Q5280635$3B98870B-033D-4D28-A22A-B8A40B5DBB54","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":"Q5280635$A85C3B8D-E4FE-478E-8557-3FA7E69B0965","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280635$AC024429-140D-454D-BA79-040494812A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55319e6c1e85156435519d65bfbdd605003d1a30","datavalue":{"value":"6753213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280635$48B1C900-CC64-4AD5-AB63-698DC6B4B402","rank":"normal"}],"P1463":[{"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":"Q5280635$887DA8D0-778F-4A43-9DA9-04CD6E83998C","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":"Q5280635$E683890D-94C8-4E48-920E-5B9F7DCEF860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5280635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5280635"}}}}}