{"entities":{"Q1092892":{"pageid":1103644,"ns":120,"title":"Item:Q1092892","lastrevid":69900660,"modified":"2026-04-13T11:05:23Z","type":"item","id":"Q1092892","labels":{"en":{"language":"en","value":"Dynamic process logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4021107"}},"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":"Q1092892$E42EFBEE-B9EC-4875-9105-324EFD5091C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbbf93619548a2eb5a2f131034a491ccc753d839","datavalue":{"value":{"text":"Dynamic process logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092892$563DCA05-D419-4B32-B5A8-D820944F8728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46afa3ae4bc0a34637a6bd5807ba51985e1aa8fe","datavalue":{"value":"0628.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$98E66C81-6A65-4A51-A4ED-369840C84402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092892$5D6EA879-DE8E-4842-990B-2617BB6883E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092892$4F46E1D0-02C5-4AF7-B9BE-F0E6AB6225EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1092892$860FA653-5F7C-4C57-83AF-B73DB9099AEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bc0025b4c95b78f8ae4599911aa25eea4370761","datavalue":{"value":"\\textit{M. K. Valiev} [Lect. Notes Comput. Sci. 148, 304-313 (1983; Zbl 0528.03014)] has shown that each formula of Pratt's dynamic process logic (DPL) is transformable into a formula of Pratt's propositional dynamic logic (PDL) in exponential time. The author shows that for any DPL formula, we can construct in quadratic time and linear space a PDL formula which is satisfiable if and only if the original DPL formula is satisfiable, which implies that DPL is decidable with exponential upper bound on its complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$731C5CC7-F40D-48F4-85CC-3613E221F6A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$162CCCB0-C3B3-4EF2-852C-2BC11E693045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$5FF77E22-EC5D-42AD-AC37-74990CAA1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$A5F5CC11-F47D-4460-846D-6DE14820EDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$8B9F7195-C0CF-48AE-9AB2-E9BD391D06E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$60B1FC46-5CF5-402E-940C-66416C39D842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8509dd15b84cfdde10e29a7241723411817e7824","datavalue":{"value":"4021107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092892$540FE99C-9337-4C7F-8D7B-3A4A90A40F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$74001D17-C788-4419-9E11-449BDCFA893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a66f57ccab91e5151fde04e827e02145c53e6c","datavalue":{"value":"exponential decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$283609A5-6857-456A-B9CA-AA7C54736117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821ac440ef8f32302d9a2d5fbd2d4990d85168b2","datavalue":{"value":"linear space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$53B7F964-BC6D-4F91-99B5-CDE139EC6756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20126b9ccaec8f64c8943f329f1479c11b90a55","datavalue":{"value":"dynamic process logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$274DA867-7B77-4E8D-86B9-219180393E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092892$B4C00A20-ED20-4B81-B222-B4080FBF4D67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092892$4392CC20-5A05-4453-8262-5047A15A9284","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":"Q1092892$81A66C4D-4483-4E7E-B549-CC0792BE82A9","rank":"normal"}],"P1643":[{"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":"614499081c11bdf3e3f997fa5afde335d728f3ac","datavalue":{"value":{"amount":"+0.8495350480079651","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":"Q1092892$E3A025B7-2B85-463D-AF71-059816E01A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48f48d68bcd26bd1dbb44897eb4e6e5f7d7f51","datavalue":{"value":{"entity-type":"item","numeric-id":3734373,"id":"Q3734373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170b7b7326012dba890dd163058bf6c4f22a625a","datavalue":{"value":{"amount":"+0.8282514810562134","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":"Q1092892$CB0AD158-3D89-4357-A206-1F070E8A84A6","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":"0ef4b285d3826c6254ab138224c01d216da3347d","datavalue":{"value":{"amount":"+0.8056371212005615","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":"Q1092892$62E00CDA-1021-4A1A-B1D7-01A26717418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc36d22db2ee3e13555a4a89cb61f01c7f37f9f","datavalue":{"value":{"amount":"+0.8005247712135315","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":"Q1092892$AC5B9B99-8907-43B7-A4AC-B388D41BA683","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":"f008f29337ff99dec7ccd94430491a007d186656","datavalue":{"value":{"amount":"+0.7922937273979187","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":"Q1092892$A80A6524-8D20-45D1-A0CF-9D45826AB03F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic process logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_process_logic"}}}}}