{"entities":{"Q2465030":{"pageid":2475773,"ns":120,"title":"Item:Q2465030","lastrevid":78840923,"modified":"2026-05-06T12:33:36Z","type":"item","id":"Q2465030","labels":{"en":{"language":"en","value":"Open bisimulation, revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221689"}},"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":"Q2465030$672CD4B4-E44D-47A7-ACFE-1091AFCE9A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f01d62d08d34c08aa01e04369eb1ebee5b885877","datavalue":{"value":{"text":"Open bisimulation, revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2465030$9F13A18C-1AF8-41F9-A9E3-742275DAE9E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f884e4871f42b53450d1e9c5125e7d91ae6b13c1","datavalue":{"value":"1143.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465030$C049EB14-60A3-44F6-92AB-4EC49D1D3409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"922d2b46f7207f4055853748248388f6b18cedac","datavalue":{"value":{"entity-type":"item","numeric-id":411216,"id":"Q411216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$E36BE0CF-B2D3-4B80-949A-482187EB2FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$3A3E51D3-B118-4D8B-8B16-B476983730E3","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":"Q2465030$11EBF313-B134-4A0F-B4F0-DA854AE44113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df5b94b9643f948ad59b028b4790134db434aa81","datavalue":{"value":{"time":"+2007-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2465030$D32E92A0-E030-4B73-B148-F9A24029B803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"067977e439482cf5bac9d5501ad2afde5946b806","datavalue":{"value":"http://infoscience.epfl.ch/record/90951","type":"string"},"datatype":"url"},"type":"statement","id":"Q2465030$C1E1FA4A-59D7-4907-8793-A85C7E5FB582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465030$424DA848-7DFC-43B9-A5C9-B3A4E7951AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f869ea6ce92166c078719a9781e36d6087e8ab5","datavalue":{"value":"5221689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465030$D0E2DBFD-DF22-4D9E-988A-9370801B7D0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465030$5C56F26A-EEA1-4947-B3EE-5C7101546EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c5155e7360bbd5352392460709b52f727db0e6","datavalue":{"value":"spi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465030$7806468D-D2C3-4859-BEDD-079032624365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dbb9d3cd6102a25d5e627d7130ef0d9851ab1e","datavalue":{"value":"open bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2465030$1F902887-F345-4A21-8103-3C87EB3FE793","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$E249BC2F-4802-4C4A-A170-A690568BFB01","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":"Q2465030$24E57DF2-C813-4E3F-9028-EF6B929A8B4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2d91b815fb1cdafb7dd5d1c0d669168e4a2a646","datavalue":{"value":"W2002614013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465030$944A415B-EEEE-4B15-9873-05F91DCBE73A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$15C986E3-88AC-4419-9BBE-9E8CA1DDC54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$9598FA38-CCDF-4970-9C2A-2E5D455D82DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$ED159482-23B2-45AD-98FD-61FBA43F799B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$EEC11CBC-1356-4C2B-88E9-B637074F7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$6AAF924B-B84F-4B52-895F-09C13C3A6134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$B4DA5464-FC7A-4219-A56C-5817905435EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$5A993C51-7476-49A8-8E9F-FA335C3DE73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$CFE50893-A86B-48F1-ACAD-01D72A0B4FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$F3184DD2-6653-47A5-82BC-D4E91CEB65D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c30143ac0412207498d22d9d4521cbb7abf1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$04D20258-BEBB-4343-B5BF-20842F2ACA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$0204F9A2-2B9D-4CD1-91BD-7AEB74B867D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$3DDE7488-A85C-4E83-BF9B-EA0C01815FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$1D544F0B-ABDD-44B2-99C6-0E5F18A5C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4382dcb6f19f8b1edbe5ebd4a3e17998b0a7aa44","datavalue":{"value":{"entity-type":"item","numeric-id":557789,"id":"Q557789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$6FD22F0B-BA33-49E5-AF5C-17188AC22B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$450FAFE7-209A-4357-A337-D2AB3C0AFC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd12003d62fbf0fd47c8815a2f76218e312a31b","datavalue":{"value":{"entity-type":"item","numeric-id":5394801,"id":"Q5394801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$57388196-537F-4694-BCEE-528AFADDDD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdadc4881bd90965df4d1edbb3df8d8de0473","datavalue":{"value":{"entity-type":"item","numeric-id":2842870,"id":"Q2842870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$5DEE3BD8-6F19-484D-8272-C1188AD3F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$8542EE00-41CA-4DF8-B382-938973916F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27aca13846d018c6ac14dde43c650ad766ec813","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$4D2E5E43-2686-4654-8A64-EE7045C834A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$FC95900E-8AF0-4103-97A8-B10C14698DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13e1e8e45aca38e5f71f93c7eba7563c3a10f0","datavalue":{"value":{"entity-type":"item","numeric-id":4738218,"id":"Q4738218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2465030$33D14B54-9D96-44C7-88FD-878A149E87D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3cb83b5b795997fdb6a8b0d76413b5e67c38681","datavalue":{"value":"10.1016/J.TCS.2007.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2465030$62AB468E-B735-4A3F-9723-53B5DC9E5F54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222e2133091bfe0c0c8aa8de7a6640840cd51bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2852066,"id":"Q2852066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d498482cd63a7813961ed35a22ee1abffcb7384c","datavalue":{"value":{"amount":"+0.9930076003074646","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":"Q2465030$BFC6E173-ED02-43A3-AE0A-728AA4B70082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14183ef018fbf0df181c46b2ba2fd82f49f1ea60","datavalue":{"value":{"entity-type":"item","numeric-id":557789,"id":"Q557789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe2ea541d2dc38bd298b32cb9203032e0c07399","datavalue":{"value":{"amount":"+0.8541026711463928","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":"Q2465030$DCD5DCFE-A4B3-479D-9507-44B15319546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f8b80b3ffb3e83bc7d431a28f3942f09b64248","datavalue":{"value":{"amount":"+0.8530244827270508","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":"Q2465030$C210E368-923B-4C53-95F1-92BDDE9B4110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd443165c537fbed7ad169427baab76c497d0098","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6b8f1d30e18323cf8a956de7b414f9dcdb7ef0","datavalue":{"value":{"amount":"+0.849726140499115","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":"Q2465030$1689FF49-46F9-42D5-AE60-E790DC8DAF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76497a2768d2e98548f3f77acba9ee89e130634","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c004d451e61f87ff820192777d09b98719c6802","datavalue":{"value":{"amount":"+0.8355688452720642","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":"Q2465030$D46FD095-C29D-48DF-93B4-44BB8ADF30AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Open bisimulation, revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Open_bisimulation,_revisited"}}}}}