{"entities":{"Q6638232":{"pageid":14249384,"ns":120,"title":"Item:Q6638232","lastrevid":57370974,"modified":"2026-03-30T17:13:26Z","type":"item","id":"Q6638232","labels":{"en":{"language":"en","value":"Canonicity in power and modal logics of finite achronal width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7944270"}},"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":"Q6638232$E8D4F008-29AC-47B2-896F-EC825DD7C20B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf7c0e761c72106258d58b3b857708f081c74db","datavalue":{"value":{"text":"Canonicity in power and modal logics of finite achronal width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6638232$B1E736C5-FF48-4BB1-A93A-B5505DF0DF38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$6392E511-D9CC-4F14-8E85-5EABB7E6F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$CB619122-0CCF-4BA1-A20E-65F50061CF56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$1BA19D70-7808-4E5C-9BC0-0FDBE8627600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb9cdf9730b26db5897216e4448861f44aafb525","datavalue":{"value":{"time":"+2024-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6638232$7CF164EF-1F57-42E9-A514-4FEF1F7A3E89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638232$504A6DE2-CCDB-42D9-B097-6B54DB6A8875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638232$C10C97F3-3AEF-44DD-8140-AC4C0FA456DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4096f4ab4223f100e9bc3fff60892f2581eee858","datavalue":{"value":"7944270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638232$6CC08FE2-6EAB-48D9-A3AA-698B890E28F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f12de9fb92ee076b443053b5992315f3fd305e7","datavalue":{"value":"canonical modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638232$BCA9C62E-C192-418E-8B29-23FC3C49AE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"434361e3e8c9950108ebf2fd73b6100af857024d","datavalue":{"value":"finite width modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638232$8C7D2F0F-2767-435C-B4D9-55CF4A6958FF","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":"Q6638232$BE5AA24A-4052-48A5-9824-B748AD588073","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9993b6b0172a209e3442765388ebb916ac4761","datavalue":{"value":{"entity-type":"item","numeric-id":4190613,"id":"Q4190613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$01F99109-F639-4DC9-857A-D1FC957D66AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$6FC7E0EE-D5DA-47D4-9140-8A63E9036494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$0F3410EC-A03E-424C-A794-5F616F8C4FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$AFD1B2E3-F10B-4985-BFE3-33D99471A4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$C0847A11-460F-4044-841A-30D86A38AACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$40A104EB-8138-4271-8454-7EAB0292A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$6CF55384-C40E-4D8F-8FAE-1B154476E717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$D701297E-E4FE-44F4-9814-8A2B641CEC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$5449C4C8-BF27-4EC7-8F95-20A4FF1CA3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$655DBD48-F026-438D-9A68-B7A5015BD2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$0C0B151F-E4B6-4BF1-B2A9-1337A67B7FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d519bf51323299881b4ad216526b3b33bcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1906001,"id":"Q1906001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$366AAD56-B906-42BB-8577-C7442EC9E9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$B176FEEA-CFCC-4C51-8114-B807A197008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$05AA3F10-0695-470E-AC59-9885964CE62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$41D86242-07F7-4126-876C-0CDC8C9D5AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c571423fc795d1f4ba9cbbd6d26f2561165df37e","datavalue":{"value":{"entity-type":"item","numeric-id":1834559,"id":"Q1834559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$CE3D7DA7-AACC-417D-8EFF-8201E87A644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601bc79310ccc0ed6df902b96ea8cad8583f4920","datavalue":{"value":{"entity-type":"item","numeric-id":4877449,"id":"Q4877449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$68CAB37D-8B98-4289-9662-C7F0AFD193C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db176d71692adce3288013666bf07f62d7480a59","datavalue":{"value":{"entity-type":"item","numeric-id":4215607,"id":"Q4215607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$5A82DB55-CDAC-41A8-A886-0119C0555AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$6D8B2C0C-3EA7-44A8-BAE5-9B0BEC14ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f78f09e1a891ea419ecbca4270d7cff9eb35fc7","datavalue":{"value":{"entity-type":"item","numeric-id":5687411,"id":"Q5687411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$BFB97626-6C2C-4D98-962F-BC6EC3A41525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$917F5124-90C8-416F-9923-8CF6F047C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312c6155a427dbfa0a53913a62e9a0b3618d56d5","datavalue":{"value":{"entity-type":"item","numeric-id":2062190,"id":"Q2062190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$5ED6E9A7-FEE3-40AF-9E78-5277D11BD98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$9EEE329E-671A-4F63-BD95-C01BD6E0EE6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cca477590c991f813d09c861c3cc2200e2a7c15","datavalue":{"value":"10.1017/S1755020323000060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638232$C5E82A30-E659-4AF0-BEA9-19125ACADAA1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638232$4EE73CC5-BBDE-468A-9D15-F2F3763757F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6638232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6638232"}}}}}