{"entities":{"Q2461535":{"pageid":2472278,"ns":120,"title":"Item:Q2461535","lastrevid":57179253,"modified":"2026-03-27T09:34:11Z","type":"item","id":"Q2461535","labels":{"en":{"language":"en","value":"Deciding orthogonal bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215440"}},"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":"Q2461535$E43D67C8-2A3E-420F-A04B-0B911011380F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc68dc124a17ad05870e4974400c9c10de6ed2ea","datavalue":{"value":{"text":"Deciding orthogonal bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461535$FAE4C3CB-E4D1-4164-BFC3-65D75AB2AA28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ea54d876b6f99beffe86a57d04de89c3484f0e","datavalue":{"value":"1131.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461535$2C6EFBB6-784E-45B7-9983-050940FA7516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a80c4b274f4bdbe6cfe8407987da766fc202ec","datavalue":{"value":{"entity-type":"item","numeric-id":955711,"id":"Q955711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$FE7A7FE1-1686-4D32-A97D-11EF16F303E5","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":"Q2461535$F6920A8D-B452-428E-BD70-5854978F40C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461535$3985E44D-984E-46F1-A460-904D59114423","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461535$7B2BC382-FFEE-4F9B-BE5C-8CADA734AF99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"717e45d537a044d347a476327a8ce18eba73d1d7","datavalue":{"value":"5215440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461535$12E808EE-A63C-498A-AB9A-85FA55A35519","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48651fc222a35e2206fc999ef422cb5d03872abb","datavalue":{"value":"Concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461535$417334FC-7199-4438-8C6C-57E3FA4C4DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c195d47fce7e786678f05ed1f0e2229183d34236","datavalue":{"value":"Orthogonal bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461535$D1D2F6D5-1A48-4426-9BEE-5699F3859DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4184bdd351b3e108d6ca9609d02387bdf2d81fb5","datavalue":{"value":"Branching bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461535$E336DDDE-0D51-4898-87FD-957F490DCBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46042ffc29c690ea9e73234912c284611f3436ca","datavalue":{"value":"Silent step","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461535$F002B9FE-C993-4167-A80D-47EE195665E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab489bc8e6c1bc45e8430ee3aaafe9b7b34532c","datavalue":{"value":"Labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461535$CF60551A-41FD-470C-9A97-070D6821541B","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":"Q2461535$87BBFF4D-ACB1-4564-937A-F1AA654C3E04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c5a2c9e6014b021d165604b102a1b241e5ea977","datavalue":{"value":"https://doi.org/10.1007/s00165-007-0023-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461535$A1768C06-EA1C-4467-97D9-8B28F7A89280","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32a4cab1b0bb8dbe717ba961adb836c23a4ed33b","datavalue":{"value":"W2061726621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461535$7444460C-C4DA-4AB6-BB90-AE67892381B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$E75F9E9E-5F59-419C-AB73-5C32C574C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f7addb5367552849614d1ec1a6717c11c7f09","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$826E48C8-6C26-4DD2-AC18-651AAB11ABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1341c730f9bc9e8bcb4f15d4ad9d8d15798a9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4299862,"id":"Q4299862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$16786BB6-AA81-4FFF-A1B0-CA4DF95D0CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$F1C1E14B-5610-4B6A-8552-6417042EBD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$B03EF559-1351-4D48-A7BB-B78231855183","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":"Q2461535$A4A51E9E-118E-48C3-BF58-4CBCC1809604","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":"Q2461535$871EA40E-3CBB-41B2-B6FB-EF80A2EDC14D","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":"Q2461535$4FDCCC4F-80AA-4685-BF1E-E5FA8A054812","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":"Q2461535$2F7ABC11-9A54-4B08-92AD-C0A3FAE90DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088c8b3a24efaf7a570998a15f43af509314cf67","datavalue":{"value":{"entity-type":"item","numeric-id":1044743,"id":"Q1044743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$3DF1D3B4-44A8-4D7F-AAA8-D88288BA364A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e653ee733b9bb781b214f3078f2fa2804bfe0c0","datavalue":{"value":"10.1007/S00165-007-0023-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461535$C80D84D4-E09A-4778-801F-E4682F904D6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6ee58d0b384b8a04a046bea37b43d2c6970035","datavalue":{"value":{"entity-type":"item","numeric-id":3493241,"id":"Q3493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e377a0b1e41bfcfedb90fdfb6eda277833d8e194","datavalue":{"value":{"amount":"+0.87008744","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":"Q2461535$B6C98F3D-A498-4BE4-96BB-37B39824CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5863e5d22c26cc7fce774f7507e09366e1f984","datavalue":{"value":{"entity-type":"item","numeric-id":1884905,"id":"Q1884905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0c65efc72a90ff8f6eb058e7215812ef68a46f","datavalue":{"value":{"amount":"+0.8652052","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":"Q2461535$C0B5C226-4F17-4818-A2DF-04EB8608EF19","rank":"normal"},{"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":"a9526133c01652f7d48038ef0e15ddc8a6db38ff","datavalue":{"value":{"amount":"+0.85759354","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":"Q2461535$B515F3B4-4965-41CC-B3E1-033CB57C7115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c97883254b922b33acf85bda847230f9e4608d2","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba7730f6fde3342f99270ab17a216f7161d0389","datavalue":{"value":{"amount":"+0.8479786","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":"Q2461535$DC7153E6-5E41-4B0E-82CF-A37A0EABE91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bec2391ab0ab106992797dd8d29fa318542bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1118393,"id":"Q1118393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5404642ca1b62038d5ac7fba8bc4d9479db9020","datavalue":{"value":{"amount":"+0.84764975","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":"Q2461535$2961B255-3B13-4EEB-A2AF-88676CA2C0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec25cf05cb1293374d4346c17b7ecf5756a9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4518901,"id":"Q4518901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb0ea30516e38abedbb404555cc956bbbfabfa3","datavalue":{"value":{"amount":"+0.847646","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":"Q2461535$0CFDC20F-5572-4110-B7C1-3FBA627A109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87e130620b9b1841b2d9fd9084f4a6c93900064","datavalue":{"value":{"entity-type":"item","numeric-id":5465438,"id":"Q5465438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc59c7344aece13d7bc670f99243943f3c5b5236","datavalue":{"value":{"amount":"+0.8467895","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":"Q2461535$F62ABB75-D3DC-4FF4-AF3F-7AF394B41802","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":"8fc98167be51d3d7141bd05e599826c39d321e56","datavalue":{"value":{"amount":"+0.84479284","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":"Q2461535$BD3F7AA4-DCD1-42A7-96CD-F75F1A6E064D","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":"8fc98167be51d3d7141bd05e599826c39d321e56","datavalue":{"value":{"amount":"+0.84479284","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":"Q2461535$105EB1B9-FAEF-41C1-96F0-C50F83EC3EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bca68ff3216d5f334bb4a6498b0f1a3614843c","datavalue":{"value":{"amount":"+0.8443763","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":"Q2461535$5B78B87C-13A4-4210-8578-606E4D2DAF27","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461535$8EA0E797-D72F-4517-81D2-5229062AE594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2461535","badges":[]}}}}}