{"entities":{"Q2875077":{"pageid":2885797,"ns":120,"title":"Item:Q2875077","lastrevid":83620601,"modified":"2026-05-07T09:21:08Z","type":"item","id":"Q2875077","labels":{"en":{"language":"en","value":"Flow logic for process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6329971"}},"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":"Q2875077$0E225CD8-85A0-450F-94A9-78FD64CE06F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24c1ddfc41371c77a45568aacd22ff397b3d871c","datavalue":{"value":"1293.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$4ACDA716-8379-497E-99F5-4DB0D6A8340F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a56e06323d1e0b04bb2e3837b8055cc58192ce01","datavalue":{"value":"10.1145/2071389.2071392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$6EFBFA74-7210-494C-A906-478966465B5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875077$3FD1E8E3-BB83-4F43-A05F-AC2BD8675049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875077$D0F4FD4B-EA96-49E7-9D29-CD73CB166597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77919425578187861f2f6650a097ee9ac30e1c15","datavalue":{"value":{"entity-type":"item","numeric-id":444503,"id":"Q444503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875077$0770E51A-9516-440E-B8BE-27C934F3B62C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875077$AC49B2F9-C90F-4ABC-9831-6CF7FFB9AD02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875077$5913B16A-ADD2-4AF6-B17E-B3584DDF8043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$3C0EC1E8-3F0B-42C1-A1FC-37BD10F30938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$45A11AC9-DF04-4F42-B09C-387583655F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$405B3768-7A80-4390-9D91-CC4A3258F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$F93E8FEF-F618-415E-A22E-D8EF3D3CA94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$9A4CE19B-F1AE-4961-B581-85969AC6931B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b24902ab6305f33feed4a18ffc2b2d2042cce0","datavalue":{"value":"6329971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$18155A63-43B6-4367-B226-D55AA6ACC602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50709c4f7b167bb5bc2dc35ded812a24b74e595","datavalue":{"value":"Moore family","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$9CCF2A24-E595-404D-A0D3-C08486CD51F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$47A376D2-33A5-4710-87E2-63E46B1B4AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$1CDEB3E0-13ED-4995-B7AE-2CB94064D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1907030968675558cfe60e2f6ec5a5dab6159d10","datavalue":{"value":"flow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$A4F1574B-B091-4866-98A5-5A24F59A3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$ED1FB620-02D0-40FC-A746-837D841EC4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f645ca75595742d150f20ed9972514862e750","datavalue":{"value":"subject reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875077$C915565C-7704-43B6-9FA7-3BFDF2969B81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dcb094e78f2549e619d23619054e34d77b85748d","datavalue":{"value":"Q59416316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$90DCA3D0-1201-4A51-95BD-A96B8B874F21","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":"Q2875077$58BECC5C-96FD-4E3A-B13B-DE8166B931E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f0decfdf3c3be804d0c12cc0bd970f7aa0f9d6c","datavalue":{"value":"https://doi.org/10.1145/2071389.2071392","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875077$F1AFB1C2-C058-44F6-BA96-A930C43FB28E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17cd2d784e0df5e53724d96476ccfa7b183a0c8e","datavalue":{"value":"W2024677950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875077$991F4F35-98DE-4B73-AE83-8428130A6EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c26b907afcfd3c0e9df28b2288ef0303739e1e20","datavalue":{"value":{"text":"Flow logic for process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875077$509A57E6-6896-447C-B5E7-D919635670D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a037ed70f69e0bcb6f6f99c46e8817b433fa24","datavalue":{"value":{"entity-type":"item","numeric-id":4222938,"id":"Q4222938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61dff658f11ab0b626f79101681a172444b2adf","datavalue":{"value":{"amount":"+0.8175692558288574","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":"Q2875077$320BB587-B2F3-4EE4-A44D-EAE8A5E1FC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c5a4d57286f1e01cc7ebe26764b62b5dbc8597","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b18e1b4664137e78b99154028636cd00f058cd","datavalue":{"value":{"amount":"+0.7854530215263367","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":"Q2875077$B4A7E991-F8C7-4BF0-B3F5-DA863EDE474C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11cc0591b33a0ccbed9d812374e44193e404935c","datavalue":{"value":{"entity-type":"item","numeric-id":3557851,"id":"Q3557851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf6f40cf5dc9d71c2ee5b7868f133fbe0062a0e","datavalue":{"value":{"amount":"+0.7720945477485657","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":"Q2875077$ACE7D680-AAEA-4E91-9656-FA6768D18394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661c1722bc685d139eecac12981984d19c9a4afa","datavalue":{"value":{"entity-type":"item","numeric-id":1854437,"id":"Q1854437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9122ceb7c439beb1cfb8c3feeb0ceb48ef9a9b","datavalue":{"value":{"amount":"+0.770550549030304","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":"Q2875077$ADAA151D-AD01-4245-BAE9-9BFB51D71E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5132b204e109c22b6bcfbffb9fb188fe18f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":5178034,"id":"Q5178034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49ca658f94be7cde9a950df25a7a9b1d29f02171","datavalue":{"value":{"amount":"+0.7606925368309021","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":"Q2875077$DBAB4F64-FA45-4387-B530-A9998D4CFE5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Flow logic for process calculi","badges":[]}}}}}