{"entities":{"Q2366163":{"pageid":2376906,"ns":120,"title":"Item:Q2366163","lastrevid":78676304,"modified":"2026-05-06T12:10:31Z","type":"item","id":"Q2366163","labels":{"en":{"language":"en","value":"Testing equivalence as a bisimulation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223329"}},"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":"Q2366163$276700F5-641E-44CA-8C2C-C9F6D5926AA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71bf30b91a8534156d0ed263d8e18e197c7540d8","datavalue":{"value":{"text":"Testing equivalence as a bisimulation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366163$33708962-7715-4AB8-BD73-0D4C38B7AA28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1feac075899c0c322d9776507b4494d20007566","datavalue":{"value":"0797.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$8B6A7AAF-FE3F-425D-BB7F-AD6088071318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ff7933ff77caa16ec0e2ff1a912042706f86dd","datavalue":{"value":"10.1007/BF01211314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$42317DFB-BB35-4799-8354-AD99DFA3EC58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$9B7BCBC2-5F86-4A21-8D82-0E9B3EE739B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$365CA356-8CD7-46F2-A9B4-4A0DFDA050B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$5AABCA45-AC46-4DE8-9958-847E37C09CD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366163$5B99CFBF-C2FB-4E06-B6C7-A84CC8D40273","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9399e82722fd34fc2ef7c2e3eb540a18ed7a6537","datavalue":{"value":"Algorithms for checking the various testing preorders and equivalences for finite-state processes are presented. It is shown that (pre)bisimulation-based characterization of these relations relies on the use of appropriate process transformations; the testing relations on the original systems correspond to (pre)bisimulation relations on the altered systems. As a consequence of approach presented, any implementation of a (pre)bisimulation checker can be easily adapted to check for the testing relations. An extended example illustrating these concepts is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366163$44E4DC36-57E1-488B-AB50-04B33B20EEF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$8C4ACE75-208B-4CCA-966F-4A0027159143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$B7A98F67-4757-4195-B873-95B7415D6B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$E1E81440-7F27-423D-BFF7-78B1A01BB86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$AEB85AC3-49E2-4FA1-BDE4-612A5B4EBB80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd10b8f8628068f42ce232ea7f99fbedebd32687","datavalue":{"value":"223329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366163$1B684189-C4B6-4A3E-9FF0-705916A2D322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366163$72DFF667-7C66-4095-BAA2-081A6BA6480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2003496f989f52f10d8eb5f5940609debfc871","datavalue":{"value":"finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366163$E07EC636-3F55-494F-89DA-5B39A7CD2276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366163$8C0BBD6F-AD93-4CE9-AD13-D6B6AB50D844","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"90e834492c280ea6f7cd09939cbb51910bf38c22","datavalue":{"value":{"entity-type":"item","numeric-id":1006888,"id":"Q1006888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$B9D44F70-AC51-4DAC-AA96-28FFCA749783","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":"Q2366163$A37B15FD-4A21-4379-82FD-CBA12A8BE0B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$167B0229-7BB3-45BE-A7DA-1055ADDC7FFB","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":"Q2366163$CB0F942F-8844-492C-B0F1-F7E39B5D6AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$9CFE6892-C709-4248-B64C-46C8C17026A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$DF333C33-1755-467B-885A-2DC9C69CE232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$CEE94E15-229F-41A0-920C-56AC18179965","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":"Q2366163$9B574598-B212-4C79-9270-4173CF3A8D41","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":"Q2366163$F562CA63-4FF0-4F15-BEED-7C1B589E65B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$E7C3E8A4-C367-427F-9F01-901BC9409C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$450C4049-DAF4-4AED-9D4D-B4E01196D28B","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":"Q2366163$E4B96AA6-DD41-43C1-9995-7DB0E4DC45FF","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":"Q2366163$BA224767-8B59-4551-AF9B-F77E0457AB26","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":"Q2366163$6038F622-4912-40F8-904B-6B8398865AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$8F82575C-6CF6-45F4-B484-81E3F531BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366163$87F74CFC-B65E-46B9-B9DD-0E1B1E27A475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794a5da3288d57afcbbacaf743266969ed0fce8c","datavalue":{"value":{"amount":"+0.7893753051757812","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":"Q2366163$9F8EEC4D-1493-4EC4-942E-225162F4FDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8670f246e6adbcb365c377b1c5a27fb15463a90a","datavalue":{"value":{"amount":"+0.78936767578125","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":"Q2366163$426823E4-0DDB-4EFE-90B4-14A6BD9BD4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6b871e3aab722b54dd0e9519da5e740eb60de1","datavalue":{"value":{"amount":"+0.7869446873664856","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":"Q2366163$A7871667-77DA-4E98-B098-032A375BD2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f637391d41b1b099a9051715b4841f12ee97bc","datavalue":{"value":{"amount":"+0.7862808704376221","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":"Q2366163$6BDCD7CF-5609-44A6-8CFF-B116CB24D3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc2b273a8ad000ca9c4e2c275126529ec84a62a","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f38e18f521d468ba188a2b563402877a8f9314e","datavalue":{"value":{"amount":"+0.78267502784729","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":"Q2366163$663D92A1-6949-421A-9C33-C594D150F17C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing equivalence as a bisimulation equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_equivalence_as_a_bisimulation_equivalence"}}}}}