{"entities":{"Q2643333":{"pageid":2654076,"ns":120,"title":"Item:Q2643333","lastrevid":50151014,"modified":"2026-01-13T06:58:02Z","type":"item","id":"Q2643333","labels":{"en":{"language":"en","value":"Propositional dynamic logic with recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182398"}},"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":"Q2643333$294E2F5B-E36E-41F2-81A3-3E06BF70DF7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"295942febc6e07c78b34a8f24e66efbd8ba5454d","datavalue":{"value":{"text":"Propositional dynamic logic with recursive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643333$8B3B101C-9201-488A-B2FA-FEED4F1B1504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"557c05e8ae6a48c19943332f51f23cf5c5248eb3","datavalue":{"value":"1123.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$331444C5-E458-43DD-A65E-488E8F6ABF69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$EF6B3585-CC84-4234-A9B9-76C2DE086858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$EF3FA2B4-26BC-4CE4-AB58-8D148E75CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$A510B26E-D9A7-40A1-ADB2-BB6EBE5C60B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$E797DDB7-51A6-4E9E-9BA5-1AF84B89C260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643333$F964E694-4508-43C8-A41F-CF164D37CAE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$BD229EC9-0DDA-4573-B860-9DE115FD2488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$095C0AC8-2482-443F-ADAD-EC215FFFB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$95DBA10C-64F2-42E1-88E3-52BC0696D8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$5F39F339-3DC3-4A13-9BFA-7E7578C7EF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$49A2677B-E1BD-4DB8-9D63-F809C3953789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d481801f5eea353900bc3d92ba888b6e79b3580a","datavalue":{"value":"5182398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$49E33B14-A075-461F-9F8B-E957B982C520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643333$654A18CA-18F6-4C8A-8A69-EEC861B7EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51c122061becbfe0e372cd8e7ac957a19e72e0","datavalue":{"value":"visibly pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643333$74E0FC13-1DE4-488A-BCEF-34E917C51176","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":"Q2643333$A6C19E46-E4E7-4992-86C2-876A01961CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9f07ca67db3cad1f4fa7c8590c7e40bb54aeca4","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643333$70F3C0B5-E56E-4D40-937C-80BAFE483C78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c90552c59d848f6c0dfd277dc9eac6fb6fa66427","datavalue":{"value":"W1974572624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$3CCFBF72-79C6-4F56-968C-F453FBCF46A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fac3e593bbdc4bf38035515355792d7f6d6bba","datavalue":{"value":{"entity-type":"item","numeric-id":5348921,"id":"Q5348921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$5601A64F-3318-4C37-91BA-6C29E6233BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$4768E358-3721-4109-A2D9-242FD7F9DAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$A14F1E8B-6FA2-4064-9C11-FA90F4081A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648cb108bd37c29de0543b7af3d48092bfa49749","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$49B78672-4577-4628-AC11-12A6F4A7D3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$5F0440B9-A9BE-4A46-A1F1-633F05E5A30B","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":"Q2643333$3812F389-C4DA-40AA-B09D-22C648CBB905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f96912f1fe7817ee6e5f251a66dfe32ca750ad","datavalue":{"value":{"entity-type":"item","numeric-id":1923105,"id":"Q1923105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$4BE264D1-A076-421D-B69E-95BED5C9B0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$170B1620-C5F8-4B9F-8AE5-802C4DA53549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$A2A174C0-40B4-44DA-A109-D70B622E7443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$3A6E8CC4-F096-4A62-9A8B-AFE341077E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ab2d8390145c5151ca35ad49ab39837a18a8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$8C240043-BF44-4BA4-BD30-DF47092D3B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37c9255332d22e7b15af86fb9a96ef9cff53122","datavalue":{"value":{"entity-type":"item","numeric-id":3330494,"id":"Q3330494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$E6DBE7A8-7837-4584-91D5-D315730C14F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$946CEE76-BA73-480D-B906-034D80A60949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$0C230DB8-652B-409A-A533-EEB7D16C54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf9c2e8005e070cc02f7e5d2e34924b80464613","datavalue":{"value":{"entity-type":"item","numeric-id":5553283,"id":"Q5553283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$4648D2A5-F3EA-412F-BAD8-E39BEBBA7249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$9D7D68AA-C598-4F7E-88FE-7EDA9661B81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$6A72C63A-2E20-4AEB-AB32-FD4B3F5FF11B","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":"Q2643333$20B774C7-188A-4839-BFD8-ABAB37610187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$99346CEE-30DA-4BE6-97C2-FF4D63E71C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643333$09C40C6A-EBD9-4260-BEB4-43266F4C92C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c74abc3869ece11b9db64fd1a3d7e148112d82a5","datavalue":{"value":"10.1016/J.JLAP.2006.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643333$544A7BBE-CD65-4647-A991-4C72E4DB3DD7","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":"6011db601306d1944db0dfc106e4bbab7fed569e","datavalue":{"value":{"amount":"+0.9881532788276672","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":"Q2643333$38EA79FD-9599-422E-A410-0D1491E9D024","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":"0a5a1c6827dc97572d240061d68704f28b484698","datavalue":{"value":{"amount":"+0.8558548092842102","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":"Q2643333$7E4A8461-A03D-4609-98A3-3A5F7C4C95AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843ebe266c2e28129a40fb884847cbb25bf2be52","datavalue":{"value":{"amount":"+0.8473268151283264","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":"Q2643333$134C83A0-C0C6-4041-8D00-9ECCD923A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d28c16903d87b354df9973c509ef865711c16c","datavalue":{"value":{"entity-type":"item","numeric-id":3137712,"id":"Q3137712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6954f86efc49a24e0aeabfa7fc2cdbd25242a1a","datavalue":{"value":{"amount":"+0.8412572145462036","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":"Q2643333$FD6EF399-6EFF-4A0B-BD74-BACFF3BEB8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ef5fb3f41ec9e579712a36464f00849086b048","datavalue":{"value":{"amount":"+0.8406768441200256","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":"Q2643333$1CEA690B-BEFA-42B6-B150-9762C90075B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643333"}}}}}