{"entities":{"Q5170177":{"pageid":7199749,"ns":120,"title":"Item:Q5170177","lastrevid":52046042,"modified":"2026-01-20T20:06:34Z","type":"item","id":"Q5170177","labels":{"en":{"language":"en","value":"Checking compatibility of bit sizes in floating point comparison operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319528"}},"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":"Q5170177$05D82FB3-278E-493E-A427-C66B091D9A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0421d41f237f620f340a264dee1b4932be1b013","datavalue":{"value":{"text":"Checking Compatibility of Bit Sizes in Floating Point Comparison Operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170177$45C04520-CD51-4248-823C-604286639B9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c55ebd4f723b5e4b115a9fbc751bbacc7b07d86e","datavalue":{"value":"1294.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$36609E8E-CA77-4B67-977E-76DE1B2E2BEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20f1a734f4b224637c57f8ba6a80e22c98d5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":988564,"id":"Q988564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$E4D82BC0-17BF-4485-93C8-4B19664645EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$34513779-8021-4B62-99A0-4202990CF600","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$02DF9C45-A746-4D10-B5EF-792E7CCAD748","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170177$112BC774-DF31-44DC-8253-74CFD608BC56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$F743E1EF-1002-415A-9424-618CCB43D812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7e9621ccfb9c510cf322829812d0f52cb87bdae","datavalue":{"value":"6319528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$B4A4E61D-4336-40CF-B4FF-4B8ED37FABF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$490DF607-CCC1-4D6A-8711-A30C8721B127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0385dee194e410cf9f4d0dbe29dc4fc83568fbe","datavalue":{"value":"design by contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$33C85CBA-40BF-48CA-B4EB-A3794D7904EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a52be5c521b016ca517db07024e59409d25e6d","datavalue":{"value":"floating points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$9BD17432-05F3-424A-A329-188A4DBD56DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$3DA7604C-1B36-45CD-A0BE-50C940F6A201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$82A0CB90-926D-40F8-B520-CC480C981C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359cc99fe2e734d750c9477058ba26c6a8c28ba4","datavalue":{"value":".NET","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170177$3940CD64-34AD-4332-80FD-4B46202C5ACC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$31070B94-3902-4AA3-8EFC-4E13503CB3BB","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":"Q5170177$6D3C57F0-F7ED-446A-9AFA-041169D80050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b05e9c4250971667c92c1e23cf24feb2646ba5ec","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170177$17340FCE-A70C-451C-AD87-560582C91ECB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee466100b37ae60c0780e38425654f56a341400","datavalue":{"value":"W2159743929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$EDD8278B-E321-4BE2-ABDC-E3D0223DDBD5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c569e5a99e97369cccb266fa1970b5310908543a","datavalue":{"value":"Q113318052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$515080E3-1A91-42E0-84B5-06A40F448620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$555648F7-6F52-4A38-953F-E41484F6E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842cc7997d2d8faf03cd74c496ae509956b9581","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$8E35FAC5-AACD-42F5-8918-F8D811670B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef05f883a275d785f29d77dd7ca8a37e0671672","datavalue":{"value":{"entity-type":"item","numeric-id":4738355,"id":"Q4738355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$976C0C00-82BF-48A4-ADED-E199D7B35C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d694eab6b48b434d36a2948c6296e96d62073228","datavalue":{"value":{"entity-type":"item","numeric-id":4411955,"id":"Q4411955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$BBF27747-4B43-4FE2-A7A4-68B9214DEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$C5FCA5D8-F92C-410F-9017-1143F3B365A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f794cb0b04265fbc6f7edbeaedf1dc142dec9","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170177$2CCED4E1-FAC3-4B02-900D-EBF6733734F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5e2652600a327dccdf76e268141bba32d85760","datavalue":{"value":"10.1016/J.ENTCS.2012.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170177$01358AB3-8501-4D11-BFB9-F7C6C0F25E59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b912041c0bb4b6bf2910ba2468279c5a6153e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308361,"id":"Q5308361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3cd0431511ffda9c7f0e9bafc73ab0ffb81aac","datavalue":{"value":{"amount":"+0.7136029005050659","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":"Q5170177$ED7EB853-0FE9-48DA-8223-CF012E163404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0901a0247ed365d52a7a4cd90c42116b5be77192","datavalue":{"value":{"entity-type":"item","numeric-id":4778705,"id":"Q4778705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ccfd9c63814e48ecf6f6e7c1e31b531df5598a","datavalue":{"value":{"amount":"+0.697388231754303","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":"Q5170177$80DA854B-5D52-426E-8D0E-8ACFDDAEEBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d198dd6645ca3725c03bfd2d1553d43a00bcd19","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ec097c0dfd7050f8d4b9b493f74961b0acbcf6","datavalue":{"value":{"amount":"+0.6893620491027832","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":"Q5170177$79731CB8-FA7A-4017-AC2E-1F1805D0D233","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":"d09107cfc9efad8b4709b54da51339ca48667a04","datavalue":{"value":{"amount":"+0.6834773421287537","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":"Q5170177$6578E6F0-B4E3-4379-B973-33F9003645B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce66b57c390d02e4b7c3aa697d22d3e29d6a774e","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874e7776f6014db9ce66825bc9c93e59ee407ee4","datavalue":{"value":{"amount":"+0.6830539107322693","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":"Q5170177$FBF2FCC4-668F-4D11-8516-8B070500484D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170177"}}}}}