{"entities":{"Q1065545":{"pageid":1076297,"ns":120,"title":"Item:Q1065545","lastrevid":66189534,"modified":"2026-04-12T08:09:27Z","type":"item","id":"Q1065545","labels":{"en":{"language":"en","value":"PDL with data constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3924131"}},"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":"Q1065545$81D78FAE-1F7D-4E0B-B918-497394DC0FCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbb11881cfcb1aff88316e4611682856d030bb3b","datavalue":{"value":{"text":"PDL with data constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065545$22B06E7E-3947-4F58-BC00-2B8619F06413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a271f9cb77a489daa366cf849e58e6427fb8d1aa","datavalue":{"value":"0577.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$74762F9F-D1F3-420C-BFA3-C97D647F6F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10fc2cadf2931fb0c7bd4ba66eeb97a9abba3729","datavalue":{"value":"10.1016/0020-0190(85)90127-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$0709504B-BDC5-4511-A591-336BA5FA1FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1574efd62e02a1a35bee8d9e65e6651b30b20a","datavalue":{"value":{"entity-type":"item","numeric-id":809067,"id":"Q809067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$77BBC110-0724-477B-A4B1-FFB580F0E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$C64F377E-9F14-407D-AF5C-9EC11E289609","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$ADAADDA1-0651-4BFD-8EC4-EB0D9BAF2444","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":"Q1065545$EB2A7F35-B641-4D92-A5DD-47BA0C63D919","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c2f9ddd10e495813c5d860a37881165a8852f6d","datavalue":{"value":"This paper considers an extension of classical propositional dynamic logic with new operators for programs such as \\(\\alpha\\) \\(\\cap \\beta\\) (the intersection of the programs \\(\\alpha\\) and \\(\\beta)\\) and \\({\\bar \\alpha}\\) (the complement of the program \\(\\alpha)\\) and new formulas such as \\(\\alpha\\) \\(\\subset \\beta\\) and \\(\\alpha =\\beta\\), which is given an (infinitary) complete axiomatization and shown to be highly undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$E9001F6E-1A45-44DB-90D9-B216E386531B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$58A119C4-17B0-415A-9E30-6335A0A7E677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$BE347A78-A382-4FEF-AC37-D9993C9B0312","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225657df5fd28d603a32efcbf5dc2e7c2a6f27a4","datavalue":{"value":"3924131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$AF8820B4-9E48-4C3B-8ACF-4CBFDA0A6842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc8888b6441019546eb7776ade4a1b2ca54b587","datavalue":{"value":"dynamic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$E3F63168-30DF-442C-8EAE-9EE5F4AA2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f91bb1a99874623ab06ba97d53ae72d93f1a91","datavalue":{"value":"data identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$D2D77B0F-FDFF-4776-ACBB-26E95C343B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$DB526D19-52A0-4480-9D3A-0E273AF151F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32eedfe0b1d0653e87e35b894324f33f87e1ec68","datavalue":{"value":"verification of","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$0FE1B212-F7FF-4BB8-9FE6-8C2B20AAB4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$C91188B1-BBD2-4878-8E54-557801470D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$EE4209DE-59DE-4CB6-AAF1-3BF8A0AF34D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$D4DD647E-B555-47AC-894B-45C86A6C3DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5609a50c85bfa2ac7f5fa4c3f0144026334fa5d6","datavalue":{"value":"complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$73F6B864-5684-4083-BCB0-A8B38386ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065545$BEF3EA9B-461B-4AA5-8B9E-BACE9580482C","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":"Q1065545$61010A8D-F8DE-409E-949A-9F14D48285CB","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":"Q1065545$1E496210-E4A4-4532-A399-28D61017AFBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2491554ca3e6352a94299cff823050e40018a128","datavalue":{"value":"https://doi.org/10.1016/0020-0190(85)90127-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065545$9F0EB3E7-03BA-46DB-921C-0553543DC466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6609b0153e02a12c034424ede6af222f03affa15","datavalue":{"value":"W2036328670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065545$64583673-8D7F-4F37-9DE6-A734AFA5BBDD","rank":"normal"}],"P223":[{"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":"Q1065545$283E566B-9278-4DDC-BAE7-9F2BC4897A8E","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":"Q1065545$64CD08EB-5208-4084-B3E8-54E50DF66FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf1ba170fae28e63e92407b948b3875ee6ea399","datavalue":{"value":{"entity-type":"item","numeric-id":3313253,"id":"Q3313253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$33AC20BB-A216-4E70-9FCF-631A3CB8D29E","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":"Q1065545$A01E31A0-1BF5-457C-B12E-C4D8450179FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8723c8224d4443bdd7a3d97a7dff5a3dc1827308","datavalue":{"value":{"entity-type":"item","numeric-id":3919070,"id":"Q3919070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$B3ED89BA-4919-4DB0-BE51-CCBBB5BF5FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cc037171281dee297950d20bc90e1ffedf1938","datavalue":{"value":{"entity-type":"item","numeric-id":3922159,"id":"Q3922159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$3D265B51-B344-4A45-8965-40D22977836F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$7DB47DA8-5428-4650-B1F5-6EB165008B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$4BB955B1-A163-4A37-AA2F-426B11FA6087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764ff6cb229a9b11ee828e80df20e5be49712b58","datavalue":{"value":{"entity-type":"item","numeric-id":3322087,"id":"Q3322087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$47EC3907-80CC-4C30-8B6F-B430794446EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065545$25D812F7-FDD7-4C34-906B-1C1DFEAE6FB6","rank":"normal"}],"P1643":[{"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":"66421c007eb4b35470b3f3366be23e048e6b10e3","datavalue":{"value":{"amount":"+0.8299378156661987","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":"Q1065545$263BAA69-BD11-46B4-AFFF-29D1DE4F5BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a79bad357854e7fac8410bbcc7ec587ead8dc25","datavalue":{"value":{"amount":"+0.823544979095459","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":"Q1065545$815F007D-73F4-4B6D-AF99-73AB4959A81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81fa4bdafee241c83ae890df67d838489775182","datavalue":{"value":{"amount":"+0.822124183177948","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":"Q1065545$A4E3AAD8-47CC-4821-B52A-5FD2E1E63ADC","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":"027cc2db20b86c31dd82e8de263ff5703ce83c1e","datavalue":{"value":{"amount":"+0.8216328024864197","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":"Q1065545$69AF15BD-1404-4375-B8C4-187D3E263755","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":"adc319c890dfd1fc5aa04b1e4abfd1b749e865f8","datavalue":{"value":{"amount":"+0.820401668548584","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":"Q1065545$56394E69-22B4-4796-874C-D97665353A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PDL with data constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PDL_with_data_constants"}}}}}