{"entities":{"Q2830030":{"pageid":2840767,"ns":120,"title":"Item:Q2830030","lastrevid":83394089,"modified":"2026-05-07T07:30:35Z","type":"item","id":"Q2830030","labels":{"en":{"language":"en","value":"Timed \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6649695"}},"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":"Q2830030$C929EE75-735B-484F-B0DB-4BB43560A826","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b9e8f1e4088c20fa740a38463741700c5e669c","datavalue":{"value":{"text":"Timed $$\\pi $$-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2830030$CCE021F1-3D59-4018-A1F1-8667F1B211A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea902948aaba9222a84ab99b958c21522a7435cc","datavalue":{"value":"1348.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830030$E453DDF5-85D1-496D-B695-14EFFD998958","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2823a20949a270a31bcdfe75402bd7c1426e5056","datavalue":{"value":"10.1007/978-3-319-05119-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830030$1C6C4D34-8657-4023-8E74-DB4C270F0AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412b5a81d3856c0049eaffb7f777fdbc9362e75f","datavalue":{"value":{"entity-type":"item","numeric-id":2038028,"id":"Q2038028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$EA01E959-8220-4EED-891C-256FECD2F191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a86691adef3d925dd95e3f08184763486122e3","datavalue":{"value":{"entity-type":"item","numeric-id":6063872,"id":"Q6063872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$E1CD6BAB-296D-4C2F-AC10-CE5B8641A6AD","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":"Q2830030$9904D44C-C0A8-4017-8063-2FFFEA5A4CD9","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":"Q2830030$B5686708-C1E4-42F8-A9A6-D1CFF234F6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830030$1865A342-752B-4D54-BCA6-4EBA4D6F5FD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37ad3b60dbfa962049fa6b25740f54e6300c8e5f","datavalue":{"value":"6649695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830030$9AAD2BB1-CAD7-45F2-9EE7-586F9199A074","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":"Q2830030$F5199186-1CC9-447E-8766-8AA46AADF2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41beeed642430b6e33e52126734607fc14d4a0d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-05119-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2830030$30C83D00-BC75-4D99-B7F9-E35E6F91D930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd12d5ddf4e6fff5af7a984db6d816afc401110d","datavalue":{"value":"W1216450975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2830030$FFDE0A13-EB1C-4C14-BFD4-E7817BF777AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$6E8DC501-3DB6-42E7-8655-E364299D62A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e0c5fe8f27f177d8f4e69a55fbf42634887cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5446173,"id":"Q5446173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$9A59E671-356B-43E6-B07D-4964ECB44E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328f12ea54a5bfebb55a271159622ff3b3418ff","datavalue":{"value":{"entity-type":"item","numeric-id":5705884,"id":"Q5705884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$4A6EABB2-A1EA-4816-913D-406EF703F9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$5E03A36D-4F80-4448-AA6B-53FD83AB44B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2830030$5E7C5E30-36BC-409F-B42C-97A53B709C3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3143419744d16add6269343b344e4d666e58174c","datavalue":{"value":{"entity-type":"item","numeric-id":5446173,"id":"Q5446173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0430185d0ff6524931349b25dcacd9133f203ba3","datavalue":{"value":{"amount":"+0.9352700114250184","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":"Q2830030$182E5F23-F1C5-4961-A4B0-A11CC613C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bfdc45e4568a2a4c1ac6e9cdf16c1ef933430e","datavalue":{"value":{"entity-type":"item","numeric-id":3453652,"id":"Q3453652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39ac996cc2d544ec3d4b1c44499fd95373c8253","datavalue":{"value":{"amount":"+0.8499760031700134","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":"Q2830030$99AA371F-19FD-4C89-8966-E73CDDCE6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e26c6d3f33722e54e2b4ccf6ff78df66e592b0c","datavalue":{"value":{"entity-type":"item","numeric-id":5257807,"id":"Q5257807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ad8c4b3f863a181121adca5595dd1fc3774eda","datavalue":{"value":{"amount":"+0.8343973755836487","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":"Q2830030$A15BD48D-F6B1-4DA8-A3B7-DA38AA66407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25308a7597a15a776da79b4b2442bd71b3948ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5286028,"id":"Q5286028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1b368dedfeaad2906badcf3e881a0e14eba917","datavalue":{"value":{"amount":"+0.8300167918205261","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":"Q2830030$958BBD15-3FAB-4E1C-8BE7-4353D916DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1693f6672942944498937bba9cdef9626a3c0a88","datavalue":{"value":{"entity-type":"item","numeric-id":2757804,"id":"Q2757804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a5d7813d8d80bcd35dcbe623dd703e5f0952a7","datavalue":{"value":{"amount":"+0.8160999417304993","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":"Q2830030$6EA4388E-67B0-427C-89B7-A65ECCECC777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed \\(\\pi\\)-calculus","badges":[]}}}}}