{"entities":{"Q2864374":{"pageid":2875094,"ns":120,"title":"Item:Q2864374","lastrevid":51886589,"modified":"2026-01-20T11:42:34Z","type":"item","id":"Q2864374","labels":{"en":{"language":"en","value":"Matching systems for concurrent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236383"}},"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":"Q2864374$67BB0153-CAF8-4708-A194-8F90293A9203","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"903001acce4571b76eb5ea48c87b78b459ad3d4e","datavalue":{"value":"1277.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864374$43ACCDAD-9AB8-4946-9801-356502FC77D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4dc6005057d5eaca2c655acb60322b04e774236","datavalue":{"value":{"entity-type":"item","numeric-id":2864373,"id":"Q2864373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$55AEACC5-D299-4D77-B849-5F51CF918ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06281a59b54d9e6bce8118186b0dd383e1fcfccb","datavalue":{"value":{"entity-type":"item","numeric-id":1650956,"id":"Q1650956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$9EAF3085-2406-4EBA-88D7-A549702DC432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$E5AB5809-2931-4989-8FC6-61D996251F3D","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":"Q2864374$5B23B0B6-CF51-47E8-B14E-BF51C9A23D72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864374$AF5BA974-E2B0-47BC-B2F2-CDB0FAC17D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864374$74540F70-488D-4418-9E91-DADF95EC6FB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf555215ed524421488c70321c20abe1d709d499","datavalue":{"value":"6236383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864374$E3907CE2-F4D8-46ED-8423-A66C72BEC887","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c3823cc8b11c12f50244820c66284369cda78bd","datavalue":{"value":"matching systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864374$0A039D30-DFC7-4D17-B0A0-846F14769F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864374$B5791AE6-3B2F-4217-B73C-153ED2D5FEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864374$26F2D5ED-5AF4-410E-A5DB-4A9E36768001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864374$51F0EC8B-B2CB-41F8-8F65-2E06F6C01860","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":"Q2864374$936A4804-BD02-4FEB-81AA-09DFCC2F698D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f6d9dc92d67e1928c24754c174df165768959c4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864374$5731DF7A-C803-40FF-AC46-5132DCE226DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afef42028cf684444f5f0044d4a059cfdc88f6c3","datavalue":{"value":"W2162905001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864374$879F68F3-0073-4CAE-A729-4CF3AF7AC500","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$C859625C-7980-45F6-A835-FB07D1A06844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$E827C654-F0AD-430E-8807-8BEE05AC4BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$93B45836-8ED3-4007-B961-33CC2983229E","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":"Q2864374$0B196BA3-39E5-40E3-B033-BB72979AC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$8D523A4A-D9D7-46BA-BB50-A953E00798F5","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":"Q2864374$7493122B-DC92-45DE-A600-F7E6136EF603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63aa83914847492da5f6030516f6f08e85c8f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$25FBCB17-3159-49FE-9220-A1A64C79F677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0f33c15b8e195eb18e16381bc2376ff5ba209c","datavalue":{"value":{"entity-type":"item","numeric-id":2491642,"id":"Q2491642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$BBA9BB0C-9672-4615-B1E0-0F3D5D7A1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864374$069C3D47-48F6-4B08-82B1-DDC3E8E4B28F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562a1612745e8d89d787e165f055c26aacea2ea5","datavalue":{"value":"10.1016/J.ENTCS.2007.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864374$2E90C41C-5EF7-4F11-BDC0-4509F049219A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d59dcbd23bcec0329e45ac634823b1b20ddad68a","datavalue":{"value":{"text":"Matching systems for concurrent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864374$01E3F1EE-3C7A-4A76-AF64-D3FCC684893D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b7d19ec6f7a92f8a7efda509ec2f132df404ab","datavalue":{"value":{"entity-type":"item","numeric-id":4995152,"id":"Q4995152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78df98bdf5da962072162a48ce51da6a9829892a","datavalue":{"value":{"amount":"+0.8155636787414551","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":"Q2864374$CA1A650D-84AA-4292-976C-83D691C3B57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d226abd36445da4601c0e59b5d1679677b2ffb4","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdc57ac034208f2df49258f04d3c1bf87726b51","datavalue":{"value":{"amount":"+0.7594580054283142","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":"Q2864374$4DF2EB6B-1704-4A9A-848E-1212A0120911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d01692312ae28f43a7ffbca07472e5e5d4054e","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72d5dac71ad73aac83fb9fd52caab5d34c3f45f","datavalue":{"value":{"amount":"+0.7508256435394287","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":"Q2864374$49225835-7453-46DE-8DED-50DF713DF1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d4cd12326fce69266466ee5f9c48a8c3e7485","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36cf2952c03696c8c5749d8bd106d26cf8b456b","datavalue":{"value":{"amount":"+0.7472277879714966","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":"Q2864374$4EC06A77-11D4-4787-92C5-57AD36593C1C","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":"e568e78569f6f4136969b7d881b57c3563223afa","datavalue":{"value":{"amount":"+0.7462627291679382","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":"Q2864374$AF236B73-EF5E-475A-BA05-A620ADF1F3C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864374"}}}}}