{"entities":{"Q1060004":{"pageid":1061852,"ns":120,"title":"Item:Q1060004","lastrevid":66056334,"modified":"2026-04-12T07:14:42Z","type":"item","id":"Q1060004","labels":{"en":{"language":"en","value":"On the suitability of trace semantics for modular proofs of communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3905837"}},"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":"Q1060004$FE12690B-FC06-434A-AAE8-CC2B48F1E17F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8f07146b76697a15fa4c66a156a98faf26370d8","datavalue":{"value":{"text":"On the suitability of trace semantics for modular proofs of communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060004$04222B70-8273-4B11-91CA-AD3FDC52903B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90d3b8836bde38e38bb299441f053319a0122dcc","datavalue":{"value":"0567.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060004$CC84C472-A468-4789-BAA9-674FAED4944C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5b8ba4648325d16a0e3a8483428347218068fb7","datavalue":{"value":"10.1016/0304-3975(85)90130-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060004$1200BEF6-F0C2-407E-B16B-0EA91C696E44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$D7E7813E-CB63-48AB-9E57-F2FA18D83BE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1060004$3A913F83-F178-4CD4-A92D-0916C86C46BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a980b48bc425b67d42f83fcba31c0f226ceeea4e","datavalue":{"value":"The question of whether a semantic model is suitable for the construction of a modular proof system is studied in detail. The notion of one semantic model being a (full) abstraction of another semantic model with respect to a given class of properties is introduced, and is used in analyzing different semantic models for communicating processes. A trace model for communicating processes is described and shown to be suitable for the construction of a modular proof system in which partial correctness assertions about communicating processes can be expressed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060004$C56F4C52-83A4-46C5-8FCD-28E659CCE756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060004$F37EF371-E6F3-4332-A726-1D8E77005B26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb5de17f3774acf534a0878873a710d7209c064","datavalue":{"value":"3905837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060004$7CDEC389-29DD-4101-8000-09A200BEB886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b985ce7c61c7557be6f166a731e2e1138e9c5c0d","datavalue":{"value":"modular proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060004$BF32C1A4-F5F0-4EFF-B128-433815E9D28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8eab91a064dcf1649ad1573273b2cf0f55e56ef","datavalue":{"value":"semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060004$60C8B6F1-641E-489F-9F76-410D493FA5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060004$56B3F20A-ADA7-48C6-A639-AB112CA2C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060004$18ED5ABB-54D9-49B0-9428-544C7A0A5C8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$4B83AC45-90F4-4AB9-AC07-D93C5EDE3756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f32a21872bbb087a0758a31f05b2a253b7370c3","datavalue":{"value":{"entity-type":"item","numeric-id":579960,"id":"Q579960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$20C39CF0-FC05-47CE-BDF4-306614E609E8","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":"Q1060004$78423924-49B8-46E4-8A2E-E50B7506987E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25b5750445bb29ea8b94a680fb4901b7aecbf779","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90130-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060004$7280BE02-E3DA-4B03-AAD5-CACDB60B1E7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6671346c4e322c95507c35c495f14e8dbda43f63","datavalue":{"value":"W2009408666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060004$138B1C5E-1377-41A6-8C4F-2596266E4BED","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":"Q1060004$9BA0DDD0-2011-4AF2-AA9F-C72E3A38C0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$56DC271B-B69B-4F45-95A3-F41B129649B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61806f00977d21c5eadebb079a6448e91ac58155","datavalue":{"value":{"entity-type":"item","numeric-id":3657410,"id":"Q3657410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$9B47A7BC-C7DE-4A4A-9139-8FFD1A7577F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$769724A8-B9C8-4F55-B487-8E1FA5C3B1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7104c7f620103514a8645e534262fd8517f752","datavalue":{"value":{"entity-type":"item","numeric-id":4845486,"id":"Q4845486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$742985C1-439E-4557-AAB9-274557F3C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$6DF30853-7C31-4CA0-B5A9-5F9A061D524A","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":"Q1060004$1FED1DB3-ED23-4E30-ADD6-179AC0944442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$DCA3B83D-FD2E-4F1F-A2C6-AEFC7D649526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$4AAFFC24-4A7A-41F0-9BB3-549B3E3E8936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$1BC6EE8E-53AA-4605-979B-B6A1D84E6435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$AB9FA509-5D19-4A91-8286-CAF1A3A0A957","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":"Q1060004$303C9F04-F94F-46C9-A164-7E8E317979DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4699e7b6f680f959edf7c209e86a633fded3126","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$569CB39D-1F7F-4182-A9B0-5AE91956F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$69F5BEE5-B2B8-4073-B8CD-AC6A951DFDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5449964b08cd0bc7034bd9be1cb1565a9af14ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3664405,"id":"Q3664405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060004$3154F533-8A5F-4BE9-B920-A4C16420899D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a8bfea1f481b441b068d011232906377ba0b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3316560,"id":"Q3316560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eebf5187c7817652ce6db2620dfe8cd736e2e0c","datavalue":{"value":{"amount":"+0.9661839604377748","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":"Q1060004$28CDC77D-4AEA-4A1A-98EC-9F1DAED44CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754c52076e86f1c553ccd52e18fcf55f7f6f035","datavalue":{"value":{"entity-type":"item","numeric-id":4484505,"id":"Q4484505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a053a4d1025e75fd731969945db17d9fbea75c90","datavalue":{"value":{"amount":"+0.7608665227890015","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":"Q1060004$0CB89B98-25A0-4AB5-9E20-ABB680594EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748bfb6e6abaea4126f34a2cda97f733e3a22cc0","datavalue":{"value":{"amount":"+0.7552050352096558","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":"Q1060004$737A665C-ABF8-4428-BB73-AEBD07DCD0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876f6995aee1337445bbc34a648175b32643c560","datavalue":{"value":{"entity-type":"item","numeric-id":4296305,"id":"Q4296305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e45a33421fb120d4619e19dac268c30584ae051","datavalue":{"value":{"amount":"+0.7523602843284607","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":"Q1060004$0B933673-89BB-4CD8-8B13-983A087EDCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a03ee5f4fed6653ba05bc7108abe53a186a09b","datavalue":{"value":{"entity-type":"item","numeric-id":3700806,"id":"Q3700806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1abb62657f2dd878555d4bf5ae987535e28bc79","datavalue":{"value":{"amount":"+0.7479218244552612","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":"Q1060004$F9D38FC0-D9BF-496C-81A5-B914F2AE38D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the suitability of trace semantics for modular proofs of communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_suitability_of_trace_semantics_for_modular_proofs_of_communicating_processes"}}}}}