{"entities":{"Q2931838":{"pageid":2942558,"ns":120,"title":"Item:Q2931838","lastrevid":52145825,"modified":"2026-01-21T00:56:31Z","type":"item","id":"Q2931838","labels":{"en":{"language":"en","value":"Automatic detection of floating-point exceptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374702"}},"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":"Q2931838$674DF7E1-BAC1-401D-8240-C3B15C536F33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e44ec3b30352349c5781f0d6dc1355a31eaba29f","datavalue":{"value":{"text":"Automatic detection of floating-point exceptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931838$D640B2EA-EBA6-499D-9538-13340AAF4C82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ba489e514414d70081d84941a7f161d48a80488","datavalue":{"value":"1301.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$BDA5C689-C9BD-4954-87EE-9FFD40E30561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a56ff282acd9724962d73ad0e50bb1c043d66cfd","datavalue":{"value":"10.1145/2429069.2429133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$D212C7AA-73B5-4C1C-BCD6-3F4B3C28773A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931838$DE146B48-4AF4-4482-A159-BCBE82AC9478","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-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":"Q2931838$7E50E3D1-005B-46BA-9057-B69AEF2B6015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$E58C9E58-2C0A-4B54-AF1B-C8C5C07F2DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$4E5024F8-D212-4326-874E-F5DE0FB99732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"235c6ea5e302e28be6b7d95307dac1a9f1d2b5b4","datavalue":{"value":"65G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$6A5DF801-865D-4E2D-B4B7-FC51746A0A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$75C42294-D8DC-40E2-BD57-4F8AB14F6769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f7d6224252d8b49137007ae8362702b54b2dd9b","datavalue":{"value":"6374702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$01110279-A065-4375-9448-317CB3CD486B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4f394650f1df1432a3373ad65b320a32b95af9","datavalue":{"value":"floating-point exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931838$D9486484-608A-4DA2-A4E5-A0D6E44177E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931838$CBB4CF6E-F558-4B13-8625-F32275C6BC3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec8ded018eb7998e191bd164cd2207a73f570ebb","datavalue":{"value":{"entity-type":"item","numeric-id":18022,"id":"Q18022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931838$39D2C7C5-2CE4-4F1D-AFAF-0F9D46060E54","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":"Q2931838$EDEF1725-B7BA-4D9B-843D-6A625F4A7317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"441381f06796a1755bc64f218079363f94dc4604","datavalue":{"value":"https://doi.org/10.1145/2429069.2429133","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931838$DE80B745-0D6E-4043-A1F2-4E7012C76042","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6983027c1b09284b6d4c2c1a50db60662d8b5aae","datavalue":{"value":"W1966151649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931838$C3BCD131-D957-41C7-BC3F-3AFC2A4F451E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1787b66eacaf2bc8d397156c2c29c054484735c","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17e72d3c85b584ae1c28f22d1641ba286f353a7","datavalue":{"value":{"amount":"+0.7551034092903137","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":"Q2931838$1CDB7362-1E3D-45D9-954F-0D57B1E0A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688dc3a554669b3a1e0ced4ab92a8787af0109bc","datavalue":{"value":{"entity-type":"item","numeric-id":2233493,"id":"Q2233493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88be6f58079e75401045bd9d395e94a223e23745","datavalue":{"value":{"amount":"+0.7146642804145813","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":"Q2931838$FBC23CE5-4576-4398-9145-84431FF1E783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1610d51a69f020a815562c6918017255ced7d984","datavalue":{"value":{"entity-type":"item","numeric-id":2993239,"id":"Q2993239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17448fe03243187f8ed8839e8dbc0fe07197b83","datavalue":{"value":{"amount":"+0.7087631821632385","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":"Q2931838$285498DD-FA03-496E-8E77-631D2AC57A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5ffac8228f96899facabdcd2995f7ed2829ca","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d466bbbfda5938e756ba526b8e510c46acc04091","datavalue":{"value":{"amount":"+0.7028059959411621","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":"Q2931838$17044D6A-2330-4467-A182-04CD0C09FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ef1bea5bc6a98097cf427ba6e514765eb624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4475657,"id":"Q4475657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455669c29a396fc37a562fe86548345831347411","datavalue":{"value":{"amount":"+0.6949542164802551","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":"Q2931838$D2332DD7-5D56-4E7F-AD36-402EE760AB98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931838"}}}}}