{"entities":{"Q2993238":{"pageid":3003962,"ns":120,"title":"Item:Q2993238","lastrevid":52592597,"modified":"2026-01-23T01:40:12Z","type":"item","id":"Q2993238","labels":{"en":{"language":"en","value":"Computing software reliability based on program invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611924"}},"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":"Q2993238$88115F36-53E2-4DA3-8D4B-277AEA6CF643","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5682eaffd17e18baeca6f68c694bad096d02941f","datavalue":{"value":"1349.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993238$1734A962-C8D6-4180-A180-D9D20CE6EB42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3547cfe888360d0951a38d84c7f2e0b6b8a7964","datavalue":{"value":{"entity-type":"item","numeric-id":351825,"id":"Q351825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993238$A18A4467-D73C-441F-A051-1EB3FEB98D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab2fb15c9b93af32fa06584c147f6ef3ab99e56","datavalue":{"value":{"entity-type":"item","numeric-id":454906,"id":"Q454906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993238$C27011BF-9852-4A11-ADD2-ED22F8FB7CF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993238$3F418163-941B-40ED-A416-3EF17EB63093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993238$E0D322FF-CB60-45DC-88FF-A0486D3096CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da5764a3d4c44ca0227a7816a0f95eea3cb54cd","datavalue":{"value":"6611924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993238$1DC38860-E310-46E8-9DBD-D487B17F4597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb88c628cae9640da0452ee389f27950aba088ee","datavalue":{"value":"testing case","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993238$19FC7D01-6DDC-49B9-9F3A-C2A236297F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679a60e13b71ac165e538d46025dbe8220282b5e","datavalue":{"value":"program invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993238$DD63006C-0944-4A35-A5C0-F56322B88490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b43868c1fe9198890a4a43c10a39e7b16caca91","datavalue":{"value":"failure data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993238$423D59EF-F4F1-41E2-A92E-C54A5C4830AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59da786d68e56e05386730a6cbc0f85b03dab82b","datavalue":{"value":"Nelson model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993238$5AA792F4-E426-48DA-A648-54CDADCF0348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993238$E949E055-B04C-46BD-9149-225926652403","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":"Q2993238$846EBE40-9250-4E7D-9FEC-56E16193F066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e771795433d3eaae55232015e720be0205d333e7","datavalue":{"value":"10.13328/J.CNKI.JOS.004803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993238$3C36B077-F24D-428B-80EC-AD9C912D4066","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c04487cf4ecf6d845219f2f48ccd547533c0ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4927832,"id":"Q4927832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b62ae410886b47dfab60e110be16b4a3360604","datavalue":{"value":{"amount":"+0.7122142910957336","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":"Q2993238$FCF4EC57-2252-4EF4-8AB3-D057D1902356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82da449bf9f08f77db832ad314d2899e03e75012","datavalue":{"value":{"entity-type":"item","numeric-id":5698480,"id":"Q5698480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fda502bd95d6527da7c2f205fc82657583831f","datavalue":{"value":{"amount":"+0.7113126516342163","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":"Q2993238$63BB6D6F-7010-4DB5-9267-4E48788B3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7d7feccddf0862266104376d728c9542f6c608","datavalue":{"value":{"entity-type":"item","numeric-id":832053,"id":"Q832053"},"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":"Q2993238$1D195A18-2650-4DFF-BBF9-4563B651A6A3","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":"2206517e092d274c36de27de94a61205435f17b6","datavalue":{"value":{"amount":"+0.6968715190887451","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":"Q2993238$25D872D1-349C-411C-84AF-A61A0D4084A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f495dd1f342eeb8f8246407f350e7f82afe59c","datavalue":{"value":{"entity-type":"item","numeric-id":5960726,"id":"Q5960726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50f92f5a3d71b2ff175ee8a3ad739ce712c50b4","datavalue":{"value":{"amount":"+0.6957917809486389","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":"Q2993238$B4674541-C827-43C7-A4A6-4DA9F1927AF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2993238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2993238"}}}}}