{"entities":{"Q5096384":{"pageid":7125960,"ns":120,"title":"Item:Q5096384","lastrevid":54382283,"modified":"2026-01-26T17:53:27Z","type":"item","id":"Q5096384","labels":{"en":{"language":"en","value":"On the decidability of process equivalences for the \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572209"}},"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":"Q5096384$CF2CA601-F119-4EED-8301-D7E0D91BBED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d1a3e0b8a3136a9db0d9913604b9b1433de611","datavalue":{"value":{"text":"On the decidability of process equivalences for the \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096384$7137676E-9F66-4762-9C06-FD2EB9A65CBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bbb340b2124b74acd7eb78b2cb2042b3089f4c4","datavalue":{"value":"1496.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096384$05B9CD66-CB35-4599-BF25-7446CF6B664D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0818f07bedf70af177bb9a14df45b4bee08c65","datavalue":{"value":"10.1007/3-540-60043-4_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096384$81773AD8-B6F4-4758-89FE-7F5DD63C1966","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$A7E91DFD-2918-4C5D-BFF0-C4B7CD3CAE3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$3E564B9F-AB67-4B05-AAA6-5BDB56D7792E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096384$5096430D-387F-4A75-A665-3B2E4ED33EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096384$0325C4B7-5A3E-49C4-BADD-B13B2B513125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a8c094fb2585c3a88e16bacf182a782fd04a61","datavalue":{"value":"7572209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096384$48899262-FED3-4071-BBDC-DD9EE943B483","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":"Q5096384$1D96F046-B777-4D1F-B6E6-1024D7E7CCE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e3770518b9975b0580162c6ca60db2f950cc2f","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096384$27ABF3C0-C35A-45BC-9437-CBD2E8EBC6C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6ec885a8aaf8b1da515ae8fa89d1232c30f0027","datavalue":{"value":"W4246520964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096384$3BAF5D70-4BB1-4E1A-A0A0-B71865528F33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb35ba07657c0646fcd49d425df98cbc3ec905ad","datavalue":{"value":{"entity-type":"item","numeric-id":3479542,"id":"Q3479542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$17C0BC4C-37D2-473B-91D4-810902693F4F","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":"Q5096384$D55AD073-93B5-4527-8EEC-51D4E5697054","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":"Q5096384$B31C46B6-B63A-46E1-92EB-CE07DB19793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$E694CEC3-C770-41E0-9BA2-057B1FD5BDDD","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":"Q5096384$1EA23890-6F1D-406F-9E9F-4C70D836DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$384FDE06-7B75-445C-ABD1-F73677197E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$3DCDFB88-D5AD-4E42-BF77-F022880FCB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$16BCD160-E877-4425-B413-03BA592E0A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3718c6bf57f5371aee2d246b8d5205c2c477cec","datavalue":{"value":{"entity-type":"item","numeric-id":1205185,"id":"Q1205185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096384$2BB35C69-EBC4-4959-AD17-B72CE2E8917B","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":"Q5096384$8BFA8675-6A11-4470-9E1D-88953E432CF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cbed48721fd090f1df99061aa6d69f045d67f61","datavalue":{"value":{"entity-type":"item","numeric-id":1391099,"id":"Q1391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84eb3e85341da59b9901a66ee38128c3afe01c","datavalue":{"value":{"amount":"+0.9983545541763306","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":"Q5096384$99D396DA-7DA7-47E1-8B8A-165FFD28CB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb0ce59f4acdf7219238aeb4281a191e9c8cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":4917084,"id":"Q4917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7e73c9f7d02e8f181ed0fe85a54139edb5e95d","datavalue":{"value":{"amount":"+0.7893843650817871","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":"Q5096384$6641028E-1089-4033-B2D0-EACC0235EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f7b37129505716277210d94e42ed15037df964","datavalue":{"value":{"entity-type":"item","numeric-id":4349577,"id":"Q4349577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d69d60dd80ef515b01abd4585dbae85d223be30","datavalue":{"value":{"amount":"+0.7805240154266357","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":"Q5096384$2E99BE72-D91D-4523-ADE1-229FF218CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2ac00035bff00d8ae119912bcd2e320b8a4ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3150203,"id":"Q3150203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9b4a28cebda580722dafef8bb98b103194c7c5","datavalue":{"value":{"amount":"+0.7735092639923096","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":"Q5096384$D475CE22-66A5-46DC-8BC3-7FB4110EF947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a28c1e03d2ae69bf72523e02b5e1d9266f7768","datavalue":{"value":{"entity-type":"item","numeric-id":3190129,"id":"Q3190129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ef497718f3a46aa94484675fa84b3dd12c0e26","datavalue":{"value":{"amount":"+0.7712793350219727","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":"Q5096384$A0EC74A1-E70E-4725-9853-530D7C8A89EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096384"}}}}}