{"entities":{"Q2806863":{"pageid":2817601,"ns":120,"title":"Item:Q2806863","lastrevid":58012548,"modified":"2026-04-03T11:03:37Z","type":"item","id":"Q2806863","labels":{"en":{"language":"en","value":"Exploiting binary floating-point representations for constraint propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6582448"}},"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":"Q2806863$98B2F41C-96B9-4922-8293-9ADB85355F90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28d0e88aa413798146980d57f08c7a831379c695","datavalue":{"value":"1357.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$04E9B248-C861-4464-8783-203BA6ACFC95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$7E1CB23D-3DC9-4F5B-821C-715B4EAC3506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b13fa98e963119075163633812f8ab89bf71f97","datavalue":{"value":{"entity-type":"item","numeric-id":2806862,"id":"Q2806862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$74B3D88A-6F02-4674-8B1D-10A4A05F80F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$EDAE6448-14BB-40B7-953A-F0C0D8AF43C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b2644a80507c7989343f90e5f2508e0b5d93ba0","datavalue":{"value":{"entity-type":"item","numeric-id":2767074,"id":"Q2767074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$C9DE2540-FF08-4AA6-92C8-8BC8BE025120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f030fff290cba9104f71fb1447bb02747b898e5f","datavalue":{"value":{"entity-type":"item","numeric-id":74741,"id":"Q74741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$9E8E20E8-3E17-4266-862A-990F0846B202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ae89f89045e98f672693a874c284ab9c0abdf4a","datavalue":{"value":{"time":"+2016-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2806863$67ED3252-615E-4536-9B67-D0407DC7004C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9097fd83ebfda8dfbf422b775040a60c98588a3","datavalue":{"value":"https://arxiv.org/abs/1308.3847","type":"string"},"datatype":"url"},"type":"statement","id":"Q2806863$4B2D8629-EA5D-4570-A563-089EB376BE0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$5476D6A9-E9FE-4DBD-A49A-523B42920E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$27928555-4081-4151-AD48-41E64B2414CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$5B50439C-5B1A-403A-B382-57A0B9D69AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$0519161B-AE00-4B18-8A14-61AD4E80D2C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5a08329f1f8f29816eab57465a73e4e83c84b2","datavalue":{"value":"6582448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$D8A9B894-17F8-4E3C-A710-3F636D434889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806863$7EF6DF06-ED4F-40CE-866C-E913A6EE318C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806863$4888E0D1-69E0-44A7-BC01-A01CC4E2456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1f639f55a25d79d668ae6c1e1f7f932f4562f6","datavalue":{"value":"floating-point numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806863$7572C5CB-C3DD-491C-BCBB-7B9B80B0BFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2806863$4EF6B5FC-34A5-4BC8-92E6-306CF946D7D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"010cc0c7f485576c334735c36354b12871051d65","datavalue":{"value":{"entity-type":"item","numeric-id":26997,"id":"Q26997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$830D2248-8C3D-4965-A402-45C09B025FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78cb58263a28ee3e44017258bbfdfd66a4db4df5","datavalue":{"value":{"entity-type":"item","numeric-id":16577,"id":"Q16577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$1B18B55B-9E19-4C15-87BD-37B9AB46FDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae2801c307518b2eb271f3166f5d1e42ee4a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":19304,"id":"Q19304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$E027B35C-4175-481A-B7E3-304ADF5DFEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$60FB3341-1C34-4BC1-8F59-9C91DE50B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$CF7979C2-C56C-4592-A9E8-BC3D781B1A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"306bc6d4ba2f755c77114b7cd26108bbe1c0b33c","datavalue":{"value":{"entity-type":"item","numeric-id":16197,"id":"Q16197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$2B46A6DE-7FE9-494C-88E1-0EAA808F84DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3e6d07509b438611d2bb308bceb7ec4b7b813ed","datavalue":{"value":{"entity-type":"item","numeric-id":24717,"id":"Q24717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$B91DF72F-035A-4986-A462-36C4C0C177AA","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":"Q2806863$9160EE64-D3C9-45FE-BBD5-594BA13F85AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9a213d8b90153b139f00d9f7dcab217e5d170d1","datavalue":{"value":"W1797291051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$D9309BBA-7419-48D7-BF66-39F730678EFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f843e2a521c14507587eb649823b81e169d94287","datavalue":{"value":{"entity-type":"item","numeric-id":3646126,"id":"Q3646126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$2599CE28-1B91-4134-8811-4DD7C9CD8DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bdbcdbf745748727a8ad6d1c3dd7317d156d69","datavalue":{"value":{"entity-type":"item","numeric-id":2806863,"id":"Q2806863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$478ECD3F-BAF2-4DDF-A9E2-436634500565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c097581642c0ced6b1f5dc4e109b27162e9298a","datavalue":{"value":{"entity-type":"item","numeric-id":840818,"id":"Q840818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$9CD7E3AE-6F19-4E0E-937A-1F5AF8024BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$E7F5BB3F-7BC0-4346-9C4D-A033B1136D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02311d88489e956295260562259d044e8e7fda7","datavalue":{"value":{"entity-type":"item","numeric-id":3523062,"id":"Q3523062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$812C7875-7166-4982-AB2D-4F5D99FBA11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba462d720e88fed41cd67622766e9b4ebfeee44","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$C8873B90-AD1C-45F2-9D81-DFA67AC09D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3b5b253ddc68e650f196e602807cd94d04e46d","datavalue":{"value":{"entity-type":"item","numeric-id":4778705,"id":"Q4778705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$85E8819C-767A-404B-8408-DEA384558493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5ffd31d465a566a686c7d217db9ca46a4868d","datavalue":{"value":{"entity-type":"item","numeric-id":3549165,"id":"Q3549165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$431BEE30-9936-4209-BA94-A40EC10DD061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694526c59d22d172f96e7313b220f7b05469c924","datavalue":{"value":{"entity-type":"item","numeric-id":3402284,"id":"Q3402284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$9EF1F241-248E-4E14-9AA1-0162DBF25113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d999ff354c511e4f0a0599cec268f65a1f5d4e4e","datavalue":{"value":{"entity-type":"item","numeric-id":3396393,"id":"Q3396393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$DDF0D58B-CF54-4133-8243-5FB798A3E911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e432da12fdfecfe2d24610c74125b32daaad566e","datavalue":{"value":{"entity-type":"item","numeric-id":4475657,"id":"Q4475657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2806863$11CE7097-DDD2-486A-91B0-1BF9A2182063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75326a6ea96cf2568d95cfc95c9edf6ef2e919c3","datavalue":{"value":"10.1287/IJOC.2015.0663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2806863$0CE2EA41-1D39-4A5E-A9A7-C1591D18B878","rank":"normal"}],"P1643":[{"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":"4786fb4603cf861eed71696e65de54277b90f4db","datavalue":{"value":{"amount":"+0.8510979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$2C5B4040-E154-4663-BF61-1A6B0F6342A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b6bbc7b3d12f64b8d0d20eadcfd8fa6c2d049","datavalue":{"value":{"entity-type":"item","numeric-id":2011567,"id":"Q2011567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfc5429efc7d834c2317c22b633594aa04b400a","datavalue":{"value":{"amount":"+0.8432046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$88E3A5A8-00F1-46BA-B00E-162E75AFF5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f71ed36c4994c3a48c25d0a060b4b9a13ac85b","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab39df54537034d89c3538c79d7b0a53bd482ef8","datavalue":{"value":{"amount":"+0.83829737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$A15024B8-D624-4996-8B14-FC1338481317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82711f3d22e80f962bb118f3ee170da4930dab3","datavalue":{"value":{"entity-type":"item","numeric-id":5715726,"id":"Q5715726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae348a19d48071d792546abe1d1acb483dfb93f","datavalue":{"value":{"amount":"+0.8381425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$C862B80C-DEA6-4ED8-BA53-C2E36048485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2f3e766304796cc555b8c1751bd7702f99dfed","datavalue":{"value":{"entity-type":"item","numeric-id":1039582,"id":"Q1039582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cdb683696d7142d3be44c1b73ae815887f8f59","datavalue":{"value":{"amount":"+0.83694774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$1C1DCDC0-305B-4DC2-97BB-46B59800B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60cf6b18931b26916f43336183b4142731a5088e","datavalue":{"value":{"entity-type":"item","numeric-id":1405334,"id":"Q1405334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faccd584094346a4b07a274cc5ed0a4037160099","datavalue":{"value":{"amount":"+0.8282333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$7A54F560-E3F4-42DA-8289-3B262A50BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47a808193fe71e265fe7f6b262f6c16cbbc5da","datavalue":{"value":{"entity-type":"item","numeric-id":5900332,"id":"Q5900332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8110e89a947018f86ec01502b92acb52693b2849","datavalue":{"value":{"amount":"+0.82621324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2806863$F7047AB1-AC75-411B-9FA8-DEA231CDB572","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf5be9a284007d7253dae133aaa39985bfced7f0","datavalue":{"value":{"text":"Exploiting binary floating-point representations for constraint propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2806863$9D1CF33F-2287-42BD-83F7-C72227DCAE76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2806863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2806863"}}}}}