{"entities":{"Q5404078":{"pageid":7433652,"ns":120,"title":"Item:Q5404078","lastrevid":75579163,"modified":"2026-04-19T13:01:41Z","type":"item","id":"Q5404078","labels":{"en":{"language":"en","value":"A translation of beta-binders in a prioritized pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272171"}},"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":"Q5404078$E397E865-00DE-41A5-B849-DF7C395E1522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b3646a7be450f9c55bedece83d0570fbbf943c6","datavalue":{"value":{"text":"A Translation of Beta-binders in a Prioritized Pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404078$C4CDB90E-DF6C-4CAD-86B1-5460873C1AE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a887976ffd0ca0cab7bb5544bbfcd6dd87d1f314","datavalue":{"value":"1283.92006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$EF4D1130-FD62-4D1D-84FE-33EA0AEA7894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38dc864b9cbb09a599b76e29536c58a6e5829107","datavalue":{"value":{"entity-type":"item","numeric-id":5404077,"id":"Q5404077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$D2DB7A52-9FF6-4206-86FA-EBEB37F5BD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af968b07baf6554fb884c7eff05e6af89c4835bb","datavalue":{"value":{"entity-type":"item","numeric-id":236448,"id":"Q236448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$9EC2A3FB-65F5-4EB1-9AEE-F8C6DD12DB90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$5E15A69D-2EB0-4712-A0A1-626C3524C4AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d90e7ba9218161af565114c8c946a60a85d1807","datavalue":{"value":{"time":"+2014-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404078$D6F7F828-0B2B-476E-A9AC-F19D4F00A57B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db22146753f5305670e78aa06ee0367ddbad55b","datavalue":{"value":"92B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$B169E395-AA26-49EB-A94A-55D1362310E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$D6531BD3-AEF7-41CD-8D61-92F1C7AA20D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be3bbec45a7f669f94868ca5a8d33d315b602441","datavalue":{"value":"6272171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$89F346D5-E6F6-4FC7-8BEA-CCCBCF3143D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222b039ac34307f0e36afb0c3cb016de4a5a01b4","datavalue":{"value":"name-passing process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404078$60ED7654-8EAF-491F-B416-FBA44567DE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404078$830703CF-C19E-45BC-BEDC-74A4D8AB08E2","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":"Q5404078$99305E58-FFEE-4048-AC62-0EFE5C4FEA60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9239692741f402d317e90fd81b9111f68e6910a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404078$BFB6CBF1-4125-4823-B9F4-50DEBCE0EA83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44ff35b306e20be9802c36311de8aa5b4c76ea97","datavalue":{"value":"W2031637156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$9BAD3AEE-C008-4ED8-9F27-5CA4FB92FE30","rank":"normal"}],"P223":[{"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":"Q5404078$0CFDE788-36F3-46D7-9B00-25D70972BE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$C254403B-2F9C-4699-A984-EE2D4FFA041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$7C570C18-B785-424E-992B-38673377952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccb3e4720294dd751d7b9979fc8163d36fe4b10","datavalue":{"value":{"entity-type":"item","numeric-id":3507381,"id":"Q3507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$0081584D-8BBC-4537-9554-917E868CE9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e02114271863ed1c3788f2d6f1de835de29e16a","datavalue":{"value":{"entity-type":"item","numeric-id":4508309,"id":"Q4508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$ABA78C06-3039-4961-B6EB-B3550C9E7E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748cfd30e102c2292c6ed25d7973f1157528ecb5","datavalue":{"value":{"entity-type":"item","numeric-id":2387197,"id":"Q2387197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$257EF04D-E2F4-4424-A7D3-02097F1DADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$587BE4D4-3EBC-4698-BBDA-8E62A2B73FF4","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":"Q5404078$F2F20D43-3A29-4237-B721-777083CDCCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b4ea535a086e703fa78742f30ce95ac97d5859","datavalue":{"value":{"entity-type":"item","numeric-id":5756508,"id":"Q5756508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$B7253C22-9AD3-422B-9D5C-993D09735567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7c8e844cd7bc0050ec73ff8ef2c3136f9e8d6e","datavalue":{"value":{"entity-type":"item","numeric-id":925313,"id":"Q925313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404078$B20DB258-C1BA-4DFC-8435-7FAF704B6379","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67e755496395c50e799767a0643a9fafec5cdb01","datavalue":{"value":"10.1016/J.ENTCS.2009.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404078$0097F557-7EE2-47C3-AF15-B5905366C542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92113e347328772d0df9386db5d4c953b15a2f17","datavalue":{"value":{"entity-type":"item","numeric-id":5756508,"id":"Q5756508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee12e9215cf81df5ae45bbc585a1aed13c34a08a","datavalue":{"value":{"amount":"+0.7908446788787842","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":"Q5404078$F28FCDF6-CA0A-4266-9356-327A39464179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33af57a14965c8421ff9cce2ec7b57c3ff20d9","datavalue":{"value":{"entity-type":"item","numeric-id":3507381,"id":"Q3507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd79cdb30e7a3bc8b279c972b21a98eda9dafc52","datavalue":{"value":{"amount":"+0.7875787615776062","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":"Q5404078$F66A1597-CCAD-43A3-9214-1E0DD176E6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f2defe4788e63a0015c14f2d44d6a8b65d7828","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaec52d1c22d418e655425aa19394946cda2d47","datavalue":{"value":{"amount":"+0.7479085326194763","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":"Q5404078$A1F1CA6B-CD3D-4D8D-865E-D1581B96F781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1eb2263de5f64384a5cebf0c632c8dbf697c41","datavalue":{"value":{"entity-type":"item","numeric-id":2864204,"id":"Q2864204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042520dda92f278c3b745815bf0e0f61943cb697","datavalue":{"value":{"amount":"+0.7299731969833374","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":"Q5404078$7BF8B6AA-3E87-4AE6-9EE8-38D7C6F5DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9e33ce1285d7db6696782b79cce8fcb7fc8ae","datavalue":{"value":{"entity-type":"item","numeric-id":1884867,"id":"Q1884867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6141aea37d3f2857cf7b98b32a8e16d017dab27b","datavalue":{"value":{"amount":"+0.725090503692627","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":"Q5404078$00F30E5E-F081-4582-9C6C-3A34EAE14532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A translation of beta-binders in a prioritized pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_translation_of_beta-binders_in_a_prioritized_pi-calculus"}}}}}