{"entities":{"Q672063":{"pageid":673912,"ns":120,"title":"Item:Q672063","lastrevid":63452610,"modified":"2026-04-11T13:15:51Z","type":"item","id":"Q672063","labels":{"en":{"language":"en","value":"Deciding bisimulation and trace equivalences for systems with many identical processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984759"}},"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":"Q672063$9EB5BF27-673D-4771-8CFF-EC37BFF1E0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442379bb5ca481132bb1af23c60edc411ea557fb","datavalue":{"value":{"text":"Deciding bisimulation and trace equivalences for systems with many identical processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672063$F10B5707-947C-49BD-B1B7-C82AD9C39465","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dea8fc42264108eac80f6860071b98724a527e5","datavalue":{"value":"0874.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$8969FC0F-B739-442B-A4CA-E3596BC2AEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4210c78fd078a158a03ebf932f3b99228c7fe1","datavalue":{"value":"10.1016/S0304-3975(96)80714-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$3D6C3018-297B-4C78-A189-95666804CC23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$760E1433-D630-42D6-8049-9375E274C3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6489a424af5509c3e216cf61b1d26bc45134c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":672061,"id":"Q672061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$19AEB52C-145F-4CAF-9008-0FD66862E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2d9e2a8ece130ec788643bf8ad95b8300efa699","datavalue":{"value":{"entity-type":"item","numeric-id":672062,"id":"Q672062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$DE10912A-551E-43EE-8ACE-08F199F71D0C","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":"Q672063$F3FA8AE3-F212-4DAA-B4CF-1A03F842D270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q672063$323FE798-C486-4F37-8E03-900BFA777147","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$B367CE2D-F5C7-46A9-8D51-7C63B36768CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$0BD9F69C-158E-43AD-B896-D789D174B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$351C650F-C23C-4410-9855-411F48E53E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6d070c558f3da51a7178fd90ced28b0a5fb2143","datavalue":{"value":"984759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$14BEE693-A8E7-4AD0-B1A4-06F22A18A792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a426b3ee2c58275dc27872646ee690c86a095cab","datavalue":{"value":"process semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672063$023E8A4B-5033-4BBD-A0AC-AAFDD0EE3F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q672063$CE69DC24-8A49-4661-A7E6-816FE1B2FF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q672063$C3585CD2-4EB0-4E72-A354-FFAD239795D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442b9d04d28bb1cc4d8a4a63208e6690985459b2","datavalue":{"value":"interprocess communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q672063$598D683A-206F-4994-A4EF-DC1094D4FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a551836e989638dbee2c018c15524b526fe707","datavalue":{"value":"calculus communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672063$5F44A39C-3B65-4746-BFD6-1909EC696440","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":"Q672063$0C55D15A-4D06-4DDA-A514-0AF9465FF031","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$8E09EFD5-B19D-47B3-BBA9-BE52238A053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$5ED1470D-C295-47BF-8BA8-FC9446C03246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ae6ed760781d3b49742d7b716b0a26662372ea","datavalue":{"value":{"entity-type":"item","numeric-id":3142557,"id":"Q3142557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$FF2B525F-EC18-446E-842E-EAC519894A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$6878D815-3F88-44B2-838E-BA69EDAC550E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$9D60EE6F-8D08-4FEE-8CD9-410079645A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182a34c32fa6eb3396137e922d81d0cd9546d802","datavalue":{"value":{"entity-type":"item","numeric-id":1342523,"id":"Q1342523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$FE6FD23F-78EA-407D-9352-ECECC0A94D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$1E075BA2-357C-40E5-A9F9-186FAA5D24E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87108acf045bf78204a3fa41cc71b5de23f7a79a","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$5C4F2345-2872-445F-BF1A-0DB7B3F5BF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$ED86D1C4-16DF-48D6-A5CC-2BD8FE8A3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f2f3287edaae3038e2df686f70d537cc2d531c","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$342E907A-AF95-4E1E-A965-E87D0DF4EDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2118093507b9c80d9212cac7b432d250cce61e97","datavalue":{"value":{"entity-type":"item","numeric-id":4362275,"id":"Q4362275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$23BB8AEF-7DB7-46A3-9AC6-D042CCECCB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$64A6336F-55AB-4F77-97C2-AC52455086C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b282ec426ce8dffbfcad6628f7a302c0f02e72","datavalue":{"value":{"entity-type":"item","numeric-id":1098279,"id":"Q1098279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$2A5A9717-9B90-431C-8470-DC5FA50F6B52","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":"Q672063$AFA5D521-8998-4532-AC46-C338A4754A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c06516e86ec2e7363d8cee5b62df496371a82f","datavalue":{"value":{"entity-type":"item","numeric-id":758201,"id":"Q758201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672063$40FDD4DC-8ACB-473F-89E5-260B932E1FD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2aa9ec964636fdbff0db0c53697917200faf2602","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80714-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q672063$AD09178B-95C2-4A35-BEF3-240F05DC26EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88139afecf14dec7e3272ec274cf63d075ce363a","datavalue":{"value":"W1981799619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672063$143D2E70-20CE-4C0A-9EBC-7822782EB889","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08eec810f3b702869ce95cea9df218e84dcbf8e","datavalue":{"value":{"entity-type":"item","numeric-id":6487976,"id":"Q6487976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q672063$05674C07-19A7-4C14-87AB-0646525DB5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c519f6db5688de71a3a2314c67a77fd8881c65d","datavalue":{"value":{"entity-type":"item","numeric-id":1310916,"id":"Q1310916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247b1c660363ddf7b4adce8cbac838126827df37","datavalue":{"value":{"amount":"+0.91212046","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":"Q672063$5DCB2754-870D-4E54-AC28-0AF64E54DF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0458738b4495a6a0beb364464d6655f95c51e249","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74df3cd0a00b31aa13bd406b6909cbbc02eeda7","datavalue":{"value":{"amount":"+0.9109874","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":"Q672063$E1ECC621-59CF-4E8E-93BE-31A7848E4FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e504b0a4c3171e53ee52b3bc4222f5fcf3052d","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb858d85c89f33938b638ab9840b9985931f195d","datavalue":{"value":{"amount":"+0.8897742","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":"Q672063$3ED693A8-1307-4C03-A31B-BE20DBAD17AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb858d85c89f33938b638ab9840b9985931f195d","datavalue":{"value":{"amount":"+0.8897742","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":"Q672063$D5726896-4313-4785-98A8-32EAAD6E259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114b142bdc5f56e27f94135cf1e45dc66c203e21","datavalue":{"value":{"entity-type":"item","numeric-id":4571985,"id":"Q4571985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5557b3f5b0854e2a64daded63a6888b82d246f0e","datavalue":{"value":{"amount":"+0.88550323","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":"Q672063$44351783-F255-4B80-A8AE-366FEF14D72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d297bcb452728c934fc795e02fceaa07ca1c3","datavalue":{"value":{"entity-type":"item","numeric-id":4715674,"id":"Q4715674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832f37e41baa6f747093f72ba30533f5af8831e8","datavalue":{"value":{"amount":"+0.8844877","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":"Q672063$F8FFBAD7-92F5-45C6-A127-F773474A9BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ffb7a4bd9af8ecb8a112a6be113733cfef6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2365394,"id":"Q2365394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5b7448fdcd2e235edf5de0b8f7fafad745f645","datavalue":{"value":{"amount":"+0.8798624","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":"Q672063$50E4753D-2D2B-40B1-A851-74973569B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d644fc0843206e5e0bf695eeab04b4e7645369d4","datavalue":{"value":{"entity-type":"item","numeric-id":1049404,"id":"Q1049404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff684a438b93b0b659e48a596cb2831292a0568","datavalue":{"value":{"amount":"+0.87709993","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":"Q672063$DD6BF90D-DB53-465E-BA80-9FEBCDFCDA5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding bisimulation and trace equivalences for systems with many identical processes","badges":[]}}}}}