{"entities":{"Q5416727":{"pageid":7446301,"ns":120,"title":"Item:Q5416727","lastrevid":92435594,"modified":"2026-06-05T01:42:49Z","type":"item","id":"Q5416727","labels":{"en":{"language":"en","value":"On the \\(\\pi\\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \\(\\lambda\\)P systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6295286"}},"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":"Q5416727$3BA0A86D-0D9E-4420-A875-634E9996ADB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d136e033405ded9c37949f22e5ac79efad7431b8","datavalue":{"value":{"text":"On the \u03c0-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and \u03bbP Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5416727$52F8C9F0-DA85-48E6-A987-572EF2A7114E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa7ad76544a69e5e1c4494d8f1f73db3f2b7175f","datavalue":{"value":"1352.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$A35E682A-8048-4B3D-BAB1-10F7BBD419D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18bf9c33f415b4dad2dc13d14298c8a9cfad188","datavalue":{"value":"10.3233/FI-2014-981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$377216E6-A3AD-4307-A88D-002ABC353B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416727$E3D6B39A-C221-48D2-B2F7-81F3C1A2B4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290a9d153579e68ca7964599503bae0a1e05edd3","datavalue":{"value":{"entity-type":"item","numeric-id":2987723,"id":"Q2987723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416727$D94411B6-5FD2-4868-AD3A-7B6DF28B5EA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5416727$B84DD4C0-87F7-446F-AE74-F763462C3F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c152340ac0b0636b94de35321a7f88ea26a273d9","datavalue":{"value":{"time":"+2014-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5416727$22FFA207-0E96-4BA7-B7DD-8323780C9E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$62B9C13A-CA4F-4586-9EC1-E1DB6C8DFADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$DCAA2DDB-0342-49AB-8E30-06DA32FC2B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$E5D15CE8-452B-44D3-9B72-CC5B4C021DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$9548CB0B-07B2-438D-9FAA-21B8701296BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27dd13ceed300293bcf9feba16914463b96ad922","datavalue":{"value":"6295286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$A9D18B83-9410-468C-B136-DE586D298927","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":"Q5416727$B05D523A-5330-4D2A-B5F9-97C8C32C6FEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"472f946b325ef3fea68478f32e5e75a4a0a1ea5a","datavalue":{"value":"https://doi.org/10.3233/fi-2014-981","type":"string"},"datatype":"url"},"type":"statement","id":"Q5416727$5D0D9807-70F8-4A11-B12B-8D4FF5F96276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"825902534053c336fa11cbb002e8e82b5438b9ec","datavalue":{"value":"W2161063399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5416727$65DAB67E-7018-4CCD-8F7B-715270C1D4A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8e691198e24242b5309c7e6a7afb2b53aec453","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60900b4004a1f1d6ef065790d824a33ce5c3fc1","datavalue":{"value":{"amount":"+0.831875741481781","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":"Q5416727$285E5578-AF77-4496-8EAB-F46B5D8C1183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c114a88c9dd0cddc3a7e4d0818a8f79b64488","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a736633ca7b1e2eee476829585311436f23c68b9","datavalue":{"value":{"amount":"+0.8294176459312439","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":"Q5416727$FD7C0ACA-12C0-4385-9F0F-B09595E2DDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a046c797a9ec0a3668e34cb0d7d461a86addfef","datavalue":{"value":{"entity-type":"item","numeric-id":2852348,"id":"Q2852348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ecf67005f4602465ae76569eb7380040931013","datavalue":{"value":{"amount":"+0.7811456322669983","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":"Q5416727$26E05ABD-4F46-4DDC-9FAD-7914964202A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3837bf372fb081e7e469905c459161e17c08ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4236204,"id":"Q4236204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a45ad90a47f4e5bf9aaeade1e59f27760e66a4","datavalue":{"value":{"amount":"+0.7739183306694031","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":"Q5416727$D293664D-BB56-429B-8DDB-1AF12EF4972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07fe073296063aa06c61c49bb27cf3b69653d61","datavalue":{"value":{"entity-type":"item","numeric-id":5055881,"id":"Q5055881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb78479fed405daa42e2ac4ba35f976f8d4cc4c","datavalue":{"value":{"amount":"+0.7675718069076538","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":"Q5416727$0A1B8BDC-B274-40B7-8013-E828728562E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the \\(\\pi\\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \\(\\lambda\\)P systems","badges":[]}}}}}