{"entities":{"Q2937698":{"pageid":2948418,"ns":120,"title":"Item:Q2937698","lastrevid":52169954,"modified":"2026-01-21T02:16:18Z","type":"item","id":"Q2937698","labels":{"en":{"language":"en","value":"Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385569"}},"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":"Q2937698$DF0F5862-B21C-459A-BDB4-DC72F451E345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c77a585279238bccb39ade1c0eb44382d93046b","datavalue":{"value":{"text":"Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937698$CA20A738-DE62-4E4B-95BE-990CE749AF34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b0f8e1ad4695fc441ebce70d5cda6285c49d2a2","datavalue":{"value":"1303.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$0EEE336A-9DF7-463A-8E68-229238BF4D0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937698$9DF3AEB1-37EB-4F15-8764-8EA22FD54BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86c6621f9800d0ce6a33557f07d836f6bd1de6c3","datavalue":{"value":{"entity-type":"item","numeric-id":654914,"id":"Q654914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937698$5EA0B0EB-1DF0-4638-B0F0-EB029B2AB7D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937698$8D564EF2-72C5-4CDF-8537-3510A85B30D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9602d65d9e7138d0e1e7b86817676fb8687348c","datavalue":{"value":"https://semanticscholar.org/paper/ed7a1d4be775c2184bbcc899975ecf9c9c1141cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937698$950A8994-3F4D-4C8B-89ED-548A63140959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$AF76F719-6E33-4F04-B707-95509D981BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$77E57A4B-E9A9-4B62-908F-748AFB12832E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87467d6ef7529b8c5af5233ac07a178ace58200","datavalue":{"value":"6385569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$F5F84BDC-6E95-46B9-9B1D-D8750AFBB25B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937698$9115E52A-FFE9-4F20-8E3B-72B4C2614DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937698$A0F231F4-D868-4AC8-B67B-F77D17E52EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937698$C1DFF331-1D4F-478C-9CF6-16848EADA288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937698$9E93FD69-20F3-49A0-8178-C2A338F0C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937698$EA28079A-A7E5-4BDC-9413-2663C81A3E20","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":"Q2937698$8E45A8C1-65A9-4F0A-BE85-CBB09748350B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5091fb2d15d9f19704cb3a1729582a17b018f3c5","datavalue":{"value":"W2165678590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$50915E88-79A5-4C37-8370-23564CFFC028","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfc3495212a2e529c067ed8c48eb86b69fc318d4","datavalue":{"value":"10.1093/LOGCOM/EXU001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937698$598AF856-7B3A-42EB-8602-61061ED6777D","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":"Q2937698$B08853DD-71C2-4AEF-A544-2993CE400A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20beed9b09b7d5b0a6f2cad6c51d80c7102f06f5","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6227abb06edf31741dd1f39b3df6487a4c41c0af","datavalue":{"value":{"amount":"+0.9086247086524964","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":"Q2937698$5A44A791-78C1-4255-AB72-7DEE3D4A7D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c12dc9388e79071c4912ac5339f1e4f45530bf6","datavalue":{"value":{"amount":"+0.8631073236465454","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":"Q2937698$1BA6FFDC-1558-4594-9FAB-D63397300C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d64f7cf5a4a8bef95f15d019d7e2ebc07da1af6","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e81785e259df9433fe34c6e187f2bc10356bc6","datavalue":{"value":{"amount":"+0.7981549501419067","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":"Q2937698$64DDECE5-C4EE-4F93-924D-DE05207FC885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a788f250a459d6da4a74842a0f4d4eb1a004b5e","datavalue":{"value":{"entity-type":"item","numeric-id":5179014,"id":"Q5179014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868675d07417e22333f659e02e5b79f07df476e8","datavalue":{"value":{"amount":"+0.7980918288230896","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":"Q2937698$E1086711-BFD0-4CAD-83C1-C7E5E874056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955e0e3594374d4f3e16692daf50464cefe2c7a9","datavalue":{"value":{"amount":"+0.7889946699142456","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":"Q2937698$5E4697AA-4F75-455D-9A67-7D6ABE15C56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937698"}}}}}