{"entities":{"Q2863902":{"pageid":2874622,"ns":120,"title":"Item:Q2863902","lastrevid":42326670,"modified":"2025-06-08T13:19:39Z","type":"item","id":"Q2863902","labels":{"en":{"language":"en","value":"Impossibility results in the equational logic of processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235766"}},"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":"Q2863902$5B4BF21C-7546-4485-B569-5FBA3BC8B2F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a8eed6686ee63d69f75fae53c918cd97420590e","datavalue":{"value":"1276.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$EE5F2772-D367-4983-AA73-474218A7B9F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863902$B5191865-B974-44A0-A4E8-A323069A219B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863902$45059A65-36FD-45D7-B5CE-10AA49380748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c1b7f5bc6f77b84be9b1f18e386fe93ffd10a0c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107000412?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863902$14ACDC8C-2123-4273-B2D8-61CF90758053","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$071861DE-AAB9-473F-B05B-F934D5788877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$172198E7-7BD6-46C5-AA23-0D73DEA96732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$5CA3529C-2E21-44C1-8675-C7FBD060065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$6F28BB09-51E2-43D2-A752-3776CD2C68F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$D3785176-4267-490B-99FD-F69FC2F9317C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33b0a75d215e9efd3620c78b92bd38b3551e1de","datavalue":{"value":"6235766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863902$AD9C55B1-83DF-438D-AA11-CF5BD887EC2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$48C3BBAB-2EB5-4CA9-8511-707BF61B99F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$1541A463-3DDF-4844-8969-B184E13A3088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$41A0AC96-0E9D-492F-96CE-04C15EB6039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b295f12cc17c150b8922a2d0f0e529527287adb3","datavalue":{"value":"ACP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$AA385FBA-30FE-4933-BFAB-459D40C97211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$E5B385D6-CE19-4C11-B35E-E7F583C5F38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$3D07EF90-BA19-4D7F-863D-5FC3AEA561F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a964766e10024e6589494f4ca7cc2460a717f27b","datavalue":{"value":"complete axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$706ADB5F-FA76-44DE-856B-5245A2C641E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c33c59e1f4f197dc071cf5a8da1949062eed8b","datavalue":{"value":"Hennessy's merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$8E1C2752-1628-47F6-BA20-1C28D4002E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576c657049810a185f59bb6ccec8877ec2ff4b97","datavalue":{"value":"left merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$7683ABAA-EEB3-487F-821B-A679C57DB130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9a8b7646fa1287de3bffe608a09ee658f3620b","datavalue":{"value":"communication merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$221F3D2C-AB42-4D19-879D-73A1D08B1316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$015A14F4-A033-4361-983A-C6AF0070215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf89c7b5b1978e1b0cf1798cd505fc2e20312ae","datavalue":{"value":"interrupt","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863902$9089FE74-C32F-4B97-AAF1-950CB52F9179","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":"Q2863902$B170CEFC-1FB6-4A94-99F4-CD148FB190E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1ab2a39aa2680f51ff3b84a2fe9e6000a5048e","datavalue":{"value":{"text":"Impossibility results in the equational logic of processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863902$9F58738C-AB28-4DC4-9BD3-BC5156ABCA18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863902"}}}}}