{"entities":{"Q2825263":{"pageid":2836001,"ns":120,"title":"Item:Q2825263","lastrevid":52640411,"modified":"2026-01-23T04:19:40Z","type":"item","id":"Q2825263","labels":{"en":{"language":"en","value":"Probabilistic model of software approximate correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635620"}},"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":"Q2825263$B0515FFD-B213-43E5-976B-2A9F60AF0E08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c19641926610f589756e7edf9ed8e1a1d9589531","datavalue":{"value":{"text":"Probabilistic model of software approximate correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825263$B9F92F96-1303-4830-9434-652B68398E9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5153b9b07807a9a97c7c5104c8fade7508c50dca","datavalue":{"value":"1363.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$43549EEC-B8E9-469C-A711-C50F4A7F2C83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf29f8962a454c5a5341d1d1dc6aeb1dbbf6cef9","datavalue":{"value":{"entity-type":"item","numeric-id":592522,"id":"Q592522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$0D668AC7-2F56-44FE-8676-7F2C5A674936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"194e29be62dd80cf83faacf248a1607db6b5a5b3","datavalue":{"value":{"entity-type":"item","numeric-id":6138330,"id":"Q6138330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$064C728E-6866-408C-BE91-521E72E6DCCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825263$A5737605-88BA-4F1D-8823-3BF193837C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$D43AC5C5-2CFB-4FD7-BD32-22491F1C380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$FB2B2A56-4F4B-4760-908E-72C812EAD12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$47F8D3BF-CAB7-43BD-93AD-62FCE5DCD3DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16b344057bb066ea6736041186be20b2b602f382","datavalue":{"value":"6635620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$2AE157CE-E4B1-421C-AD15-11C6A7F6BF27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda41adc453c45a375111b646597f1154ba456d5","datavalue":{"value":"metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825263$FAA06D7A-4A4C-42FF-8164-DC02CB4EF12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825263$F416237A-66FA-4201-8FE3-B065940DA655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a4dcf884227a098aa08936779efe6182140a8e","datavalue":{"value":"environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825263$DB0ADBB3-2322-4951-A57F-1F137C8885A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825263$982EF9D4-B7DD-40C9-944C-3610E6F26FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825263$E091E10F-9E4A-46A2-A4AC-928778BA4FEF","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":"Q2825263$21D9851F-E392-4B55-9C56-FF87BBEEC058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37d9d22429d139f006f23fc9d26ce404430b9fac","datavalue":{"value":"https://doi.org/10.1007/s11859-016-1137-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825263$3506C3B5-D762-4B28-BAA1-DCD658B72777","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5566e792ec222a2c6724f075bd781a7e86c687db","datavalue":{"value":"W2326316958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$2C075E9A-C549-47E3-BC50-22BA65574C85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$2811D19A-73BE-4F67-9E1C-9D37F9D1C20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$2F0BA78E-ABD8-4055-A904-B85DFDC7DFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$5270ACC0-72EE-405E-83DD-EFEFE1944F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46552b7a5707ec562b440c80dc116bfa0f905cf","datavalue":{"value":{"entity-type":"item","numeric-id":3184679,"id":"Q3184679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$66C1BFB8-59BF-4FB6-B351-C03592244B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$EB702D23-0053-4A29-9FD1-8E95772AAA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$1954944E-7006-4C82-B4CA-51863760AE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$306BADCD-70A5-49A0-9E1E-342849E74ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e1ef9cb7e6c3d526e9ea88e650453099a13a20","datavalue":{"value":{"entity-type":"item","numeric-id":1607220,"id":"Q1607220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$D662837B-5532-46BB-A908-7ABD890C4A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05a54ee057d4c69360a37cd026035c8f419ea64","datavalue":{"value":{"entity-type":"item","numeric-id":458130,"id":"Q458130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$A75E3A53-DB6E-476D-AC15-E38671310602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7007a97722cec737a978299b7039bb39facb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2353987,"id":"Q2353987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$42FFB365-71FD-4A83-8A1E-B7FFEE0657ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2004da873feaf2c2a6c854f4858a83eee7d733d","datavalue":{"value":{"entity-type":"item","numeric-id":1606119,"id":"Q1606119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$E6DF9400-6ECB-45C3-908E-3AEFA3FA8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$5D206252-A6FC-414D-83A4-0D7247C2A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$604ED681-6480-4BE7-946D-CD6781EED301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$2BCFC767-4133-466E-8384-A9D5B5559EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f78e9d6d19292d7ca03bfe20e0c3627547e14134","datavalue":{"value":"10.1007/S11859-016-1137-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825263$C71E1470-B9D0-4A7A-99EA-6373B0234DA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"31b9e9bef7328695a79dfcc880d7770e640e0096","datavalue":{"value":{"entity-type":"item","numeric-id":6768420,"id":"Q6768420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825263$E021432D-DD7D-4C96-8231-39CAC9402555","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec2972df9828cfb7c04a73b4797ddbd8b038961","datavalue":{"value":{"entity-type":"item","numeric-id":1664851,"id":"Q1664851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfd9c56b76b5b741908ed53ec59c61b920b3e89","datavalue":{"value":{"amount":"+0.922316312789917","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":"Q2825263$CC5AC373-E7D4-4EBE-8411-323CD552B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc14111fc7888d1f6e1bc0c139813a021c6f04f3","datavalue":{"value":{"entity-type":"item","numeric-id":458130,"id":"Q458130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c6afdd2d0dab8d692803c812493a64ccd73155","datavalue":{"value":{"amount":"+0.731154203414917","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":"Q2825263$19B33650-0229-44F3-9D1E-0FD6D8124491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a4717edb2c0b89de3d3bc980a6a1740976e7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91053b0958064abb1541099d8c105b2f5c063ceb","datavalue":{"value":{"amount":"+0.7216122150421143","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":"Q2825263$F2A17479-3004-435C-BFF7-A161DC2F3632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dabc0c8e45c1e6bb925593d0e2d62c2a9b648ce","datavalue":{"value":{"entity-type":"item","numeric-id":1744456,"id":"Q1744456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e36a9369d4cb35c45696db74388a2dcb1eb522","datavalue":{"value":{"amount":"+0.706520140171051","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":"Q2825263$05A801B2-9C16-4B4D-A9B8-B141138F459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2b443b6984e65a98fdcf55b89de7d7df6cebcc","datavalue":{"value":{"amount":"+0.7019080519676208","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":"Q2825263$A05B0693-98E0-4D32-9209-A4B41AFAB4C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825263"}}}}}