{"entities":{"Q2432218":{"pageid":2442961,"ns":120,"title":"Item:Q2432218","lastrevid":49952287,"modified":"2026-01-12T06:34:40Z","type":"item","id":"Q2432218","labels":{"en":{"language":"en","value":"CSP theorems for communicating B machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067126"}},"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":"Q2432218$2854961A-AC72-456E-A514-9298047E1BB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ca5a2cc11895d9ba80f2898a259e32eca7c0237","datavalue":{"value":{"text":"CSP theorems for communicating B machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432218$B9E3E680-4496-48DC-8ACD-61C8440EC987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2362e01fc17487ae56f905b28ab221b5945565c9","datavalue":{"value":"1103.68599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$8D7C6368-2E2A-4DBD-B464-EB76E0C7F332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf760af8264fe1b213073283cef0a10d170b64e","datavalue":{"value":{"entity-type":"item","numeric-id":293166,"id":"Q293166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432218$3EA2D755-4EF4-46AF-A70E-5A83A06A7EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcef273d942d0b5f60b03bbbcafe5ea38575a6f8","datavalue":{"value":{"entity-type":"item","numeric-id":333314,"id":"Q333314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432218$3C24DF54-068D-4A16-BCC2-12A967C929A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432218$D13E4751-F824-4503-84AF-B147A9A0F72F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432218$84347BCC-864B-46FD-B798-51F2B4058195","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5d19a14ea32665f56f13895d1d8ba3d41e5a0f2","datavalue":{"value":"http://epubs.surrey.ac.uk/7238/2/fullifm.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432218$F4BF009D-E11D-4C83-95C9-ADD35BABD86F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$150C2876-7D52-4C59-A581-AD25EB79D671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$1F7C1C43-0219-43A0-A6B4-A8B75F9BF622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960f95b607de75da8b4037d072493c4c0ed0ad42","datavalue":{"value":"5067126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$45905042-6F64-4AAF-8868-588D29F4B55E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2314653b7fed00d2e3f81cef4b84591a4e2965a7","datavalue":{"value":{"entity-type":"item","numeric-id":19720,"id":"Q19720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432218$C97EB0EB-27B2-46FA-BAB4-6ADB33DCE739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432218$4CE80087-B709-45D3-8916-DADCA0D939D4","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":"Q2432218$177CC453-CB81-45DF-B80E-DA9DEA51BD3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bccd900d9269facd95d7e48cf4a04b2a7c2e536","datavalue":{"value":"W1986933799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$CA24F075-569F-421E-AD7A-8BD83B75F879","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c7c8ad4932abd4fc4e95e3f3e399ec5424719f0e","datavalue":{"value":"Q60173603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$AECB508E-69A1-49CD-B58B-373CAC0A7F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a5cbfdc2b6fe69a29216d16d3d444f242640d7d","datavalue":{"value":"10.1007/S00165-005-0076-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$314CFE55-A0F0-4796-8FA9-93ABF056EE2D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3d5815fd931f8001b00bdb5f4d3dc0ef1695a56c","datavalue":{"value":"journals/fac/SchneiderT05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432218$2B39B580-0FEB-4BA2-AEC4-359A50D39F7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e03bf6b140eddef9d125e357bb2ba804ff8807","datavalue":{"value":{"entity-type":"item","numeric-id":5901608,"id":"Q5901608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b778917e7e571c1593e3421098b3f5af5d77fd1","datavalue":{"value":{"amount":"+0.9440842866897584","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":"Q2432218$16B4F013-83F3-4715-9ECB-9E4E01D28B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0379f0494d44812d11bd8ba87de8c6460e80b2","datavalue":{"value":{"entity-type":"item","numeric-id":4472199,"id":"Q4472199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca69ae2d531590d436543fa2a2a92fce7180d81","datavalue":{"value":{"amount":"+0.8517189025878906","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":"Q2432218$AF98ECB0-4D26-42C0-B865-26B57AA41E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e979b87b2589c308566051a74637c5687381a","datavalue":{"value":{"entity-type":"item","numeric-id":5938702,"id":"Q5938702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068718177d9ac90a4b9600a6cb14fc6d61042d0f","datavalue":{"value":{"amount":"+0.8273598551750183","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":"Q2432218$60D8B5A6-0476-46BF-A01E-45674DC5E7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e023f9a051157ffeb2cbbc75a3f07107c85b16","datavalue":{"value":{"entity-type":"item","numeric-id":4436957,"id":"Q4436957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3ae0f778af21eab793cd336994f8d5f5e7a0d8","datavalue":{"value":{"amount":"+0.8225858211517334","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":"Q2432218$7E82E635-F781-42E6-917C-86756AE2BBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d03e7db8f8f5deef4b4e2c5061ad6be71c03a96","datavalue":{"value":{"entity-type":"item","numeric-id":2642989,"id":"Q2642989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdb2fc3210b42457d3c3558fbce645f0f06c5e8","datavalue":{"value":{"amount":"+0.7986248135566711","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":"Q2432218$B5FF2E1C-F060-4BEE-A3EB-5C04FACFBA8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432218"}}}}}