{"entities":{"Q1295436":{"pageid":1306186,"ns":120,"title":"Item:Q1295436","lastrevid":68393511,"modified":"2026-04-12T23:24:52Z","type":"item","id":"Q1295436","labels":{"en":{"language":"en","value":"Computation paths logic: An expressive, yet elementary, process logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308108"}},"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":"Q1295436$8C18A9EC-EC58-42F6-88A0-6CCE5B84E64F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8789f92210740aa7afe76fa5ddb337daf3eec873","datavalue":{"value":{"text":"Computation paths logic: An expressive, yet elementary, process logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295436$BE697FA0-3928-4252-BB2D-ED005F18DFE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2462b00a67e8613e6228f71d9de62d66d9faeae","datavalue":{"value":"0931.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$73CBA1AE-9D8B-44FD-A1BF-FC2600540A82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"526e86ce32f7954f345538a2f8d0ff20973846fd","datavalue":{"value":"10.1016/S0168-0072(98)00038-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$4CDC87AC-70F5-4A8C-95C4-67E3DACD12C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$0C23A0FE-0EEC-45DA-A037-A0663308BB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dee375e96a94f690626081864dec8a3313a32033","datavalue":{"value":{"entity-type":"item","numeric-id":1295435,"id":"Q1295435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$64338BEF-3109-47B3-AD14-0C2CAA2620F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$DBD1BD89-C539-425B-B7DC-49830AAB696A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"991e475abd37be734cb0d7a05f99118046b2fc75","datavalue":{"value":{"time":"+1999-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295436$F74703C4-C340-4E00-BADF-E0BC1142AB63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e9648ae3fa73276243ecc5a194d9b33fc1fbe98","datavalue":{"value":"A new process logic is introduced, called computation paths logic (CPL) that is ``compositional, uniform in its treatment of programs and formulas, expressive enough to capture the interesting path properties mentioned in the literature in a natural way, explicit in its treatment of concurrency, and elementarily decidable.'' It builds on previous approaches to process logic [see \\textit{D. Harel, D. Kozen} and \\textit{R. Parikh}, J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016); \\textit{D. Harel} and \\textit{D. Peleg}, Theor. Comput. Sci. 38, 307-322 (1985; Zbl 0572.03010); \\textit{M. Y. Vardi} and \\textit{P. Wolper}, Logics of programs, Lect. Notes Comput. Sci. 164, 501-512 (1984; Zbl 0549.68020)]. The syntax and semantics of CPL are introduced and a proof of its elementary decidability is presented. Extensions of CPL are proposed for modeling asynchronous and synchronous concurrent processes, and for expressing properties of infinite computations. They are proved to be elementarily decidable, too, using automata.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$3C9BD3EC-A148-4B13-B18B-8DE20199E018","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$194DC049-46BB-480D-B3F4-52192DF42812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$22F3B6E7-5FC9-4F93-8CC6-A2C61BE1F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$E174702F-D8D0-4F61-8CA5-95A13661C2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$B35E1351-DB17-4EE4-9D7B-BE675E7ECBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$97DDCA2E-E2E6-4F4A-B77F-4A0C87020738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$D5B1EE31-D903-4704-9609-B453891DDBD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d246b262575ac842f13093848e9958892e394bd","datavalue":{"value":"1308108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295436$B57D2683-7F07-455D-9B47-053440551480","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d8c0d98e5c66d33d8e4b4f2ae91fc309d9c297","datavalue":{"value":"process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$0FACD86F-4578-43E7-A5E4-B980B7C46278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$C772CB54-A5E4-4EF4-8B4A-ACCD10B28E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$6340BFC3-2DEC-46FF-931B-23CC27A974A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22019411ccdfb9d06f9a2de4dda0c12c957364df","datavalue":{"value":"computation paths logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$0C90F536-3FA2-4644-8E38-B6EBFB9E05AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$99C1C3DD-14F8-4C40-83D9-F7384ED89B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"474d046556431fd9e5d586a8c376bfb6c18c67d7","datavalue":{"value":"elementary decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$451A63FD-279D-47D6-956C-D385D3A60669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$D428A814-1054-41BE-8A58-5C38AB538AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1d8bcb062db3fc3ff4b6354f32a55a70cc53f0","datavalue":{"value":"expressing properties of infinite computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295436$9166D27E-3A76-4E14-BBFF-A2AB1236A909","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$1DBF33AA-C354-410F-AF7F-843B991B9A25","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":"Q1295436$ECC2A4F3-3207-4D7B-8D64-A14A32353C22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b58e3c5a8bd0e8e00a61441b3d285e2b49d20a3","datavalue":{"value":{"entity-type":"item","numeric-id":3748269,"id":"Q3748269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$F7A1432B-A7AB-4CE5-BA50-BDED2081B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$EA1E1E0F-8D56-4C22-AC47-1ABB3E81EB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b0f4db04f9c75ea19ea5967c0becb3d0ef7a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3888558,"id":"Q3888558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$F03BDEEB-D678-44D1-8A2C-19E0CF0BDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$46ABB64B-402F-4363-94A0-4B770AE31606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4b0bcc7612754d8a1b8a8945a6a478f1175f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168965,"id":"Q1168965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$FCB2D3FD-A7D6-42A3-9B6F-C8E136E0E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1049de77926f55cea451c4224d65bb924178a1d5","datavalue":{"value":{"entity-type":"item","numeric-id":1062047,"id":"Q1062047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$7A8473A9-0576-4660-8832-096848D4531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$A1689BFC-261B-4806-B0A2-48406EF65068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94183ad4f0d8efcb0ea025a8a0a69f7828b7d244","datavalue":{"value":{"entity-type":"item","numeric-id":3694683,"id":"Q3694683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$E83306C3-6892-422C-96C6-568EACE2685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$084D5F9F-9001-4A19-B83F-C094FB9EA217","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":"Q1295436$9230F230-C07A-4FEA-AB69-442686411697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0f35ef5657e712d039ef4b0b880ed045a3c425","datavalue":{"value":{"entity-type":"item","numeric-id":3343430,"id":"Q3343430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$B433720E-73D9-4DC1-9AA7-BF3354FF97D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295436$4D970E5A-9D21-45E7-AA13-C4AB6278D210","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180f3e4c8729f484d02d188ef73e34d5f035b45c","datavalue":{"value":{"entity-type":"item","numeric-id":4571972,"id":"Q4571972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3263809d4e150057198c054c7bd23307b8f4bb6f","datavalue":{"value":{"amount":"+0.9748581647872924","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":"Q1295436$FF1F2744-FA2D-43AC-964C-043D02EE0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ec264743377fe3efcf2cc5d39476a432a168e5","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e7a0ba4047c97035533d5a9f2693f950dafeee","datavalue":{"value":{"amount":"+0.8061943650245667","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":"Q1295436$48762268-C5B5-48BC-8BB4-8C71A23B2C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a0585a2ccf8f27ae7c3728db85b83ebc046ddfb","datavalue":{"value":{"entity-type":"item","numeric-id":3323260,"id":"Q3323260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caf32e6a85f9d0c4351127fd42ec65b4a21ae66","datavalue":{"value":{"amount":"+0.7670843601226807","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":"Q1295436$330F2B75-801F-425D-8E2A-CAD1B67AA8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4788ab1b974fbf4651f96bd34a2cfcfc54748204","datavalue":{"value":{"amount":"+0.7632073760032654","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":"Q1295436$8F2E1177-EBEA-4485-BB05-CDC456B63E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3837bf372fb081e7e469905c459161e17c08ed3e","datavalue":{"value":{"entity-type":"item","numeric-id":4236204,"id":"Q4236204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1930ffb209e620a652008eb3a5fac8109d98cb4f","datavalue":{"value":{"amount":"+0.7539170980453491","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":"Q1295436$9AE69208-BA3B-41BD-96F7-22B96174DEC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation paths logic: An expressive, yet elementary, process logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_paths_logic:_An_expressive,_yet_elementary,_process_logic"}}}}}