{"entities":{"Q580963":{"pageid":582730,"ns":120,"title":"Item:Q580963","lastrevid":62924658,"modified":"2026-04-11T09:01:08Z","type":"item","id":"Q580963","labels":{"en":{"language":"en","value":"An intensional characterization of the largest bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018362"}},"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":"Q580963$1681ED60-5EFD-40CB-BE2C-FEF2336B6767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbf80cca2415e7ed3d5a57e943ead77d5cb097b0","datavalue":{"value":{"text":"An intensional characterization of the largest bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580963$2FE0FAA4-0B2B-4571-B858-6E0C93E8C0D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d0df272a542c8af84fba148710b2e95fb433c7","datavalue":{"value":"0626.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$8C562F34-5F61-4266-B046-0EA9C46AA8CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd8e02b49b9d5145f5b86ba9dc2158f64b4f7317","datavalue":{"value":"10.1016/0304-3975(87)90073-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$6A453B43-AB25-4490-8CE0-D643385A47BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fbac9052f129ef2f8a84bce4b214226c0b56cf","datavalue":{"value":{"entity-type":"item","numeric-id":580962,"id":"Q580962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580963$93E8F8E8-D8CA-498D-9AA7-A1862B60EE83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580963$E990174C-FE10-48CE-943D-588FB68F5EE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q580963$80FD7AE5-D26F-4CF1-9728-FC60BD7AB591","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33e3234adb57ef500d1f21e6b4a4755f884152b0","datavalue":{"value":"The notion of observational equivalence in Milner's CCS can be viewed as a limit of finite approximations of \\(P=Q\\). This limit is however not uniform and is thus perhaps not the intended one. These problems were solved by Park's introduction of the notion of bisimulations. Since the concept of the largest bisimulation is not formulated as a limit, the uniformity `missing' in Milner's observational equivalence is only implicit. In the following note we use proof objects to formulate \\(P=Q\\) explicitly as a uniform limit of finite approximations, which gives an intensional characterization of the largest bisimulation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580963$8A2F0B57-D0B6-4EF9-AE91-85255572E32D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$C26C0362-E561-4960-A4FD-47CB201A5BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$A4925347-01E9-4926-BC6C-73442FF3AC62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c5d76cf90bc1d471c335676e48dd3ce4b8d1e13","datavalue":{"value":"4018362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$2220C454-2E26-4041-9CC8-F376DB23FB2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q580963$4958B34A-0703-447A-A6B3-894543F8114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303bfa0a5f89083c12604507845cceabdfab429b","datavalue":{"value":"Milner's CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q580963$49CF20BF-374D-4677-A88C-B54F10F55EEB","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":"Q580963$9ED0FFB0-4897-4ADF-8DC1-C565A967F8BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64690d907e1905f8d2437f867e6136575a9bcefb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90073-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q580963$390F0CE9-E509-4DB5-BB36-32CEDA3969DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9487b45a93e426174180c8672dcaaee43eddd39f","datavalue":{"value":"W2091883117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580963$6FE6CB4D-5F34-49AE-A23D-00BFAAA2685C","rank":"normal"}],"P223":[{"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":"Q580963$879BFA6C-76DD-47F3-BC8F-E14E3C8B1064","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":"Q580963$1B0A7081-B393-4571-95DE-95DEC4AE80F0","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":"Q580963$C48AC3F6-6369-4A65-8AF8-2A12EF953424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580963$E64DE93D-9106-4526-B23F-2DB3BEA896CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b574c90366e96190c8af0d59069af03082dcfc41","datavalue":{"value":{"amount":"+0.7679250836372375","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":"Q580963$0DDA0BA6-2789-4E28-AD56-AA3DA03F688C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b472e99f80eb9c4ac9b838cbd018d7cb7cf5c326","datavalue":{"value":{"amount":"+0.7489781975746155","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":"Q580963$9558BD4E-81E6-4E3E-8456-3505E1EA3F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f2567dff66b997d643577a4ce75dfb56d5b1a7","datavalue":{"value":{"amount":"+0.7475064396858215","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":"Q580963$176671BF-E872-45D8-9240-418AF4ED74D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8162206ba5d6eb6a8e0cab7f0cc3485ae9d686b","datavalue":{"value":{"amount":"+0.7381780743598938","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":"Q580963$9EC1A5A4-7DBE-4F72-B835-4D34F242CDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617b0df833638df303b4654b02af8d21ecd46a38","datavalue":{"value":{"entity-type":"item","numeric-id":5709380,"id":"Q5709380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c53232e2b72276fa18b9808bd21d8615e4b842","datavalue":{"value":{"amount":"+0.7354944348335266","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":"Q580963$81AE9DD6-8C2C-40BD-A691-812BB4023AA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intensional characterization of the largest bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intensional_characterization_of_the_largest_bisimulation"}}}}}