{"entities":{"Q2830029":{"pageid":2840766,"ns":120,"title":"Item:Q2830029","lastrevid":83753618,"modified":"2026-05-07T10:50:23Z","type":"item","id":"Q2830029","labels":{"en":{"language":"en","value":"A sorted semantic framework for applied process calculi (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6649694"}},"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":"Q2830029$0634A333-BFBB-441C-B06D-8AEECE746769","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b12b654b74389e3c72c0c70b751d00f7d827eb9","datavalue":{"value":{"text":"A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830029$72EE4765-C5C2-4071-80DD-51B1ED469D2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f969a27a1d0a48f2444859de1211a1b554ef79e","datavalue":{"value":"1348.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830029$7F43033D-0136-489C-A0C5-CB4422C0E891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4fcc854ee4af77811f58bb8574b64a9429fff3","datavalue":{"value":"10.1007/978-3-319-05119-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830029$DFD7E22A-5425-4C58-9D86-BFA5663D96BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$F03D2342-E5DC-4836-8E47-3D8AE3878BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"496351f10d9c0dc652cb5d90e5f20fa8012c598f","datavalue":{"value":{"entity-type":"item","numeric-id":2800970,"id":"Q2800970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$E6FF25FE-5DF4-4038-BAC2-35145F5011CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$753A0D2D-F37D-4E45-823A-DBA1910F8842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ed4a778147dfc838492305e6341530d9443bb1","datavalue":{"value":{"entity-type":"item","numeric-id":444456,"id":"Q444456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$AB3B38DD-F5EC-49A9-BC5F-CFC027A1744B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$49FF5C32-7C5B-43D5-9695-668EE8D7EABD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$7FFC924C-9505-451A-9383-57644B86FEC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a075bd554bad2b16430b9c44ca6d378726682638","datavalue":{"value":{"time":"+2016-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2830029$67042FAA-C551-471A-88BF-28B6EF4B6E5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16eb4b97c050b7bdd16471d30f45c5fccd89328a","datavalue":{"value":"https://arxiv.org/abs/1510.01044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830029$84718E17-FEC2-40CE-95B3-317F8B463924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830029$E76F55A2-F958-464E-B53D-5EA81D13979E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dcfcf6fe9beddbc3cb71bb4016c172a09b70a4","datavalue":{"value":"6649694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830029$6F5BD05D-494C-42E7-B6F0-E491C393D414","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$2AB9E07D-AA33-4F3B-A32A-1938580B8CFD","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":"Q2830029$DA53A4F5-E97D-4ED3-BA86-761D7B6A1EF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85590c1123ebd1531641b7f7ecb4ab8d0d38ecc7","datavalue":{"value":"W1794259958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830029$E0C85406-CF77-4DDD-AEE2-F50E1C4C97B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$F4BC284B-1693-4DD2-BEC1-87E62C266C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$5ED828E8-9C5E-4BD3-A666-6E740F1B611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$A9B7E355-BA89-4B43-998E-4832BBA017E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1154afca8d7c944ed33a73e9b568b58a920347e","datavalue":{"value":{"entity-type":"item","numeric-id":2500522,"id":"Q2500522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$F3579891-947E-4764-B1FF-592BACB559DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$B0A12A3B-AF13-4505-BD13-BCD99FAC65F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09004ede4a1cbb641b5507bc7222c782135c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$3B731269-5D38-402B-BB12-F7C91A1FE3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6703017ff8f9a6af010a7dcafc8bda5cce2674b","datavalue":{"value":{"entity-type":"item","numeric-id":3090835,"id":"Q3090835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$0348E26A-5DA5-4DA1-B533-B450590681DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9020a7785480236ab635c16f5392511491ef64a8","datavalue":{"value":{"entity-type":"item","numeric-id":5316561,"id":"Q5316561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$80F18533-CBD4-4ECC-9A6B-408A7F4001AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d241a72c25c820c5358e84db7b47a66ccae254f","datavalue":{"value":{"entity-type":"item","numeric-id":3163887,"id":"Q3163887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$DDBC53F2-71A2-4FCA-88FA-D873844AE29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$0F09BDD5-D222-4403-A2D0-53D5CCDF1DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5655b6ae25a92a774d3bc54a4702742022323","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$4ED3D40F-A3E3-4C43-8B59-98D75E2F0C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$EFAC392F-ED3E-49DB-A044-FFED9CF7FB85","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":"Q2830029$B8A8CBFD-0C49-4112-8AF2-68E242875D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$5D864A67-9C8A-470C-8C71-90F27D1B53EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef704b25a56efa5b64e7d48076eb438fae5430f6","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830029$3FDFCC3B-C540-4FA6-AA88-1C03A0B1E629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4387b909792b0869ec2177e8b6811b0d09caa49f","datavalue":{"value":{"entity-type":"item","numeric-id":2800971,"id":"Q2800971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9341062f1ffd16f8ce5879b7dfc213b89020a3d8","datavalue":{"value":{"amount":"+0.9835456609725952","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":"Q2830029$3ABC7FEA-D133-412E-9CE3-2B6C82D5072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed659b8d9c87b9ba4f6a7f5874363894b4c9d49","datavalue":{"value":{"amount":"+0.7821031212806702","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":"Q2830029$248D6B3C-2FDD-4585-8753-C91E1487BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942d4f08f3dc8f56bfe2952715973c9440026c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3520306,"id":"Q3520306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20293ecb3b31ffed5488c6e3c2c27508a4bc021f","datavalue":{"value":{"amount":"+0.7473800778388977","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":"Q2830029$A7F8BE1E-1C1F-44CC-BBB7-8A9D324AAFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0a1311e17efa4327e5396b63650095af059f29","datavalue":{"value":{"entity-type":"item","numeric-id":4536594,"id":"Q4536594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a4708e016e59f3870defe8938316d723f2c21c","datavalue":{"value":{"amount":"+0.7331143617630005","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":"Q2830029$94FD40BB-996A-4ACA-8453-F6E71E9509E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9331fd0e24eab0d477d6c945f6d6461b5dcc55","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950391e6a4fcb65308cf11a2c1f62cd82a2a42d0","datavalue":{"value":{"amount":"+0.7330836057662964","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":"Q2830029$08F6F56E-26A5-4DC3-B607-9A6906030B7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sorted semantic framework for applied process calculi (extended abstract)","badges":[]}}}}}