{"entities":{"Q1175940":{"pageid":1186689,"ns":120,"title":"Item:Q1175940","lastrevid":69807312,"modified":"2026-04-13T09:31:39Z","type":"item","id":"Q1175940","labels":{"en":{"language":"en","value":"Bisimulation through probabilistic testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14889"}},"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":"Q1175940$BEB77997-BF18-4B6A-AF63-585D8CCD52FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f140874e145d87c01ffa51af63850e916e44ae2","datavalue":{"value":{"text":"Bisimulation through probabilistic testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175940$20D9AC5C-1414-4629-BFF4-D59250697874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"176630a168b601e570ce6e7ab43bc6b0bb34d747","datavalue":{"value":"0756.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$7C5AB6D7-FCC5-40E5-A11C-A8C38DE879BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5269e8f2e1a6b95067c4389dea93c8c2390aaef9","datavalue":{"value":"10.1016/0890-5401(91)90030-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$740EFB06-FFEC-4095-A42F-42ED455C6B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cec17731054b6430f8195f887b8e0fafd1abd5","datavalue":{"value":{"entity-type":"item","numeric-id":1175939,"id":"Q1175939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$99CA5E87-002B-4CD1-BC48-1DB1E853CB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$5F2A08DB-CB43-49CB-8835-E6888ED92294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$C8547957-69DD-4302-8954-1C2E75391C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175940$27845D00-6A6F-41C3-96C8-AA74EB63D5D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c59958759a46f2c177e9df12e2cb805b423e9c4","datavalue":{"value":"A test language and a notion of probabilistic testability of concurrent process properties are presented. Properties expressed as formulas within Hennessy-Milner logic are testable and as a consequence non-bisimilar processes can be distinguished through testing. A new process relation called \\({2\\over3}\\)-bisimulation is introduced. The relation lies strictly between that of simulation and bisimulation. For probabilistic transition systems for which there is a limit to the probability of transitions it is proved that two processes are \\({2\\over3}\\)-bisimilar iff they satisfy the same limited modal logic formulas. Probabilistic modal logic is introduced and it is shown that the induced notion of probabilistic bisimilarity characterizes the limit as to the distinguishing power of the test language. The probabilistic bisimulation is strictly stronger than bisimulation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175940$AA9D377A-B758-46A3-B50F-E725259E9E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$487243FE-D3E1-448D-A7E4-0A3978A33FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$0E643234-132C-415D-88CC-A69227A40B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$E2CE71A1-2164-4809-8EE0-6922CA9D5A5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"837d0d10f732d1b6039487c194026b9fa52854bb","datavalue":{"value":"14889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$641EE425-8F54-4B83-9A3D-431973907F43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02f51af1375fafe02b972e348cfd1d151808cbe","datavalue":{"value":"probabilistic testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175940$4321B4AF-0A95-4708-A334-FA14D2DB3FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf2902f466113793f831a2a07d78a930034b982","datavalue":{"value":"concurrent process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175940$1DE5A930-4707-4654-A437-2BF2D4144A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175940$802E6916-BAB9-4527-9A5C-26A66381E1DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$9D50CDB6-0E30-4FC6-9757-FF5F1E3CA473","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":"Q1175940$57687BB4-3AFF-4553-869A-9E32546F55FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20df762770b0467dfd96181e6a6a96ffae3f41f0","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90030-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1175940$5968AD95-5EFE-49E6-A082-A29321789276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a46539a509e4a65d429cd5045634cdc626ba37c3","datavalue":{"value":"W1976268573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175940$2A3184F3-41FD-4ACB-84FD-DB12948DA1A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$DD6DF1CC-55C6-44AF-8751-504D07A9BF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56557a811608e93a4f482e5a66b784fb3dd2257","datavalue":{"value":{"entity-type":"item","numeric-id":4730757,"id":"Q4730757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$CB21AE3C-C53D-4D0B-9607-79B082EB55D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750b5c04bccda9b165884a60df372c093470e6aa","datavalue":{"value":{"entity-type":"item","numeric-id":4045366,"id":"Q4045366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$3E6641D6-DBC1-453F-9851-E20B11F0D7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8005b861e0ea4ecd819198131c4c2f918ccc7ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4101268,"id":"Q4101268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$4A164EFC-D2B6-4EBD-9F31-E7DB907BCFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$FECB58BA-C617-4165-9DDD-76A12A5F1804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdd4039390b89be98f162a7f08c84d89b026937","datavalue":{"value":{"entity-type":"item","numeric-id":5684216,"id":"Q5684216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$D66324B7-AEF5-4B2C-9998-72E67616EE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$E34A9143-142E-42F9-8575-B3F0A5F17CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$7B8B9D33-E67D-42CE-AF08-9691CA63817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$16D0DCB7-179F-4BFB-ACAD-D77C90D75554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$27E5D16A-9F01-4ACA-8972-D2DDDECB574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$9F0C5E09-D6D7-4CCC-8DB3-78C42D58A7ED","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":"Q1175940$7CDFC906-2B9D-4C34-8BD8-F782175EA8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$5B8867B1-A197-43F1-8B7F-C85AA113E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109a86db3693209ca35963fd1b3aa330ada8ab52","datavalue":{"value":{"entity-type":"item","numeric-id":3725532,"id":"Q3725532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$2004092B-703B-4E17-BA90-909363A5C602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$0A74D5D9-49C3-4B98-8116-0EF2DED80561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45f552829e448fdb1f5d0c5585c08bd5972555","datavalue":{"value":{"entity-type":"item","numeric-id":3694687,"id":"Q3694687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175940$67F4B246-ADE8-441E-A65D-EB4F7E6EE960","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04094b55ade4921f5d26fe1c1498310d4851a4","datavalue":{"value":{"entity-type":"item","numeric-id":1680507,"id":"Q1680507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e642bc632d84925a312bbcfa156130d8071d967","datavalue":{"value":{"amount":"+0.880413830280304","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":"Q1175940$0A83DCAB-4A1E-4201-B222-00225F11F43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e1b267484066afff79512a6586de0009975d53","datavalue":{"value":{"entity-type":"item","numeric-id":4737187,"id":"Q4737187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e52c1302f606a4fd0867f7f33c3d9c637321239","datavalue":{"value":{"amount":"+0.8678551912307739","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":"Q1175940$D51E3E64-C744-42C0-927E-23A6DA4A5CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f50a97fdf2cdf6d682aeb7fdd75805555d91392","datavalue":{"value":{"amount":"+0.8589667081832886","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":"Q1175940$0C8C2B8B-6063-4A1E-882D-6AF3882B0B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27be90a18914037a481652af0d8a4ab64e2f109e","datavalue":{"value":{"entity-type":"item","numeric-id":1941884,"id":"Q1941884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cce1f912473957b77c142c6bfd1778207390aac","datavalue":{"value":{"amount":"+0.8567596673965454","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":"Q1175940$1ED65AB7-86FC-4120-A7F4-B22F4142A63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef4dd5ecb9d6073e50d69f13d2743b024baa99d","datavalue":{"value":{"entity-type":"item","numeric-id":2864156,"id":"Q2864156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0bd351d67f53a32368496a5d1b207eb9ed4862","datavalue":{"value":{"amount":"+0.8432325124740601","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":"Q1175940$9AFC6756-CA73-499C-9ADF-804C9E617B70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation through probabilistic testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_through_probabilistic_testing"}}}}}