{"entities":{"Q5289310":{"pageid":7318884,"ns":120,"title":"Item:Q5289310","lastrevid":46347783,"modified":"2025-12-24T15:02:19Z","type":"item","id":"Q5289310","labels":{"en":{"language":"en","value":"Interval computation as deduction in chip"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 279346"}},"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":"Q5289310$124D1603-B6EA-4C90-8A8B-220EEF46D9DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c549b679a957526e4839c58c7618240a5c04688","datavalue":{"value":{"text":"Interval computation as deduction in chip","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5289310$E10A0C7D-2963-4A7F-9C7A-219F98CBDDD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4e5a0af24701c2065fed615dad6376201607edd","datavalue":{"value":"0784.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$5F6546B6-64D8-4DFD-BD63-38304A89FCC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5d6069456094f54dd3b700e61be349f8f9908df","datavalue":{"value":"10.1016/0743-1066(93)90045-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$BD52A924-D81C-44E2-9569-3C66366DD54A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5289310$A2F62E05-E63B-4E56-B830-664145059524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac67b5af44da91dcbd20e8bc235f3b14eeda006","datavalue":{"value":{"time":"+1993-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5289310$7BDBBD01-6EC6-4730-A479-8F72BEC5D6EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$68317EB6-1B29-49A7-979C-31B419592D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$1AA11AC5-C9C8-4843-9D26-828F07333147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$94F332E1-19C8-4BE4-A86E-2A447ACD1CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a67c839d16263fe68df04458c3f9b5f95b265a3","datavalue":{"value":"279346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$F065761F-F622-4AD1-A761-E577C86B461A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5289310$DCD33840-879E-4F9B-A314-7B880326D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5289310$5CB783D8-2ADF-4CCB-B81F-658610CC2449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5289310$B4242EF8-88CE-4480-AD2F-4065756246A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd6e14e8685cad8bfda6ac41cd1903e8ff91942","datavalue":{"value":"CHIP programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5289310$1B2D439F-CD97-4A49-B080-A33A76EC768C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5289310$A349C45C-5285-4DF2-93FA-E8B55E396FB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75de08b5abe7a745a7eada51caeb5c8444a251dc","datavalue":{"value":{"entity-type":"item","numeric-id":814483,"id":"Q814483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5289310$0CE5C3F3-37D4-48EA-85C6-8F998DFC08A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5289310$BE3A8234-F234-4B92-9959-E5979F74CD29","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":"Q5289310$E26F3E5E-7A11-48BD-B451-0691A1CAB76A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb7b18592156c639fe79e1ec2224182ffa7a1054","datavalue":{"value":"https://doi.org/10.1016/0743-1066(93)90045-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q5289310$5537E7A4-2343-46B8-AFBD-54F4ED682E61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa96eed43dd6e09fbb613fe7d92055fab1019877","datavalue":{"value":"W2008716926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5289310$3BA9CD74-60FC-455E-A2AA-659651A464DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebca0314f80c4663bb4b8182c0bd5bd8ebd2bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4702571,"id":"Q4702571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bea5849158f544917bb673c00b2b80ce0426a19","datavalue":{"value":{"amount":"+0.7873329520225525","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":"Q5289310$E87BBBB0-F5C2-4063-9DFC-C5799CC63E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755db71bb67d723b2fd3cfbecc665c17abccc4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4411956,"id":"Q4411956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252a0e6c4bb718f4b66fcce590c406b663a40371","datavalue":{"value":{"amount":"+0.7424284219741821","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":"Q5289310$CDFE7B59-2ECF-493D-85EB-5A58A95D5344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d93be551571fbd2006578c2e21f2db64e5d69a","datavalue":{"value":{"entity-type":"item","numeric-id":3196626,"id":"Q3196626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b9c9e77a8272fdbd9be0ae3aee1dfa5b53f418f","datavalue":{"value":{"amount":"+0.7388119101524353","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":"Q5289310$DBD94B09-E11E-414E-9C0F-B4303E3A4230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8390cc979240d56c2fb9b1d0aaa471ede844aaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5178863,"id":"Q5178863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7cfffd07dec34252f4d67b40d30243c6e09d6a","datavalue":{"value":{"amount":"+0.7248995304107666","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":"Q5289310$E0CD0A72-269F-4AF2-869B-0246A954F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114c3adba003134c30046cdfbd38d0f824ff2648","datavalue":{"value":{"entity-type":"item","numeric-id":5930946,"id":"Q5930946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40634807e40ff640cd5f743a2277b453ee67e368","datavalue":{"value":{"amount":"+0.7234851717948914","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":"Q5289310$E098E9C0-14A3-4A33-A6D8-E0A1457A9E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5289310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5289310"}}}}}