{"entities":{"Q2956690":{"pageid":2967409,"ns":120,"title":"Item:Q2956690","lastrevid":52725239,"modified":"2026-01-23T09:02:40Z","type":"item","id":"Q2956690","labels":{"en":{"language":"en","value":"On the complexity of bisimilarity for value-passing processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676178"}},"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":"Q2956690$9AC2DFA6-0D9B-4BC5-9A6E-F41325FB38E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a89a105dc3de9218dd0a07a3c9ff5fe9b58579a9","datavalue":{"value":{"text":"On the complexity of bisimilarity for value-passing processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956690$93C640E5-406A-4F82-A567-7B2EEB450745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e452e0ddd1ece28a8e984091e522af49080a39e3","datavalue":{"value":"1354.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$2791656E-108B-4384-B015-2B0D8E5F9C23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e50bcf60310767447f1068a2f609866bc935172","datavalue":{"value":"10.1007/3-540-60692-0_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$813449CF-694C-4E2C-82CB-40A811A62FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1983f394fcb7d4ca5dc4eeb99171e529ab181fb4","datavalue":{"value":{"entity-type":"item","numeric-id":190553,"id":"Q190553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956690$2107377D-D1CE-48DD-8EE9-63CFA4B71A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956690$06B8CA2B-8985-4740-A41C-F2F4D8CB2ECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956690$EAB2A474-0654-4B58-AEAA-4A6F5AB4C558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-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":"Q2956690$C865E6A1-447F-4A98-A798-55A066409856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$61340EF0-5D18-4057-8DAC-3615CA47AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$9B4C3D0A-1362-496C-A1F8-CE996E68E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$410D28E1-889A-4F94-9E88-37C6D5580DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$D40F5209-965C-4B9A-B283-8FF29F7D1248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bbd46279a0240e8d844fd855010c7b43c694d4b","datavalue":{"value":"6676178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$F5A63084-9DD3-4C4F-A78D-CE3ACB2DD902","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":"Q2956690$694D41CF-70AE-4F3A-9300-3EB112CE441B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6ad5f165ede800a6cfe4c33582d3dc6a90045c6","datavalue":{"value":"https://doi.org/10.1007/3-540-60692-0_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956690$9AB8F70B-9C8F-4AEE-9F69-7290ABD7217B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3071ae54b76356c8866ec5f6c7e3f258d80d548a","datavalue":{"value":"W1484268929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956690$F96B995C-4EC7-42CE-8CFE-C712403440A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f465d326454d56824bf8d13d19e3c802c20ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1575255,"id":"Q1575255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19586f91b6e44c766b74b7d504d14100167cb1b6","datavalue":{"value":{"amount":"+0.9834715127944946","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":"Q2956690$D79D5F5F-8C4C-4A42-B45F-5B8914846655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f38d179b84e88851f5fe5f5e98bb319ebc93d1","datavalue":{"value":{"entity-type":"item","numeric-id":2760244,"id":"Q2760244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94dcdba414c3501cbd8f75d3b9d583cfcad0f67b","datavalue":{"value":{"amount":"+0.8151130676269531","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":"Q2956690$4C35FE88-C7CA-4658-8E96-4B5251247369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc897b623a6f8cef7ae042f1104ed9c4f267f","datavalue":{"value":{"entity-type":"item","numeric-id":4203808,"id":"Q4203808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94dcdba414c3501cbd8f75d3b9d583cfcad0f67b","datavalue":{"value":{"amount":"+0.8151130676269531","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":"Q2956690$47D89355-C393-46AB-97C6-94F4788D6942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc26d4dee458877bff4d05a9af78fdd49268fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":4222870,"id":"Q4222870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ab96c352385ee4b3942608323cdd11a5312deb","datavalue":{"value":{"amount":"+0.8035995364189148","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":"Q2956690$3E938E10-B852-46F4-B63F-7032E11EF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e324874e25ff984bc895b138773ac64e28785bb","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5daddbc885da3ffd8dfa9b0c30ec17ee77d861cd","datavalue":{"value":{"amount":"+0.7990385293960571","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":"Q2956690$55FAEC27-46C8-4971-AB99-F2F752F258A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956690"}}}}}