{"entities":{"Q1119013":{"pageid":1129762,"ns":120,"title":"Item:Q1119013","lastrevid":66781032,"modified":"2026-04-12T12:49:18Z","type":"item","id":"Q1119013","labels":{"en":{"language":"en","value":"Stable families of behavioural equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4096764"}},"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":"Q1119013$583A4AC9-5D10-496E-9DDD-744BCC75F5A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1081bca2c01e3eb26e3135d0be6b80a7387e454e","datavalue":{"value":{"text":"Stable families of behavioural equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119013$2E40B0AE-A126-4BB9-83B9-877C0EEDD98F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fefc9ea59cc549e81676281b579b0c97ee911409","datavalue":{"value":"0669.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$59EFFC82-E719-4E5E-BBD2-0F1D9A5902BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bfae3dafed00da0a7ed7c183752968d1726672b","datavalue":{"value":"10.1016/0304-3975(89)90065-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$F9CA2A00-CC59-459D-80D3-F05BFF8AE5D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$1BFAC4C8-CBAD-425B-8FC5-1B5B7F5C2E5D","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":"Q1119013$28CEE4A6-6637-4E04-93F6-B687EEB7D98E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1119013$C68FD849-D537-4485-95E2-5030BF39F76D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e6374d2c42ecf9cc60cb4cac1e6a0e3d401f722","datavalue":{"value":"Notions of behavioural equivalence, as defined for general transition systems, are compared and studied with an emphasis on relations between transition systems and quotient systems.    The notion of stable relations is introduced and it is shown that regular trace logic, propositional dynamic logic, Hennessey-Milner logic, and full trace logic are stable families.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$1A999637-844A-4E70-BF64-24670D0D33FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$0E28BE3C-49CD-4BB3-B343-CB4BFD1302EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$1F9B8022-419B-41F0-8BD0-B35AF47C7B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$B8F9BAFD-F198-4297-A3B8-14B85536E6F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"992494a09135eee6e39782ff067c74953125078b","datavalue":{"value":"4096764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$D845E823-A4B3-46A3-8137-DB79132D17CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$73D1EC71-5643-479C-AE3A-E405B73E6A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbad75c1d7fc4c8c22693fd43373e0b4c9508a1","datavalue":{"value":"preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$6F40C54A-2F8D-4A97-9734-5F920BBFE8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$75D78CBE-4ADA-49E4-A01F-AFB91220570B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$A48A2197-5034-44A4-8E18-BA4DFB7886B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5172669df084a93a3954de1e21d54d3180dcfc2d","datavalue":{"value":"regular trace logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119013$49CF6CE4-71C0-4ED9-97C2-6E3FCD928EFA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$70033184-F407-418F-A244-A06895AE0594","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":"Q1119013$FED969FB-2E81-4F43-AB79-182BE469C608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9958a8e3ced21143a114db4849887af0b1ae606","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90065-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119013$8016D24F-A0B0-4B3F-8256-CC9EFF0F56FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9326c8173a8dba2415b458b4c48298188a65d899","datavalue":{"value":"W2046431537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119013$EBF9D169-E3C8-44D8-B9BA-14AB9A158431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d4a6a227c79868bd9b5023884039f04b712af5","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$FCB7DB5F-B504-418B-9ADE-C6ED1F98451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$10A1DAE5-EFF2-479C-86D6-32B4D4AEC957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$EFE00586-CC7F-4FB6-91E8-BDC90E147325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$737D50AE-7184-4A20-B55A-BA349B3C0192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119013$2C064136-F3AF-480E-A4B9-4D7744FD1A44","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":"Q1119013$FB4A4E07-1BD6-4C00-9977-2824997A8934","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":"Q1119013$08BC2AF4-4D1F-411D-96DB-E14FB4E8E920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438bdee89f0a5eee0e9983f978c78262ab283a3b","datavalue":{"value":{"entity-type":"item","numeric-id":804568,"id":"Q804568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53f89b4c88b899d591dc96c49dd8df32f572966","datavalue":{"value":{"amount":"+0.855315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$04BC6C23-8FD4-4454-8A76-81809838ECF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6baeb317011fda4aae8ebb783be4e632df21c00","datavalue":{"value":{"entity-type":"item","numeric-id":1583482,"id":"Q1583482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a706ff694cbddb3f10df72069aef49caaa517e9","datavalue":{"value":{"amount":"+0.8541863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$BA9F9943-2C34-4AA1-96D4-0E059843A20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3c15e9dc27b8a45716b7d8cad103ae4fc1e197","datavalue":{"value":{"entity-type":"item","numeric-id":5958797,"id":"Q5958797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbaa8332ce6031040fd9eb8e4708b0110f75fa0","datavalue":{"value":{"amount":"+0.85268486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$432AFFB5-E43B-4DE9-AAC8-F04C2DF75685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c0268a3f20477692d0ced7678920fe48e5968b","datavalue":{"value":{"entity-type":"item","numeric-id":3321470,"id":"Q3321470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071b2dbeaff8b56f25268d7dee4af1f1f16d350d","datavalue":{"value":{"amount":"+0.84381664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$6FCDFB1B-EA00-4211-A136-636F659A40DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c34ed7204be5fd49df4628fa734ac238aeeba2f","datavalue":{"value":{"entity-type":"item","numeric-id":661028,"id":"Q661028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7077addb090c96b766fbed988e806f62cbdaae5","datavalue":{"value":{"amount":"+0.84197366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$6EC8302B-8127-4104-8808-A5FF0BB0B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d0a5960d6fb47674987a258f0e8aaa6e5d371c","datavalue":{"value":{"entity-type":"item","numeric-id":2351881,"id":"Q2351881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c8454a57b96e6000a4bb19ae82c5ae5a55c3ea","datavalue":{"value":{"amount":"+0.8376319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$FC180D27-CA98-454B-8FD9-012FE0BFD537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98aecb1d15b1185427bf464f6cfc45d8649eccd2","datavalue":{"value":{"entity-type":"item","numeric-id":2323978,"id":"Q2323978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e39cdd41a5f694ec6f9011e1b2d456bd14b32caf","datavalue":{"value":{"amount":"+0.8318698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$D93399D8-F882-4A3A-9286-555152C7EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d5006b7939853d1382e30c23e24210453e079a","datavalue":{"value":{"entity-type":"item","numeric-id":4275258,"id":"Q4275258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd898eb9907599e95676d8c8fd0d56f1f914815","datavalue":{"value":{"amount":"+0.8312442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$D172F16C-B8B3-4F30-8CCE-64D5CF17D976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0a84790bf037aa3d27f3addf416190de5f79a3","datavalue":{"value":{"entity-type":"item","numeric-id":627723,"id":"Q627723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e10116607aadff517ca49fe91ef4db42c52d323","datavalue":{"value":{"amount":"+0.8289267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$2DA99F1D-3DD9-40AA-A128-09F50E7AC773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e513bdc93ebbd3c6b6ae993134aefbd9f8cba","datavalue":{"value":{"entity-type":"item","numeric-id":3121288,"id":"Q3121288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e908943d567f9bc8618bdcd9d711b268d8ef4af","datavalue":{"value":{"amount":"+0.82800084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119013$860DD43A-D795-42AD-8E46-AE35EA16B25D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stable families of behavioural equivalences","badges":[]}}}}}