{"entities":{"Q1153686":{"pageid":1164435,"ns":120,"title":"Item:Q1153686","lastrevid":66389430,"modified":"2026-04-12T09:44:45Z","type":"item","id":"Q1153686","labels":{"en":{"language":"en","value":"A proof technique for communicating sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3725689"}},"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":"Q1153686$6A74B009-2393-4301-8923-FF93702F1585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b251852027fcea3ce25441f97b555bca338ab32e","datavalue":{"value":{"text":"A proof technique for communicating sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153686$D1AF48B2-509F-4807-B976-98FE782B89DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c524ae3d3183cc4c53a24f157c82ca42d82440e","datavalue":{"value":"0463.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153686$9AEB36CF-A811-4393-8389-A2DE38A533EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feceba625195ed1bbb0f18b04d93a352b10142b0","datavalue":{"value":"10.1007/BF00289266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153686$B3871E6B-411C-4FE5-92B5-6421F66160B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e2dd991b98b447a80c27f086668841e94bd61c","datavalue":{"value":{"entity-type":"item","numeric-id":1148671,"id":"Q1148671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$F4D5DEE6-6720-4D70-80FA-5D1BEF90A4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$EE6FF175-CE52-4B5C-978D-2448D4C3C3BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$EF7F9135-BF99-42C0-8C7F-4470191D0541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1153686$78F4184C-612E-4823-B4B3-B7DB539584C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153686$DC5EAA8D-2297-4449-9268-D2931F753827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153686$C6385056-B74A-47A6-B700-62484CFA0CF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5316af4c7d4f66b88612abc186436ad3d3b660a","datavalue":{"value":"3725689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153686$F1C93D4B-7C10-44AA-B9F6-3C17EBE93435","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153686$E3658142-7305-49D9-8630-65B6454C7463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153686$BA939F2A-E47D-4C16-BC68-8CE3EDD59893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153686$A38359AC-01C5-42B9-9B12-80E77970F4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153686$7334C4DF-F3FC-4E64-B93C-8C030D38A588","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":"Q1153686$43A4F0A8-836D-4BE9-9433-D2859E4B6378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$7B9311F7-0715-4AE6-A396-81010E21F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039b377d08e0a230939a8439d1f12c5a8b483a30","datavalue":{"value":{"entity-type":"item","numeric-id":1151025,"id":"Q1151025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$74213839-4A7C-48F1-A655-296EE3231420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$61A2CA58-B5EA-4D31-AE11-DBD8B84BCF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8337fef93a032499e6fa14b235a6e2d0c12f6de2","datavalue":{"value":{"entity-type":"item","numeric-id":3871899,"id":"Q3871899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$5FB1C118-65B1-4AC0-947E-B492EE5C6B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$5898157D-EE0D-459A-B18F-9D32770F1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7402b71ea4bbf991c01bf95776d9a52b2b5419","datavalue":{"value":{"entity-type":"item","numeric-id":3922146,"id":"Q3922146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$8F31925A-13E6-40B4-A13A-5B8F38E91CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$D86D1075-B984-4A56-BD9A-747178D87BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$651CCF7C-3D58-4AE6-B3D8-318596AFE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153686$D9B70481-8D71-40CC-8470-D54DC73C7AEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof technique for communicating sequential processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_technique_for_communicating_sequential_processes"}}}}}