{"entities":{"Q3337454":{"pageid":3348162,"ns":120,"title":"Item:Q3337454","lastrevid":48734752,"modified":"2026-01-05T18:02:24Z","type":"item","id":"Q3337454","labels":{"en":{"language":"en","value":"Arithmetical interpretations of dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869304"}},"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":"Q3337454$BF3F7B41-43F9-414F-B3D7-A7AB91C08634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0540a397daf5f98de9802cce2a637935f5998487","datavalue":{"value":{"text":"Arithmetical interpretations of dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3337454$8E8708DB-F41F-4FB9-84D0-97B3F96269DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6adbcc2776e065f253729812d8965527f5d414b7","datavalue":{"value":"0546.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$8A58312B-517C-40B6-B939-380C32F95046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d57b9c60765396f7b15b712107cbda9718aaa03d","datavalue":{"value":"10.2307/2273463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$D427349C-D941-4D6D-8E92-AC4415B8F88C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$3A3AF54A-1F16-4E0D-AA2B-2A49022E4E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$A1182FD9-0A2D-4CE5-BBD5-D55E313215B7","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":"Q3337454$6C60896F-88DC-47FC-8128-E1113C58A26D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$93370997-825D-437C-B9B5-5202BA04204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$56273F98-3153-4A1D-891B-D6580892BD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c60465a79fd51a0c891e5144d8154895189c20","datavalue":{"value":"3869304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$032DE335-AA0F-4A4C-B0C7-77D93CDB5424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337454$6EA7621C-815F-441F-8FC3-E40922374460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337454$2D9DF5FF-2E1F-4227-968A-F73DAB0BD013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337454$8DBB3A27-74CC-44AF-BE49-9DF5248DBE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b0d9926522ee8a284ecd19b1ce82443520c569","datavalue":{"value":"provability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337454$E8A17512-DC2D-4F32-BF9B-8451B357994F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3337454$6FCFA55E-6026-44F5-B9DD-62BD868B6BEA","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":"Q3337454$2C92C07C-7E9D-4884-8AC0-FA86DFE8B15B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beed358d2ad54f81a413a608c45d2beef783df31","datavalue":{"value":"https://doi.org/10.2307/2273463","type":"string"},"datatype":"url"},"type":"statement","id":"Q3337454$D34CA973-4E79-4A40-B8DF-1FBFD184E17D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b52e2138bf08ea328c1cec091a24b5ecb6b45d2","datavalue":{"value":"W2006207208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3337454$D87AC4CE-81F2-470B-A603-AB74377A2FD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$0F013421-6AAD-4824-9BA2-11582DCF8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899a190f8b9f07830eeda0a31ae8d716d2ea8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4193434,"id":"Q4193434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$5594235C-2D56-42A9-9751-DE8AE2272F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$0154C96A-C1FE-4D0E-AE77-508F1C3BBF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3337454$0D87956F-B66A-4964-A283-DA4E20A0973C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0207c23d9ba2557b256351dcaeb4415d14b88f78","datavalue":{"value":{"entity-type":"item","numeric-id":3735692,"id":"Q3735692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fe8ec1e5df57169400e5c41a40d7baf771ab27","datavalue":{"value":{"amount":"+0.7656960487365723","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":"Q3337454$032A328D-960E-437A-BD50-B680524151CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3856f2d93ddc264da26bb60c678fe35a045c32c9","datavalue":{"value":{"entity-type":"item","numeric-id":688859,"id":"Q688859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291b6be802e4dbed119d558443ef0e5f3154f19c","datavalue":{"value":{"amount":"+0.7571763396263123","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":"Q3337454$334A5E8D-F0B0-43B9-B677-37D5D464D204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857ef8f553bc3e25748e146ad8215d2adbcb6bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1092892,"id":"Q1092892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16710734492c86ddf90b8187c6362d527205db9","datavalue":{"value":{"amount":"+0.7567731738090515","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":"Q3337454$2AD00BA9-D17D-4883-B744-EC9DEA14083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b478e498f449845a126ae53fb831109639b239b7","datavalue":{"value":{"amount":"+0.7512045502662659","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":"Q3337454$F8B56E74-FE2E-4350-AF17-45CE12419033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379603de29e85f6711223f27b7816ddbb964faae","datavalue":{"value":{"amount":"+0.7496419548988342","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":"Q3337454$574F88F2-F7D6-4ECC-816E-3777848B2727","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3337454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3337454"}}}}}