{"entities":{"Q1383757":{"pageid":1394497,"ns":120,"title":"Item:Q1383757","lastrevid":67704033,"modified":"2026-04-12T19:26:20Z","type":"item","id":"Q1383757","labels":{"en":{"language":"en","value":"A software tool for automatically verified operations on intervals and probability distributions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1145827"}},"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":"Q1383757$394CB99F-CAD2-44B6-8330-5670C7D7C28F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"303a89b434aa95b30f5d96da7ff45d500d61b4f2","datavalue":{"value":{"text":"A software tool for automatically verified operations on intervals and probability distributions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383757$2CD2710F-C2BA-424C-9AA6-7CFD5E516F7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"309186e13481ad2c6c7cc161e279bdc898552731","datavalue":{"value":"0895.65018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$19E96D7D-430A-4C3B-8774-9DA535D7B7EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57acad02a756256fa3d710258c20ec42c86162d3","datavalue":{"value":"10.1023/A:1009954817673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$8C2D6240-BEE2-43AE-B951-FC6822A49B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8fc57e5f60db2cb5ab33e4f4d8e7ab8d800c1a","datavalue":{"value":{"entity-type":"item","numeric-id":1383756,"id":"Q1383756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383757$8328277D-4C7E-4A48-A01A-FA65C11C1266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e50e224b72fb4faa15058fa908ab8351a11ad3db","datavalue":{"value":{"entity-type":"item","numeric-id":877250,"id":"Q877250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383757$A0F4712B-4527-4482-88D0-32822D54CD93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7999e3e01d43838ac559f475f3b198149793512","datavalue":{"value":{"entity-type":"item","numeric-id":163536,"id":"Q163536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383757$4BAC1ED2-AA05-4322-A1FB-45B6CF22CEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85171b31477ccf5017fba2f37fb974f96a858ac9","datavalue":{"value":{"time":"+1998-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383757$47777B52-77F9-4EC4-B79B-4FCD062E7C6B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"add43f521a3c38b196c2518c58ff2a35fcfb1003","datavalue":{"value":"A software tool for validated arithmetic operations on intervals and probability distribution functions are described. The paper is closely related to a previous paper by the first author [Interval Comput. 1993, No. 2, 48-70 (1993; Zbl 0829.65141)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383757$29C13192-C185-45D2-898A-5DFD03410A70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$923193E2-3F76-4BB8-90C2-99C3FC60DFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d53b6d887f8d02f744e09bef54fb1930d2da928","datavalue":{"value":"65C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$397BB281-31E8-4199-9066-A6F4683803F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afedface48ecdaa372c66a063b2e7098950cc257","datavalue":{"value":"62E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$BE11A1D3-408E-4ED6-8BB0-A9D4BDDA3EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1b1fb5c9b974feb978f3d06091a0b51b7da1249","datavalue":{"value":"1145827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$CAA3FD95-CE67-4F8A-A524-EDF88BFEA384","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383757$622541A3-4729-4EF5-99DB-60E99922963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ba4811b863c3f125c5385dacdb87e1b4d3c61f","datavalue":{"value":"probability distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383757$E9565476-2181-4742-BFAE-E14CA27D30AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c129e78f442d133e7cb1e843519f6af4bfb2518a","datavalue":{"value":{"entity-type":"item","numeric-id":1371150,"id":"Q1371150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383757$4617523D-0B0B-499D-8650-EDD54D112867","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":"Q1383757$60D65E86-92DF-4B83-8291-AB2665BF561E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d6fcd509dd87412226b6ef24443df18011115d1","datavalue":{"value":"https://doi.org/10.1023/a:1009954817673","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383757$F3095E71-3A5E-411A-B107-45EB0370A0E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3cb3d70cb561c26a268463b8c741456ca82be8d","datavalue":{"value":"W28580676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383757$65E889B1-B89F-4A6A-B1D5-FF955CB5A020","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a180c47f3cf45577b40ec5d6194f90d1df9744","datavalue":{"value":{"entity-type":"item","numeric-id":4874521,"id":"Q4874521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d442449fb354addb4f45ca00f5376825730deb6e","datavalue":{"value":{"amount":"+0.9089339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$1C96C173-2D87-4494-94D4-20B2FCAC868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947824f76b1fd3ad061725f4877039d5ee18a8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851603,"id":"Q4851603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24347b366b385cee98b437b1a90c272e1e9db173","datavalue":{"value":{"amount":"+0.8700211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$C2A9C062-C587-4423-A62F-A33F88AF8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b6c1cb14a5af3e223d49831b741a4af58d16d6","datavalue":{"value":{"entity-type":"item","numeric-id":350548,"id":"Q350548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5396f861e484ec4bae15c3eae9776c56c16ccf","datavalue":{"value":{"amount":"+0.862989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$54D19728-F068-407B-AAF6-AA578F5DD004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e2cea0f87d46705ed7dcf4c011ac72ff478e3c8","datavalue":{"value":{"entity-type":"item","numeric-id":2802431,"id":"Q2802431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcd0a9abe21334cb3b1a83512539d09bc719c15","datavalue":{"value":{"amount":"+0.82817805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$D55FDE6E-FB2A-49F4-9564-C47DBBB9A663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4a51be5dd4754ab7cfe947795356b25fa671d5","datavalue":{"value":{"entity-type":"item","numeric-id":4011815,"id":"Q4011815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbba5e16a76b4e06a734cea44cf6dba09d44a683","datavalue":{"value":{"amount":"+0.8227478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$F94EC1A7-2439-4291-B309-C6AFA7D885D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66134d7d79bc96e45f4c3f9a92675306568b9c71","datavalue":{"value":{"entity-type":"item","numeric-id":2387785,"id":"Q2387785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2ec69f0a1554bfcdb657a2bf1504d42ac1330b","datavalue":{"value":{"amount":"+0.8190097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$072944E1-917D-4A7B-A893-ED2D8BD6D52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde1746b929d2fb2c544ce36c0f432d1aac06fb","datavalue":{"value":{"entity-type":"item","numeric-id":3110281,"id":"Q3110281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c738c12c6525b426a19c6a4a6844b2538bf3acff","datavalue":{"value":{"amount":"+0.81584054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1383757$B0173FAB-A658-46BC-B971-03FF63A675DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A software tool for automatically verified operations on intervals and probability distributions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_software_tool_for_automatically_verified_operations_on_intervals_and_probability_distributions"}}}}}