{"entities":{"Q6152664":{"pageid":13286980,"ns":120,"title":"Item:Q6152664","lastrevid":58719522,"modified":"2026-04-06T11:18:10Z","type":"item","id":"Q6152664","labels":{"en":{"language":"en","value":"Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803984"}},"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":"Q6152664$B2BFA8CB-7F3E-4B08-9D39-58F7053C51F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9e131c4b584e3c04d739e977f8af787f1f1aa97","datavalue":{"value":{"text":"Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6152664$674464FB-7D39-4E08-9838-ABA44C88602D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$FECC28DF-0096-4D17-8E17-5550396693DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2abacca2785e0f856eeb85daaaa1e38f0cc185f","datavalue":{"value":{"time":"+2024-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6152664$BD4E4249-20A6-4613-B072-62D9976B9AA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bca9bed43b414dc4b14999b985b50588cd46aad","datavalue":{"value":"https://arxiv.org/abs/2208.07074","type":"string"},"datatype":"url"},"type":"statement","id":"Q6152664$24209BB2-599C-40D2-BFD4-27FA55E8630F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$D7FC91BB-996A-4CC9-966A-E816D023EA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$80584914-8C7D-4964-8A5A-49B6E5BFD879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$9C611FE5-4C75-478B-92AB-B63870A570BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"241d5694d3313b87a4a7a3061b2c41c0b41fc4e8","datavalue":{"value":"62A01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$FE8B145E-845E-4B45-80C9-5CCFEC86F894","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd34b90ffb720a405c344d89812b00ca37b9bea4","datavalue":{"value":"7803984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$B44C9061-83FA-4681-9124-63960F193C29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152664$C4A11D25-8167-4209-A7A5-EC0555CDB5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152664$93CF88F4-9D08-4335-AC53-43F8754CECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152664$862A4654-C966-45ED-B664-B036FEA2DC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152664$E9B98017-7F3B-4780-A1F1-7C94BBE6C5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f15d19bbbe990823fd45c22ade943c46d7cf1a4","datavalue":{"value":"statistical hypothesis testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6152664$E4CEC538-3BF5-4321-BD99-754CBE0E584F","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":"Q6152664$EC9E9C8D-67E2-4279-8CCB-AA2CAF4DB29B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea99c7af0104071a073f7accf64e6d921239e250","datavalue":{"value":"W4388571844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$48E0C6FF-73B5-4EE7-82BB-DD8FDEB8F075","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd138b1e2e497e98cf23ccea2be7d2f5df9c87dc","datavalue":{"value":{"entity-type":"item","numeric-id":5884421,"id":"Q5884421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$195AD3E1-DB0A-46E2-99AF-B926EAFA8F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$5AA38000-FA4A-4310-9722-00967FDCBB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$A16CAEF9-3667-480D-B802-8FE5F08CA69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ed61285885c01c39e7ff502c750c78dd133602","datavalue":{"value":{"entity-type":"item","numeric-id":2280214,"id":"Q2280214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$C9F194D0-F3F7-477D-96B6-5508041132B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f41f3cb8e82d01dd35ea89d5730ebb716be5a","datavalue":{"value":{"entity-type":"item","numeric-id":3012935,"id":"Q3012935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$C4E378A2-C22C-430E-9990-40F84911DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$62AF8752-C88B-4AC1-8B8D-EC6F941D346E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9f160a449ad08e11918d94d536d842bff4ee6e","datavalue":{"value":{"entity-type":"item","numeric-id":2649308,"id":"Q2649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$3BFFB5DA-1186-49A0-8C0E-02696E8D645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$C14A68FA-8FF1-4C7D-A234-7389885C695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1ab491d425c2ae11f30c0465b7ccdac5b9987f","datavalue":{"value":{"entity-type":"item","numeric-id":4493895,"id":"Q4493895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$7A144282-297F-4187-88FC-0BFEB462B7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$B8909E88-6911-45BE-8351-6A365155FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b93fc871a033f66a63843f78136fb736af8646","datavalue":{"value":{"entity-type":"item","numeric-id":1606305,"id":"Q1606305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$3E3D50AD-11F2-4EC8-B49F-A7245D4CEF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$537C8B9D-C64D-49A9-925C-51CB7D113B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$ED537613-7DD3-45AC-96E6-1833F29DF335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d270f8a57834243fda40f3a11d79976712ea64c","datavalue":{"value":{"entity-type":"item","numeric-id":4554927,"id":"Q4554927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$8B96EDA0-FD15-4B95-A66A-43BC24E54460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d8d83a794323537a942c38e3e4b447781dcdd6","datavalue":{"value":{"entity-type":"item","numeric-id":2117254,"id":"Q2117254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$D38220BB-474B-4AAD-87AE-72886F5CADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$4585A291-2EDE-44E8-9341-A804A8BBDF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a51c4131406feb3360654a16bbe1b5f9a9ecfa1","datavalue":{"value":{"entity-type":"item","numeric-id":5361449,"id":"Q5361449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$37A1EEA7-C9E1-4614-8C48-0679FF3AA148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c95330e5a182089d4fa0aaec0b4ddd9be3f1ae3","datavalue":{"value":{"entity-type":"item","numeric-id":813424,"id":"Q813424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$5EB1350F-125F-4666-BC6B-FC19FC2B6CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429586a0ecd0f3d242dea00adb1cce786f505864","datavalue":{"value":{"entity-type":"item","numeric-id":5740456,"id":"Q5740456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$AC609EDD-CA41-4E08-A997-65EA0367E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68631bc9e3d5ab5e18474448eb1e567fa70fa50","datavalue":{"value":{"entity-type":"item","numeric-id":4352529,"id":"Q4352529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$23CDDD71-4B01-4E4B-83B2-EE0AAF27B7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$2C43E018-97C1-4918-A404-63F36E443D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80eaa52138fe6dc1cc5abd1424bc7779edb1d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$1D7E48E0-5867-4E10-8187-E235F5EA946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d69628edd05f84dce6d2485296a67b18006ca92","datavalue":{"value":{"entity-type":"item","numeric-id":2075776,"id":"Q2075776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$B826535F-39E2-454C-ACFA-2747ADD9FB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$78DD1025-02CB-42F2-9D69-50E1E0C1C791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$FF077783-637A-48E3-A28E-8CF9E68B8706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da7b04a3cc669d2b28bf514b04c299a40529f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4752191,"id":"Q4752191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$99681866-B399-4AE8-9BFF-B7E0F695EA84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8603bb03fcb66056e6845349038c4cc0675cb11","datavalue":{"value":"10.1016/J.ARTINT.2023.104045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6152664$97E68AA9-8480-4A0F-A9A5-88CC53A9E2CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24508de1df830cd587a60a09ccd4060c761cf9bd","datavalue":{"value":{"amount":"+0.7185032963752747","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":"Q6152664$3B32B27C-FBB9-49E5-A31E-4E4C20F5BD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5039b0c3d6d70d7e6ecccdc8845e9c9b92ff3e","datavalue":{"value":{"entity-type":"item","numeric-id":6322040,"id":"Q6322040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d6d49e3386b7702b985bd29dc8f3b18a926447","datavalue":{"value":{"amount":"+0.7181074023246765","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":"Q6152664$FFB4DD0C-3E13-4203-87D0-8F1A1E1136BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ee0c28012e1a66ce2701aba0a95ab68d3be9b5","datavalue":{"value":{"amount":"+0.7046422958374023","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":"Q6152664$D78C4B18-CE22-4EC1-AA35-6FB23EBE987B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9990f4959d9ce43c50250a5b2c9608ed879bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3613341,"id":"Q3613341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bacc8f605fbb7d0b7373ddae73615978cf036d","datavalue":{"value":{"amount":"+0.6960391998291016","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":"Q6152664$92A99C32-B483-4210-A38B-46E5249B6854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a6e0ccb57a35247b372319860e2afcf63f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d2be5750ba954ab2d84d98740df08044ef409","datavalue":{"value":{"amount":"+0.6949809193611145","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":"Q6152664$991A2FB0-3C06-4A0F-A6D5-34B0F48FD1FD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6152664$470E844B-6116-4E0F-A29C-A83B70CC424C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6152664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6152664"}}}}}