{"entities":{"Q6189211":{"pageid":13324099,"ns":120,"title":"Item:Q6189211","lastrevid":41130178,"modified":"2025-04-18T10:19:19Z","type":"item","id":"Q6189211","labels":{"en":{"language":"en","value":"Three faces of recursion axioms: the case of constructive dynamic logic of relation changers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7801583"}},"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":"Q6189211$8239C7C0-8377-49AC-ACD2-9EA66CB7FC9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fcae1adb36d16d1b55ab3e66f3d2a559ccde5f","datavalue":{"value":{"text":"Three faces of recursion axioms: the case of constructive dynamic logic of relation changers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6189211$B48BE59D-9818-4A23-A1AF-74832B0FF8EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85dfbed877cb7e1f914b860df1c7281dbfb7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2021559,"id":"Q2021559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189211$999160BB-4BBD-4628-A123-E0A06D063C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189211$249F7ED2-388E-44D0-A892-CD8785D8698C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcea59de37fe37ba846adb4ec4d4b6604167dc20","datavalue":{"value":{"time":"+2024-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6189211$9DB881B0-70E5-475C-95D1-9A405345F3DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$36A5EC10-BAC9-4BDF-94BF-CC6EE09C996A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$588C9BCE-A58A-43F5-B9BF-5C46783D2972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a571684831368fcaf50e61f47900b5ca8abe81b3","datavalue":{"value":"7801583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$280A2358-58B6-4DD5-BE89-87FE7DD48C78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$08CCD156-3F66-4100-A4CB-7C7F1F91D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5e313e80263e880026d6abaf9720c073e49601","datavalue":{"value":"relation changers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$24B43E52-E4D8-4393-9601-E785DA82D064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b74108c92ee31fc03537282f070623fb59e21e2e","datavalue":{"value":"bounded morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$2781C8E5-CD7B-4E65-AFB7-47E0D06DD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$C803FE99-EE85-4134-95DA-8789DF2A4CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$4DA9812E-B810-4237-8AB0-6120421E9648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6189211$6EE2FD9F-0438-4ECF-A88B-8B9402AEEDF1","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":"Q6189211$6E191E44-FE9A-4A91-9CF3-CA1150D8F1F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c252d97cf842e36014b5f8cd9fc9e52965fa7b94","datavalue":{"value":"Q114632458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$09A1E66F-D47B-44D5-9D8B-2869BFBCE86D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cab9a583f4eae98f2961521fc11c5beca167ecc9","datavalue":{"value":"https://doi.org/10.1093/logcom/exac013","type":"string"},"datatype":"url"},"type":"statement","id":"Q6189211$BB64681E-6624-4B06-89C3-693B8918A86B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"727ac2bce0265fff9d254b788732bd9c1d0b024f","datavalue":{"value":"W4211049024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$668BB4B3-B4CF-4B6C-A240-F0783208DC06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb60108050a995d6254cfef2d63f6d6aed983355","datavalue":{"value":"10.1093/LOGCOM/EXAC013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6189211$3B8ADE32-D842-4D88-9B63-8FCC86F03198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6189211$5B5B9C59-C158-46E7-8EB1-20479E10B4A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6189211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6189211"}}}}}