{"entities":{"Q5240185":{"pageid":7269753,"ns":120,"title":"Item:Q5240185","lastrevid":53576168,"modified":"2026-01-25T08:59:28Z","type":"item","id":"Q5240185","labels":{"en":{"language":"en","value":"Observing success in the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121900"}},"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":"Q5240185$8CF48838-0EBF-448B-B645-4007CB88112E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5e55f115ee6eae94cedbeb8555945d1a4a4f6a2","datavalue":{"value":"1428.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$8F45C8A7-0AD3-4F84-97C7-0D97AB0C0A2C","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":"Q5240185$FD85EB3F-7B98-4172-8689-5E2A020D4192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$8930EFA1-278D-4E24-BB66-DC49A7469BBC","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":"Q5240185$B80FECCD-522B-400D-BC16-C68AC374A588","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$7D8163B1-0BAB-4D9E-9F97-4C8380CC35EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$92AF6B71-6A05-4B1E-92F6-CC75F1534395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$8A1E8100-502F-42A6-B5FA-FC58C53E065C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdfaee163a7c79db943e72f967a242eeedc7fcaf","datavalue":{"value":"7121900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$85AD5D5D-1DE6-4093-ACD6-8254EDBE6DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240185$AA7BD8FA-5144-4E6D-B5FB-F595F72513D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240185$E92D62B4-8F01-4B14-ACAA-E00521A8C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240185$4B16979A-355C-460F-9B7A-592735D6EDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240185$473E86FC-B587-4E88-A5D1-B23512311DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240185$A5E62205-726A-4766-A101-FA51B7A8B4B6","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":"Q5240185$7CD79079-93B7-4701-B99C-DF2CBBE96A70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$09F1A782-1033-4B66-B13D-A05A7EBE9D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$73C33471-6B29-423A-B26E-45951746DB17","rank":"normal"},{"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":"Q5240185$F6ECB7BD-30E0-4F83-A32D-E4C5ACCFC2E4","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":"Q5240185$78AACDBE-2F5F-40C9-B6DE-BF3A9DA1C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$4F327CBE-9AEA-4786-9A17-7BC43625DD9F","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":"Q5240185$616D423B-5ED7-4DF6-8E0B-F2A78510F827","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":"Q5240185$121AC315-DF44-48B5-B185-1D1B040AD2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$46AA5D61-8865-4165-96CF-0F73357F9C0B","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":"Q5240185$B29C2B63-3520-427E-B0AA-F1303E14EB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633658e57ed28ed29514b558d4b22ff212ce3979","datavalue":{"value":{"entity-type":"item","numeric-id":4995152,"id":"Q4995152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$F4F6C9DB-4135-48C1-949C-59C7E13154B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$E0E88CA5-02F3-4DC9-A3EA-8583918AB7A9","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":"Q5240185$B0E8F323-2FED-453F-A143-56188C1F9B79","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":"Q5240185$D642650D-E5A3-4C14-A250-87F308AAFB0B","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":"Q5240185$E5308AB1-B8FE-4877-BA07-A85A113D337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21108cae30ebecedf0b16d5e02929d6b55c995e3","datavalue":{"value":{"entity-type":"item","numeric-id":5240137,"id":"Q5240137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$61386720-BAD8-4976-917D-6CE218A1F8E8","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":"Q5240185$53CD962A-5CE0-4296-BB6E-F9E72599CB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80cf44750d745309a5872764439aad921e61c359","datavalue":{"value":{"entity-type":"item","numeric-id":991760,"id":"Q991760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$2065C1E3-367C-4720-872E-A2BEFC2D9534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be683bb73d53fb671a22488c5e54fbb45141acc1","datavalue":{"value":{"entity-type":"item","numeric-id":2339472,"id":"Q2339472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240185$1BC6CF1D-08D3-4C66-A6A9-E8FA8192243D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce046c8487d741953fe94aac86f40f50ff0080cb","datavalue":{"value":"http://dx.doi.org/10.4230/OASIcs.WPTE.2015.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240185$AF0ADC30-D952-43D2-825C-8D5CAC7DC642","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84df626b5f6842c2b65ab95d33baaa35c70d6829","datavalue":{"value":"W2294166185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$3A53385E-84E4-4310-88EA-D891328EDFEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baf83b857bc7f51dd560f4c0fce19c47d0c62bca","datavalue":{"value":{"text":"Observing Success in the Pi-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240185$0D058560-B345-4BD9-85BB-4F5E1696C96D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d87cf132561997bc99dfc7730a0fdc9f88ed8acf","datavalue":{"value":"10.4230/OASICS.WPTE.2015.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240185$424135CA-FB83-45B5-9075-B3ED7FC1C0A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cff87274d8ebe92cf47ca2385968cabf0ed8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5448789,"id":"Q5448789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a770198e5c806c855b7ae6ebf249f342b127380","datavalue":{"value":{"amount":"+0.7661436200141907","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":"Q5240185$AFDDDC13-0F89-412F-B051-623FB1B32416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208526cb311498ca2890ff8bdc1ec6ee0e755151","datavalue":{"value":{"entity-type":"item","numeric-id":1974214,"id":"Q1974214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53948a0aec700bde5cbcc9bd27b65bdbd140cde","datavalue":{"value":{"amount":"+0.7355684041976929","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":"Q5240185$C82224BC-E319-4ECD-A075-2B9159095222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454dab6aea3690faae659052d842e8ed10fe3ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5240137,"id":"Q5240137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69840be300c3662ce91a3d1e1b7284c48947ed3c","datavalue":{"value":{"amount":"+0.7279138565063477","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":"Q5240185$92AE4DFA-02E5-48AC-8F7E-E39DBF9B8B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599bbd3b7b828b893a649bcb11ea1ff300919fe8","datavalue":{"value":{"amount":"+0.7213342189788818","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":"Q5240185$458EBE7D-A9DF-4E29-A754-016EA0B950FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2634eeb1ca9e0b3218f06512d53df5d78b32f2","datavalue":{"value":{"amount":"+0.7192885875701904","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":"Q5240185$F4DECE1C-0670-42AB-A08E-B59B08378049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240185"}}}}}