{"entities":{"Q3682465":{"pageid":5712371,"ns":120,"title":"Item:Q3682465","lastrevid":88635128,"modified":"2026-06-04T15:02:45Z","type":"item","id":"Q3682465","labels":{"en":{"language":"en","value":"Regular dynamic logic is not interpretable in deterministic context-free dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904561"}},"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":"Q3682465$02A3584D-40D3-4957-B77F-F53774AF36BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aee235c8c3054b0df02d4ad9332126ed1171019","datavalue":{"value":{"text":"Regular dynamic logic is not interpretable in deterministic context-free dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3682465$EA656DAF-B6DC-4DE4-B3D1-0FB7CF864A1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c3966989d5caa223ecab2bdd02a40231f6be22","datavalue":{"value":"0567.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$F73CE2C9-F992-4A32-9E47-80DB01BE4579","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"032458c68fbd30dc5b03f7f2f90f0006c44a66ab","datavalue":{"value":"10.1016/S0019-9958(83)80031-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$AE7DB302-0700-484E-9A7B-48849BD30E45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3682465$021A206C-31F4-4277-9CD8-90E9B3CAC641","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3682465$98AB107D-6E43-4B13-89B0-B9580EACD000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$FE1E2DFB-AEA9-4EED-A7BD-203979ADC050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$6D82000E-2CDB-460B-9FAC-FC6615306D75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ec52d465610ffb72c42ecd04226213bd8a9e5e","datavalue":{"value":"3904561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$D429EED5-6875-4441-A73F-22CE7EB01F6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682465$1B738A27-9828-46F6-96C4-669F45436719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c6e2bab3138b140ffa41ce93a860394219099a1","datavalue":{"value":"group graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682465$B9C31D48-69D6-4026-A04F-AA08357629CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a29b05b8a9864e249fbc78c74b1edd68c3a3620f","datavalue":{"value":"free Burnside group","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682465$088EA403-3E35-430C-A57A-452A35525CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86513fe5a7f1421c6da95956e4158926c034aa","datavalue":{"value":"context-free programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682465$02453CAD-B399-401C-8037-B660E43C745F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5dc62449b693350c4a1558860fb677b7e73eaba","datavalue":{"value":"truth-table property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682465$FFDBA901-3D10-4988-B93A-13FA25369457","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":"Q3682465$5A83796C-E4A4-4357-9277-C9F4A85ED5CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bbea3f350b74407af153ffdb46fc864bddb685d","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80031-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3682465$FF88B470-D128-4CC9-B024-5E588246E230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"131c87e2fa673114c62658764cc27d8719ed9523","datavalue":{"value":"W1991376266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682465$E8391610-1FDD-4892-AF78-D401C9F24D99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c088a7dfc84c37aed44767b9d5dc79b04bf7f9","datavalue":{"value":{"entity-type":"item","numeric-id":3764130,"id":"Q3764130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc782328b61ae8ea2bac424ca9aa527a129e7abf","datavalue":{"value":{"amount":"+0.89618313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$D0B12DE6-D3C0-4E19-95C2-0BC57A9DFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"007a0fa5f9d86b0f7ba8ce1664e46c5994081537","datavalue":{"value":{"entity-type":"item","numeric-id":3326828,"id":"Q3326828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c039b7122e7f4f81763368101e6a6834e8aacb0","datavalue":{"value":{"amount":"+0.8961831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$C10AF429-074F-42E8-A20D-F839CEE8412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd19a5d3c2e797fb479f69ce54a754d777210290","datavalue":{"value":{"entity-type":"item","numeric-id":3334975,"id":"Q3334975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f220d69c49cf4831d1d705109d7b4eadd28d785c","datavalue":{"value":{"amount":"+0.8455818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$3EC6BBBA-24DC-4C5D-9C4B-F408D9BBABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39c3b0aafbbecdbbe95194e17cad74462dcaae31","datavalue":{"value":{"entity-type":"item","numeric-id":3323259,"id":"Q3323259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be48dd908d0b9e7d1b9e45fc9f3777222e445098","datavalue":{"value":{"amount":"+0.8434478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$243CB9B7-31B2-4FCD-8047-358B8A661500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fe49233b127130c388971a5621d42a322af9c6","datavalue":{"value":{"entity-type":"item","numeric-id":3330494,"id":"Q3330494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184f80c79cc23a8bf35ded438f8037aeceaa145c","datavalue":{"value":{"amount":"+0.83980733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$EE5B5439-0BAB-485F-8D68-2D49EA713398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e31ad2cd1f1be1b94113066adc4dcba51965d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4552494,"id":"Q4552494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd27e53a8e5296fb3f3ff5d111ee24ae4398f777","datavalue":{"value":{"amount":"+0.83923733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$3FC4D2B6-393D-4A78-B427-616DF0A6409B","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":"36696ec42fabc710e7a0eee2c96dc63041897493","datavalue":{"value":{"amount":"+0.8365598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$042A1AD9-E644-4D37-BB48-002E8B85A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fc14f28f779ee664abe90d622ef65bb0974d7b","datavalue":{"value":{"entity-type":"item","numeric-id":673493,"id":"Q673493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8f90071cbd29b6cbf2bb86d18b654d1584f6ef","datavalue":{"value":{"amount":"+0.83072025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$0A1EC6DD-0155-4AA5-B719-36BD1AB3D023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd83810aae694b2596becfd5c8b210f63bc21e9b","datavalue":{"value":{"entity-type":"item","numeric-id":4287479,"id":"Q4287479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8f90071cbd29b6cbf2bb86d18b654d1584f6ef","datavalue":{"value":{"amount":"+0.83072025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$B21F7929-FA66-485D-A01E-E43ED6FC9C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619b1fd16d5535d80bc0ec570201cf40fcc38c64","datavalue":{"value":{"entity-type":"item","numeric-id":4415071,"id":"Q4415071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b14eb03bbd4f8e01a5f03716ce8668bcf40f0c","datavalue":{"value":{"amount":"+0.8265701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3682465$B78828F4-1FB6-402D-88B3-40E539A077D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular dynamic logic is not interpretable in deterministic context-free dynamic logic","badges":[]}}}}}