{"entities":{"Q3404131":{"pageid":3414834,"ns":120,"title":"Item:Q3404131","lastrevid":50898758,"modified":"2026-01-15T15:50:17Z","type":"item","id":"Q3404131","labels":{"en":{"language":"en","value":"Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5667325"}},"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":"Q3404131$64336E56-5636-49F4-86B8-45FDDBCA4D30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b4480650ff6337ed83e52a1daf44a1261ce3e4","datavalue":{"value":"1234.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$3E0698A3-FA3B-48C7-A03D-302BD23B45EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb03dcee105c20c3ea5b6245dd6a11a3efd3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":202488,"id":"Q202488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3404131$1D94F7C5-B6E6-4F1E-8DD8-2466A4FFBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3404131$E4DE7073-B3F6-4B9C-8987-622AF2DB3384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3404131$B4069D52-ED9A-44C9-BC46-8801B4D896FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3404131$349BC5A1-D46F-49B7-8E1F-DE4E13DC7A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$83498C9A-DA4D-411E-9B12-CD6F137E95C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$9ABD4343-B26C-483F-9CE3-E52C66B55223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$B448D1FA-FEC7-4EDA-B376-7CC868A7120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$E37985DA-E09F-4B75-9854-2C20B8AA61A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fae5840ffa26896a035f8fe7e997e5292992dbc","datavalue":{"value":"5667325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3404131$03A9B33C-7B78-4A5C-BCC7-DDC499313C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3404131$4A22408C-35E1-4CD9-9B4E-4531ACE8972D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3404131$8AD30794-C66A-48D8-A1DC-EF0256BAB927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3404131$CC4D76B3-F685-4AD0-B354-8992A7859B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f28a4cbf087ec2a1713ee288ae61a75202429f","datavalue":{"value":"parallel and distributed software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3404131$1A6FA862-7C04-4D28-9A40-B34F77589BC5","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":"Q3404131$85A9E573-0605-4FCD-B212-7D281967F0C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a77a39980efc25d3e1a48dce38a56dae0c5af3d","datavalue":{"value":{"amount":"+0.8658011555671692","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":"Q3404131$8FC1F8B8-A0F2-4626-AE41-D9AA58B2ECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222c0f80d2da051f7aeceefc6c5765ea0205425a","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd894d76b51b2af0732ef2d6906841defa64a091","datavalue":{"value":{"amount":"+0.8361985087394714","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":"Q3404131$411BBAA7-DDC0-4EAE-8AD0-B9AFDC7A485C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf918aee25f8854ed36a797f3939ce9175258601","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3501567175821cff4c3f744e01d3952ab37e9619","datavalue":{"value":{"amount":"+0.8332314491271973","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":"Q3404131$56E56D9C-6473-490E-9451-A749E63F2424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13bf65db9d4b6f19f51649f97c55ee79f0e43275","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b21e501578676410e39ea00bd34e6a1d6e29a9","datavalue":{"value":{"amount":"+0.8286922574043274","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":"Q3404131$31DB1905-0F7F-420F-88B8-1E9E92571613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27ea8900b9b1a261ae3e9ecfe2ba733b953d7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f80179209a39b28657741b67253226a536d0fc0","datavalue":{"value":{"amount":"+0.8191623091697693","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":"Q3404131$3FA86478-B216-46D5-8A54-99AD13AA3319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3404131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3404131"}}}}}