{"entities":{"Q1664851":{"pageid":1675592,"ns":120,"title":"Item:Q1664851","lastrevid":57240981,"modified":"2026-03-27T15:03:00Z","type":"item","id":"Q1664851","labels":{"en":{"language":"en","value":"Quantitative analysis of software approximate correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6925653"}},"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":"Q1664851$9E2E3647-170E-4080-B168-D56716310B80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63200c95b1177fb9bd0343bc1513325b947ffe4","datavalue":{"value":{"text":"Quantitative analysis of software approximate correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664851$56F0BF0B-D25B-4720-9F53-8D093678E6BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e324a29550d12b3f26e7c444a405aac0c6bf7ca1","datavalue":{"value":"1394.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$6ECF8639-47F0-4E2D-A3C3-95B39135B0FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc78c42f967c7f16dbccc942e356fa9aea5d8079","datavalue":{"value":"10.1155/2015/173012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$8CF8454C-464E-40CB-A18B-7D17A4BB1A8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dc97bc0aff607b9c22ce37ffa18b6de85001d90","datavalue":{"value":{"entity-type":"item","numeric-id":86199,"id":"Q86199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$06D60804-76CE-41D4-869D-25F13E8B7B7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07d78b2809f727a96c8c6621733f1ab3a1973328","datavalue":{"value":{"time":"+2018-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1664851$BF8BDE77-B4A6-4076-B249-2BE2C6CB8F20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b008628d9083258d8e0df675a9894e42916181e1","datavalue":{"value":"Summary: Parameterized bisimulation provides an abstract description of software correctness. In real world situations, however, many software products are approximately correct. To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting. First, we propose the definition of the parameterized bisimulation index that expresses the degree to which a binary relation is parameterized bisimulation. Then, \\(\\lambda\\)-parameterized bisimulation over environment \\(e\\) and its substitutivity laws are presented. Finally, \\(\\lambda\\)-parameterized probabilistic bisimulation is established to describe complicated software products with probabilistic phenomena.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664851$C938201C-162A-4E75-80F9-DE61B7E5ACEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$BA2FBAA8-6C80-4094-8655-0B47FE986B74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4f7381d8f8555019c3ac635fb1ca43337f01035","datavalue":{"value":"6925653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$5B0246B0-FBCF-4AD0-9431-BDF0F00B3990","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":"Q1664851$9C7602B3-7B73-412A-8BB4-F69905F493F4","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":"Q1664851$74BD32F1-2CDB-4A0A-8FB4-36F995370BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dee4f4c62c9f54bf34d6920631df767f49463a1","datavalue":{"value":"https://doi.org/10.1155/2015/173012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664851$4C6C0187-4696-4354-A4C5-79A0BAEF3A6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0bce48243971eb574cf516b13f0782253fafbc7","datavalue":{"value":"W1553079932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$D056414E-0EA9-410F-8CF3-A99052C08633","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75e04db6d4be70552cb2d30eff4936b5f3e71bf5","datavalue":{"value":"Q59117468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664851$EEDB6246-2B31-4BFF-892F-975357942075","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3242c0d1a266e414c60988f553e4fc8e62c5325a","datavalue":{"value":{"entity-type":"item","numeric-id":549202,"id":"Q549202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$AD2D7D19-39CA-4274-8A60-1E97A43633F4","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":"Q1664851$5D4FD2C8-41FA-443D-869C-9CF389DF0C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0688b70732c897d7770c2964beaac7ff201e748","datavalue":{"value":{"entity-type":"item","numeric-id":5259293,"id":"Q5259293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$B715C4C3-22B4-4E0F-9FF1-58C27F5BDBB6","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":"Q1664851$7A40C3BE-D4D0-456C-B26D-612C9B3EE7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2146e004869421d0004301b1cf463b9d5af6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$416B165A-AB16-4617-8380-A5C5956A4DCA","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":"Q1664851$6532C73E-9517-46DA-B2ED-79090BED7477","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":"Q1664851$07512A45-D559-4F87-876A-BD1C940DED5C","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":"Q1664851$733347FF-C680-4EB7-86DE-D3714D93438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c056c3183d3a634065893b5d44f30cefa1eb542f","datavalue":{"value":{"entity-type":"item","numeric-id":271706,"id":"Q271706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$B9295FC0-D0D5-4F40-B255-17799EF8EDFB","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":"Q1664851$84A80AD1-A21C-46E4-8429-B193C07F0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809284d035e0dd51d8f9dd685e6ad0644b6af2e6","datavalue":{"value":{"entity-type":"item","numeric-id":352098,"id":"Q352098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$5D90E412-0177-4D68-BF6D-A5AF528E310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a036d0400be981c6a68bed3991112eb05ee9aa8f","datavalue":{"value":{"entity-type":"item","numeric-id":2994479,"id":"Q2994479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$FDC34FF3-96E8-4185-BBB1-5FFD1472CC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2422043c4a4f78a66bc3c5b14cbd9ee6e271eab","datavalue":{"value":{"entity-type":"item","numeric-id":2701735,"id":"Q2701735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$08C05018-D934-4886-ACA4-49FDBA05B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$D2D32B28-CB72-4CEE-90EF-E833CAB9B999","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":"Q1664851$1FC22DAD-A39E-4E09-9EDE-26CC8B5AE657","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":"Q1664851$EFF39A45-CD51-4DCE-8BA8-DA97C0CB5347","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":"Q1664851$5EB2317B-B0B9-4E88-8109-A331F141C770","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aaf9c98ae7d0e480c2674c3ab3c7fd9a2db5e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2825263,"id":"Q2825263"},"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":"Q1664851$D4742F06-2D57-4E9D-8410-7102A70B5448","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":"dbd1368baa4230d75d172e265dfe1f807ba6fe07","datavalue":{"value":{"amount":"+0.7722027897834778","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":"Q1664851$2D03694C-3DCC-4E00-B405-B7C74A79D47C","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":"40fb2dc4c0a373e57329732372bf34470f0c836c","datavalue":{"value":{"amount":"+0.7523869872093201","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":"Q1664851$DDD20448-D18C-4E5B-9FD5-D6963FB2E12A","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":"dd64a9228f115cc3c6f945f2a138ea04f6307aaf","datavalue":{"value":{"amount":"+0.7515429258346558","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":"Q1664851$9410747C-5F87-4DD8-89D1-8D1D644672C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191201ed0f3024a27ea2a2299fd1dd4e3866c18c","datavalue":{"value":{"entity-type":"item","numeric-id":459934,"id":"Q459934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69382372398117087067e539402893774bf0b0fb","datavalue":{"value":{"amount":"+0.7292858958244324","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":"Q1664851$5CF07E13-A706-4A37-8322-549159AAB108","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664851$672D722A-40AD-4E35-808E-C8874F97C937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1664851","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1664851"}}}}}