{"entities":{"Q2849436":{"pageid":2860156,"ns":120,"title":"Item:Q2849436","lastrevid":51825764,"modified":"2026-01-20T05:52:00Z","type":"item","id":"Q2849436","labels":{"en":{"language":"en","value":"Ockhamist propositional dynamic logic: a natural link between PDL and CTL*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208960"}},"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":"Q2849436$E46105BF-B41C-4C1D-BFD5-71626F397512","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dd94ea5910429791e6e64b9c083d881d7ceca51","datavalue":{"value":{"text":"Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849436$A673BA07-565C-44AE-9376-8536A87E42DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06f6079ebc8506daa24440298e339fa6fbbc8273","datavalue":{"value":"1394.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$AAE3913B-93E6-4967-8BFB-2EDBA1BBD195","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8758c6e2ae86aed86068f50313a905e84b867f1b","datavalue":{"value":"10.1007/978-3-642-39992-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$29FCB8AE-69EB-4D57-A64F-8BD09076D318","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849436$CC411DDC-60CC-41C8-B6E3-2560AE96F11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37039adae9fb9dcd5098e398204f72e6792882b","datavalue":{"value":{"entity-type":"item","numeric-id":302222,"id":"Q302222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849436$5AF1034A-E439-4EEC-843E-7D1FEEBFCA2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849436$3BDD3895-3A35-47F5-B2EF-EA466FCF3A5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849436$4F6853D8-D08D-46DE-B42C-4D0CAC0D9C24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$A72AAADA-5125-487B-9B20-47BBB428255B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$C4071FB0-FBD5-4ECE-BC11-04532B16523F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e6bab4d93b1a54288ac04c8a1c133e0f02628f1","datavalue":{"value":"6208960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$9842D844-F44E-440D-9D9E-8D4EF85B1793","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":"Q2849436$3A2BF3FE-9897-4A2E-87C6-DC316DAF91B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c407a0c3215e2408740855c1436886167ac38cb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39992-3_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849436$1C972E8D-93DD-4BDE-B175-C6116433CA64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7076d0d3109bc996a18fb5891914a2e3cd5f588b","datavalue":{"value":"W1727610209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849436$91BD8CB9-1B70-4F55-A282-A5C2560F9E28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b4b463c4adbfe155b7e4df1ebfa1ae4a50d827","datavalue":{"value":{"entity-type":"item","numeric-id":2835868,"id":"Q2835868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f709048521200178d21d0d629be984aec9e5bbb3","datavalue":{"value":{"amount":"+0.8567489981651306","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":"Q2849436$EF4ADAB9-EB35-4CA7-831A-BE0D66767639","rank":"normal"},{"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":"38113fd8e7268eb40c85932dca7a0f3102796fa7","datavalue":{"value":{"amount":"+0.7561210989952087","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":"Q2849436$472D676C-5728-47D7-B223-24A4E98092C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb3937da41f1bf8c9cb00b7c85ca58d6bd4f960","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca76133da7eceab34bb3b9e1f93ca45ae4d1855a","datavalue":{"value":{"amount":"+0.7552132606506348","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":"Q2849436$36A7ECCB-E4BF-49F2-B55A-8B44A989ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959bb1531cbcced4b6982857b8607b22a36bd270","datavalue":{"value":{"entity-type":"item","numeric-id":1006486,"id":"Q1006486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b565aea1fa9237e70c48c6978bc6b190136919f0","datavalue":{"value":{"amount":"+0.7502405047416687","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":"Q2849436$B2A4F150-351C-4A08-B2BE-3BFECB460A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0960caa6e48e0df1cef6c263ae9718a88c6765","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0970b6271b449f3a0fa4730598bf4cc31f2b54d","datavalue":{"value":{"amount":"+0.7481256723403931","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":"Q2849436$AB3FC286-4862-46C5-8A47-8D40007B43B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849436"}}}}}