{"entities":{"Q832053":{"pageid":833901,"ns":120,"title":"Item:Q832053","lastrevid":64674003,"modified":"2026-04-11T21:28:08Z","type":"item","id":"Q832053","labels":{"en":{"language":"en","value":"Quantifying software reliability via model-counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498042"}},"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":"Q832053$7DBD4AD8-E2D7-4923-B121-2D8A70BB5D53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbaf6a53778dd41e527947262acbbb48fd45a7a0","datavalue":{"value":{"text":"Quantifying software reliability via model-counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832053$68BA1B7E-9EA8-4C1A-AE9D-248EE0BB21CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0f0b853a50e73348d5630c1837283853ed34f9b","datavalue":{"value":"1491.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$3D0D290E-ACE0-4CFD-B721-CEAC80B74FC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7aa1afc8dec6d31b838933e51afd9277e4ed4dee","datavalue":{"value":"10.1007/978-3-030-85172-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$0CBDC2B4-24EB-4CA6-8570-6B5F15C75A5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77b39f4e4c71fb206890a732abd9703c3a08ae80","datavalue":{"value":{"entity-type":"item","numeric-id":832051,"id":"Q832051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$0ECB601E-7DB8-4F67-AE1A-4C22AF27E0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31515ed69a84f0b06568d583b29c1b31c782866a","datavalue":{"value":{"entity-type":"item","numeric-id":832052,"id":"Q832052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$5956B815-6525-48FD-A506-08672C819C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832053$DB7F0CD6-3BB6-4344-8F24-36653B8DE0A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$298C8586-B63D-4B3D-AE1A-80CD9D0B4B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$2D71F0A4-5F4C-421B-B3FC-7A1F1226F31C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e0dd90d5081e0868d50b2ea01b05e30b4b9db6e","datavalue":{"value":"7498042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$1C97D421-D059-465D-B2B5-0E305D4F33CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q832053$2C61015D-5E57-48CB-8B33-07EF4E0BE313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q832053$89E624A9-C38B-4520-AFBE-D8FB067E7C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q832053$7E5F41C6-32FB-4E6D-8E91-39BEDAECE484","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$C9E86E19-7B62-458E-8F0B-2F0F296C632F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17a9a7d34916b92d6ed1b4a4491a97b31ca460bf","datavalue":{"value":{"entity-type":"item","numeric-id":1354200,"id":"Q1354200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$A2B9BD40-9BF7-4693-89CA-5A39150F278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14003a50a44c20e712064b27ecfc39c8400dd7cd","datavalue":{"value":{"entity-type":"item","numeric-id":16824,"id":"Q16824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$17BCFB48-0203-4AE7-BF28-121190CFC17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c1f6e2391d452cadf5db725440d5106adcb83db","datavalue":{"value":{"entity-type":"item","numeric-id":20837,"id":"Q20837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$5D640D5E-9013-41D7-991A-109BB705DAB6","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":"Q832053$95FEA3B5-FC51-4BFE-9B31-0A587E1DEEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$2683824B-4F6D-4402-9ECF-480437E8B167","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":"Q832053$B70B8C35-136D-4E00-859F-055FDFC2CA7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea7bdd1d9a74bef2cc50d16ab3b7f9f12cc81887","datavalue":{"value":"https://doi.org/10.1007/978-3-030-85172-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q832053$590AEB2C-E951-4B37-A44A-7611382A0248","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f73a3682c0217632bfca5772283bf9ccd375d0d5","datavalue":{"value":"W3193877711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832053$4C5AE5A5-090D-4DCA-827D-86DE139CFCFF","rank":"normal"}],"P223":[{"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":"Q832053$6538BE35-5A86-47A0-AC0B-40FD28A90D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a2ac907d90643def49ce31bd45869b06cd58ce","datavalue":{"value":{"entity-type":"item","numeric-id":5039530,"id":"Q5039530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$3FCA6DC9-62E5-4C2D-86F5-7A9784D8BFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c92aebe1288a33263b617b1b67a4323e7a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643564,"id":"Q2643564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$0556D549-844E-4D5E-8DA2-CE6BF4A0488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512eba9d3f01ffa53b19c8e414dca61b0243aca6","datavalue":{"value":{"entity-type":"item","numeric-id":5145676,"id":"Q5145676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832053$AC3F52D0-90B1-4D78-AF28-176FCF90173D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251d9896e8dc6ebf1637c9e7081284c78c584c53","datavalue":{"value":{"entity-type":"item","numeric-id":5039530,"id":"Q5039530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb57acd9cea955fc189f90bc7d33eae79d790880","datavalue":{"value":{"amount":"+0.7231631875038147","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":"Q832053$E4D4DA03-9596-492A-95C3-429E126E0935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f97e849e890aa726707b551185dc2a844c23f845","datavalue":{"value":{"entity-type":"item","numeric-id":3809248,"id":"Q3809248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42d087d9967c8051e5193dc689e65b1367a97ad","datavalue":{"value":{"amount":"+0.7152325510978699","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":"Q832053$ADDA4A2B-A03C-424A-ABE7-36B9A9AA20B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd5bf38cb422cc35773626e2690241b85cb2ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2993238,"id":"Q2993238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65bd9d5053c1be6dc5ea5906b2669dc96e7f2461","datavalue":{"value":{"amount":"+0.7077381610870361","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":"Q832053$7CE68931-910E-48AF-9274-BDB8AF6B7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b1015e87f89e6271e6c782b6bbbb4697cb719a","datavalue":{"value":{"entity-type":"item","numeric-id":4027512,"id":"Q4027512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5c51049e9b6e15f2426df30bbfab0cd5d9a1a9","datavalue":{"value":{"amount":"+0.6990135312080383","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":"Q832053$F6B5CBE4-75A8-4A89-9BD8-F24CC8ABC54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053464046189d6003b5eb81564b5bcb406246845","datavalue":{"value":{"entity-type":"item","numeric-id":2926802,"id":"Q2926802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa93c06ddb7df699114f5a20bcea602171bbc767","datavalue":{"value":{"amount":"+0.6990131139755249","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":"Q832053$0BBBE199-2240-49B2-9049-953C51CC3141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifying software reliability via model-counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifying_software_reliability_via_model-counting"}}}}}