{"entities":{"Q4529487":{"pageid":6559079,"ns":120,"title":"Item:Q4529487","lastrevid":47915953,"modified":"2026-01-03T02:03:21Z","type":"item","id":"Q4529487","labels":{"en":{"language":"en","value":"Comparing some Intuitions of 'Process Calculus' and 'Program Logic'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744047"}},"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":"Q4529487$DEAE0CA8-3541-4540-8096-DC9437C6C9BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b0e979ea60c20f23bb1087db0c6778bf4ae0e4d","datavalue":{"value":{"text":"Comparing some Intuitions of 'Process Calculus' and 'Program Logic'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4529487$BA0761CB-DF7E-419F-BF6A-1A4D8377D8BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88c4214f4225708e0cb6765b929335a34ff83b27","datavalue":{"value":"0996.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$0D4F061E-147C-485D-8BEB-2F1F3730F790","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20a9b28af2711dd20dc75558d928e7cf5651ea10","datavalue":{"value":{"entity-type":"item","numeric-id":4299135,"id":"Q4299135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529487$3FD94C3B-A635-469B-8302-80C1AFD14547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4529487$8E93F806-36D2-4059-B17D-9456336C917D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$6F8303D1-8790-4049-9BE9-11A7BCCE57A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$0DA79833-10A2-4C1F-B8C5-516E2425C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$CC155E10-E150-4AD3-B7A0-49DD91E2061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$294AACA8-FD5D-4B1E-9734-6C8907A48594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$E363A194-1215-47F3-81FB-2C99519DC97E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"747a08654b623494cef9db0d096c3312c46942db","datavalue":{"value":"1744047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$D807133B-CCD1-4028-B86C-30CA8EADB119","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36c21820ddc7bb09eb15e2b0cfd2d03a9a5a0d6","datavalue":{"value":"programlogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529487$E14EE141-D192-4C14-9591-AB4D47B1825A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4529487$CE465126-96AD-4883-84DA-5F333F4033F5","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":"Q4529487$E21D0249-33F6-49CB-9396-A95D829BC867","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aceb9adc8baf13dd136e99537ec4d363e22cbb7b","datavalue":{"value":"https://doi.org/10.1093/logcom/11.6.789","type":"string"},"datatype":"url"},"type":"statement","id":"Q4529487$3564502B-7A70-4737-881A-7CFEEE904ABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6812ccf57605a40058e2d1897499c84bee026016","datavalue":{"value":"W2043348686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$4E400191-278A-437D-B7BC-7CA86FB0D7B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6782b195bd4416c1c924dfe2531de75a6666f5db","datavalue":{"value":"10.1093/LOGCOM/11.6.789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4529487$FF1E8F6B-1231-4FDD-87B1-406FBB2B43D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4529487$8E72A506-92AD-405B-A79C-CFB51844A49F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9311cec9995d98bc32021f8fd4f49d28c715dc7e","datavalue":{"value":{"entity-type":"item","numeric-id":4536321,"id":"Q4536321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b86e0a89e5f1b834f7854c580749140a1e942b","datavalue":{"value":{"amount":"+0.7129605412483215","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":"Q4529487$E614110B-D967-4173-8312-533618D76984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f077078dda5be43d43ec1508bae1e69eb6f2fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4494243,"id":"Q4494243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aefdac933c0eef70c0d16b9ee34847c41f284b4","datavalue":{"value":{"amount":"+0.6940099596977234","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":"Q4529487$6BDE4C01-2770-486E-8186-119153F41C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e025c7348c2723dc61202254a773385702e328","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5379fbbdc5bc252f67771911932ca5bb17f7ae5d","datavalue":{"value":{"amount":"+0.6938313841819763","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":"Q4529487$6FFCAA7F-4DAF-491C-8A7D-E043E10C1BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a21877cb04260e34a80231c90205c0ccc55746b","datavalue":{"value":{"entity-type":"item","numeric-id":5394516,"id":"Q5394516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6330350c3d5c9ca9e4ba7f55c17cb98b46fe9ea5","datavalue":{"value":{"amount":"+0.6877653002738953","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":"Q4529487$1E79CE6B-4030-4DE6-B8F0-8385A1E2BBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3746a9473e0ca107135bb80ab5c8921124854b","datavalue":{"value":{"entity-type":"item","numeric-id":4283236,"id":"Q4283236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa5e8e421d5fb8283e4557df2184b9969419447","datavalue":{"value":{"amount":"+0.685368001461029","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":"Q4529487$7FC41570-1CB2-4A6A-83DC-3A999B769DEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4529487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4529487"}}}}}