{"entities":{"Q5240137":{"pageid":7269705,"ns":120,"title":"Item:Q5240137","lastrevid":53576060,"modified":"2026-01-25T08:59:23Z","type":"item","id":"Q5240137","labels":{"en":{"language":"en","value":"Structural rewriting in the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121849"}},"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":"Q5240137$C9C196D3-920C-473A-903E-9ED9259BE0F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da1dc1ae7ddf654eaba91c4bdb87a60250f656b0","datavalue":{"value":"1428.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$6A1D8D22-9641-47D4-9F04-F653D271514F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$80FD3EBA-E579-42FC-A03C-B8685C40A9AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240137$2894DDBD-3F93-446F-93FF-CE39C255E039","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$56518580-A3A2-4C46-BB9D-998ECCD4FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$E3F47685-BB21-4E92-8635-C8F48CD0987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$930884AE-C286-448A-83A6-9884F4AF03E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01bebc8ae2bacc058e5072d006b2bd674225cbac","datavalue":{"value":"7121849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$EA8DD903-88A0-4773-BD14-DF571190056F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240137$2A3EC925-20C7-4D8D-8C16-26FE5FCC92BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240137$88914389-CD4F-4B99-B4EE-C3130819277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240137$F5BC2B01-3F58-4067-BC8D-EBCE1FEA063C","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":"Q5240137$C0541506-AF49-4BD1-9F5C-A28ADD3B8110","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31afc4c8b996cf08130904caef0646151bad8609","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$B881D0D2-D896-4FBF-9AFA-FD0FC95E1A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e7764a09a5d8495a08c317465036c7ce38f2d","datavalue":{"value":{"entity-type":"item","numeric-id":845877,"id":"Q845877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$69CF6C3C-8859-4B12-B338-C1CE2199156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dba7a15b0608fd7a2003e436be0af2bf95ea618","datavalue":{"value":{"entity-type":"item","numeric-id":1772314,"id":"Q1772314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$F84BB047-DD85-497D-9E03-31690A1B187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$605C2E09-E116-4B76-91A9-1AD0E55D4EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$B7B06B13-6D65-42CB-BC98-F7F4E6CBEDBF","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":"Q5240137$090CEAE8-AE8E-4804-B4C3-A8D781917913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e38a8f602ec3e243e827434419bded1ded29e2","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$EFA15592-AFBD-473F-A47C-34B6587C3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fb4aadf90f1b421574f5486d0a65f50e43a271","datavalue":{"value":{"entity-type":"item","numeric-id":5262945,"id":"Q5262945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$6BCD6A6B-BCAF-4482-B39E-DC0029F72189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$D3FA4DCA-08DC-4270-9A57-102FD38D1B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9403688a35761419a8de029a7d87f0711659107","datavalue":{"value":{"entity-type":"item","numeric-id":2908517,"id":"Q2908517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$26F0ED9D-63CD-4614-93DB-02143EE75100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$201DFD60-D35F-4887-B9C7-0B74B4A1D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$48E6A912-A973-4BDF-A599-2E714D22FE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b19bf7feba0c135c84f8ebdf410d332e9e0992b","datavalue":{"value":{"entity-type":"item","numeric-id":2986833,"id":"Q2986833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$34B366FA-C004-4438-9937-388C344698CA","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":"Q5240137$B32E2EED-7CB3-457C-997C-EA5BE9149E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832227a96a69e5f8b233ffd99a8a14f522d009e5","datavalue":{"value":{"entity-type":"item","numeric-id":2958388,"id":"Q2958388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$0CE983A0-AE78-4EF1-8688-B82294D0E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5ca33bb87303637fa5b7f7a2156ba1d889ceb8","datavalue":{"value":{"entity-type":"item","numeric-id":5244798,"id":"Q5244798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$9723E7BB-FA78-4E31-8348-647E1D3589C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240137$2C5D2DD7-324F-42BD-9009-BD07EEA7E79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c11dc343d2947673c7d56c9fd8dbe7fa74adb06","datavalue":{"value":"http://dx.doi.org/10.4230/OASIcs.WPTE.2014.51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240137$CEC8D9DB-F3F8-4613-838E-B39ACBC284EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da5e9a39ee19791e18a85589df305e4a417e33f1","datavalue":{"value":"W2279573819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$3E12E36D-0A13-48D9-99BE-E78FDD876E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c2e559ac9dbf076c3ce9852f36f62a0c5fe442b","datavalue":{"value":{"text":"Structural Rewriting in the pi-Calculus.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240137$4891D2EA-275C-41B9-95A8-022529CE601C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26cda3a2628be107b49bb41169621f4608248371","datavalue":{"value":"10.4230/OASICS.WPTE.2014.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240137$54F792B1-C482-48D2-8678-045E7A3785C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3519e2f8299db30ccad981a586f12dd88b204a","datavalue":{"value":{"entity-type":"item","numeric-id":5308095,"id":"Q5308095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932b96d210663ebf4264fd82c4321f7167092a8c","datavalue":{"value":{"amount":"+0.8347862362861633","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":"Q5240137$85BDFEF2-92D0-48D8-8C98-B57DAF2F490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0625580ec5f6fc94061f55c80660be5d2085d6d3","datavalue":{"value":{"entity-type":"item","numeric-id":5902355,"id":"Q5902355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe926f65a99456f5a67835ed0186cb010b469e48","datavalue":{"value":{"amount":"+0.8085908889770508","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":"Q5240137$7D1DBB57-BE64-4A8E-B68B-A0B93830D78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab4c7a2eed215647169e602dfb712f7556ead93","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ef4379a433a462250e4220b48cd012d8819142","datavalue":{"value":{"amount":"+0.7989034056663513","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":"Q5240137$2E46CA80-EB6E-4104-8363-CABC7D87B312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc9acb28684cdc966632ae55a3da023253d022","datavalue":{"value":{"entity-type":"item","numeric-id":4284230,"id":"Q4284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd56d6050dfc31fdac299c6a25e2cafa92cef7b","datavalue":{"value":{"amount":"+0.7725816369056702","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":"Q5240137$080BCC51-D36A-4F39-8F85-072436878E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8a8a655e70d47b69a33deca9ee96ea26ecb12b","datavalue":{"value":{"entity-type":"item","numeric-id":5941195,"id":"Q5941195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191d910ce42aba9e787cd4d365b0e0712cd69b4b","datavalue":{"value":{"amount":"+0.7699823975563049","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":"Q5240137$117FE583-D38F-4CB8-92BF-A3CD8A418A07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240137"}}}}}