{"entities":{"Q1062972":{"pageid":1073724,"ns":120,"title":"Item:Q1062972","lastrevid":66063231,"modified":"2026-04-12T07:17:20Z","type":"item","id":"Q1062972","labels":{"en":{"language":"en","value":"Propositional dynamic logic with local assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3916230"}},"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":"Q1062972$F9E91D7F-AD39-43D1-A7AB-33E0426EA50B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ce1d34082ae1a7ec5838ac5071bb1a22362b232","datavalue":{"value":{"text":"Propositional dynamic logic with local assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1062972$61A860EF-709A-438C-8C7F-D3B403CF006D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6da930c832c10c7ec2f38b45c5ae6f8f90fac3f","datavalue":{"value":"0574.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$3638AE80-C6E2-4C55-AE06-02AEB708A666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d2cc6817064d3763b3cbb5b72f3af13d876205b","datavalue":{"value":"10.1016/0304-3975(85)90031-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$E0EB6E28-FDF9-4AF3-947F-6883112E7A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5a99ead3ce4b0a80530af2f776eeeae582016df","datavalue":{"value":{"entity-type":"item","numeric-id":1062971,"id":"Q1062971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$D9CEB3F5-8788-4D90-AB8A-8944E7DEE45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$00ACD8BD-4FE4-48E6-A8C3-7A3E8F320577","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":"Q1062972$5719F879-5C51-43F7-8F7E-AB4E36B8C6B8","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":"Q1062972$AEAFAB43-21AB-4694-B8A7-F72B08446B6F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12d93cfe6353bb13cad594b0dfdadbde5b484b8b","datavalue":{"value":"An extension of propositional dynamic logic is proposed which allows a new kind of program terms - local assignments \\(p:=v\\) of truth-values v to propositional variables p. In this logic many notions, like equivalence of programs, looping and finitely branching, as well as the truth in the (standard model of) first order arithmetic are expressible. In fact it is equivalent in expressive power to first-order logic with transitive closure and its validity problem is \\(\\Pi^ 1_ 1\\)-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$961BBF91-6D01-4BFF-A316-B7ADC38EEA19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$2254F185-0F05-4FB8-82D2-3759F4ECA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$1DF5343D-83DC-4419-9CD5-4A1FF147E788","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3942f1aa066ed6bbbebcdf4414e6bfc9a5d0661","datavalue":{"value":"3916230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$37609038-681B-40F6-B7A9-560D2A64A7A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875d0ef070f5ac8b57772f4776fb872aab667adc","datavalue":{"value":"extension of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$251F6594-FA19-4CFF-87E7-1DFC061296A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e72dcd2bfd920019145e513609919d4131fa066","datavalue":{"value":"equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$C5AA2B22-6A7E-4EF6-95B5-B28BBCA4F226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546cb0d82885856838d1b3b3f668e195ce2b8004","datavalue":{"value":"looping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$E558F7A1-154D-42C9-9C4E-185E2B1CF933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f7f5069812e358cb491dbddf56609fc08cb731f","datavalue":{"value":"finitely branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$9BC0F317-6DC9-4B51-8E9A-44E1B5E8197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$008D7FED-D3B5-49BD-98E2-6861E71B2180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0c080237bcaedbbf1565125015108b5d00721a","datavalue":{"value":"first-order logic with transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062972$2A375EC6-6E4A-426E-AB06-57C4FF445BA1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$FB25CDBA-5B6A-4D87-BD1B-40201DF56FA0","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":"Q1062972$0A7681F9-5B2E-466B-A2FA-D0E590D0E407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0869fb0d8265784e41446cca27ba64b2cd0da1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90031-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1062972$D1AF8EF8-CDD1-4B8B-887F-DFFFF5BB5931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6fd1504dfe1cbd989ba96c630ea2e14750e32a8","datavalue":{"value":"W2087363667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062972$35CF53A6-CC8B-4B23-8D04-2DD58F2BCEFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$67A8D86E-2385-4616-B438-40121E272016","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":"Q1062972$1A758DC0-49D0-4579-9E66-406F5787A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$B4002A6C-364E-45DD-9583-A62435BCA654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$5F7EF500-A2EA-45E5-A0B2-ECBD96F29B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7577cc9a1d000823ba2960d3f5336b50b01abe91","datavalue":{"value":{"entity-type":"item","numeric-id":3917485,"id":"Q3917485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$ABB3428D-6D94-413E-89C4-E409B2866F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019c0c1326ab2182eae34b441d1ef2a9c9f024e","datavalue":{"value":{"entity-type":"item","numeric-id":3216138,"id":"Q3216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$57910379-593B-4C34-A1F0-1F209A0D33DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$35A8F8AD-F816-46E4-9E58-C3ABE7D74421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062972$FB9DE72A-9A2E-401C-A395-94E31E973F5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf11d814a57d0e33247911c9820ab2cc3dee2f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271051,"id":"Q5271051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4556b1571e9b8e68742df6c462c9a8cbc57520","datavalue":{"value":{"amount":"+0.8347689509391785","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":"Q1062972$92E32357-ADE1-488D-AF52-25606C179BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950344ec4ca852d90e324520439bef557e3c290c","datavalue":{"value":{"entity-type":"item","numeric-id":3315481,"id":"Q3315481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d583da784656d47fa31ef64638691faa0c2f66b4","datavalue":{"value":{"amount":"+0.8104903697967529","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":"Q1062972$420A188C-8729-41C0-B1D8-043351F579CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa9aaf8186e055761fc9a43ed4c65f9493884ad","datavalue":{"value":{"amount":"+0.797013521194458","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":"Q1062972$E2FCAF70-0C82-4711-B93D-7F75A0848597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fb68822fc829e8d2e0868f595e7377425bfadf","datavalue":{"value":{"amount":"+0.796389639377594","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":"Q1062972$86A58AB6-80A0-47DA-B328-8E4FC779D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee1932023eeea06be33f665b1bda1261c5e9309","datavalue":{"value":{"amount":"+0.7928652763366699","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":"Q1062972$50953461-22D1-46A1-8BF0-FFDBEA097BB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional dynamic logic with local assignments","badges":[]}}}}}