{"entities":{"Q6191004":{"pageid":13325892,"ns":120,"title":"Item:Q6191004","lastrevid":58749144,"modified":"2026-04-06T14:13:21Z","type":"item","id":"Q6191004","labels":{"en":{"language":"en","value":"Complexity through translations for modal logic with recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7802070"}},"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":"Q6191004$0C38C4F8-06AB-45EA-9FF6-C14C1B59279C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8e96d54bc8d77a159d80f948f6d68804e4df89b","datavalue":{"value":"1530.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6191004$4191774F-2301-4CCD-979A-3ADCB03EF846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$2743DE4C-234F-450E-9D98-E8F5281EA568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$CF241FDC-C056-47B4-B35B-7D6CA3F79E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"472e0c5d2912ce9ea64cf7cff981cfa67ddda02e","datavalue":{"value":{"entity-type":"item","numeric-id":2141296,"id":"Q2141296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$26F6F278-F096-47CD-9CD1-A49A8551ECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$874ADCAB-77C6-4834-9A15-086BA0897955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$A8F5839F-7F24-4B96-8D58-14E6800BED1F","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":"Q6191004$F45C8D6B-8C05-4E78-B9E1-6C5AF46BDDFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"388fb280e76640df27cc6758dbc54caf326b9f0f","datavalue":{"value":"https://arxiv.org/abs/2209.10377","type":"string"},"datatype":"url"},"type":"statement","id":"Q6191004$2309B2A2-BE00-4D3A-8B94-7BD393AA367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"011ab2abda462f2754782afa3b96f677ae149c96","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF2022.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q6191004$84B1D482-5B9F-4315-8120-49603C0FF3D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6191004$9F153825-9F5F-43D8-85E3-97BC0FCD7F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6191004$7BAA6057-0D3A-4D94-BDAC-50359379B078","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7a0f6288a5519a4c0710275fd26c99a419c0058","datavalue":{"value":"7802070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6191004$B45A973A-7E1F-4BC3-A161-BC2F5AAFA320","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":"Q6191004$1CC86E51-025C-4C28-86D3-D769A9FD7BC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053046fc67a741546cfb96c9d33c0dc4ccbef7f","datavalue":{"value":{"entity-type":"item","numeric-id":1987735,"id":"Q1987735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$0DE9FF3C-5989-4467-91E7-B488801120AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$8E93DB07-D998-4AE3-93CE-DBF063EC7FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ccc61efcb085fe3e872575861359d0883804f7","datavalue":{"value":{"entity-type":"item","numeric-id":3483262,"id":"Q3483262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$F09278F5-67FC-4EF1-AF5B-C654493DD521","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":"Q6191004$BBBA8210-083F-4ACD-817A-D2078FB77F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca2fcee1fd6919a0db354b6be3a6754db0afc06","datavalue":{"value":{"entity-type":"item","numeric-id":2949438,"id":"Q2949438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$1C176D7B-F3A3-49F5-936B-CB44BB85CB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbba9a28d3329853397071bd3cd74076ce35ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2841958,"id":"Q2841958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$0BE39FD0-229B-44C3-83BB-FA50A513D76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9279f7ddeb2094050284bee3c0b9f063e781065a","datavalue":{"value":{"entity-type":"item","numeric-id":1643142,"id":"Q1643142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$A5F4E3C4-1715-4EE5-8308-81FA02EC0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba1b09f64c762fed1a65e45c4f5a343e83986b","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$0D9AB335-3A54-4C0B-8AAC-9DC031CDB077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3319c0d1a064b16db11cfb4f94b9fae4a6c52b7","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$6414BAB1-25ED-4702-87E8-7E43BD92682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$EAB4C685-731C-4FEC-AFE7-BC77299F6A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$0FD0495A-5F63-4D2A-99E7-1D943016381F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$4EE70640-C717-4009-8626-8E2BEED8562D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$14BC69FE-29BF-4D14-86B6-FFEDF750FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$AE406895-3491-4CA7-9CFE-8AB162F62ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e16a423e563e95a4bc0e8877a6e07157d2b960a","datavalue":{"value":{"entity-type":"item","numeric-id":5427258,"id":"Q5427258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$04AE934A-4339-4FCC-8CF3-E367C3729A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$AA354D0D-6161-4D15-8CFF-7A3720B99FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$CEF24759-0EA9-4FFF-9236-7B1675624F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$53A275F2-ABA7-4797-A06C-5844C7FB2F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$9376E503-A4D0-42F4-8E3B-83400DE92BF9","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":"Q6191004$6C89F307-28EA-44F0-B203-1F906D142CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e66679de6ab91389cb5ddba4de70b071376099b","datavalue":{"value":{"entity-type":"item","numeric-id":5241916,"id":"Q5241916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$DD6DF9A0-1C7E-4FD0-8007-A42CC89A8060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6191004$DDDE9C3D-6933-4B58-AC00-8245FC77DB37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f689c83704e49e62803cb94e676cf2d9254dfe","datavalue":{"value":{"entity-type":"item","numeric-id":4430396,"id":"Q4430396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69a748d52c8b1dffa802ee5be1e33dab9e6c24f","datavalue":{"value":{"amount":"+0.7607380151748657","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":"Q6191004$8B7AEA1B-077C-4EDA-9096-CD227632521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135918eaf7c0fc740df49b9490c28a00b82d148c","datavalue":{"value":{"entity-type":"item","numeric-id":674003,"id":"Q674003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49e5270bc6f6f251a3c234e8726ed3e83ae6e81","datavalue":{"value":{"amount":"+0.7460457682609558","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":"Q6191004$7D0688C0-9783-4E30-A504-EDBCE6FB3A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82186a9444265df0b7a4c90b5d876883297e067","datavalue":{"value":{"entity-type":"item","numeric-id":3060980,"id":"Q3060980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469b7ab77ead45aaa6e26bd8313506dbd7a836f6","datavalue":{"value":{"amount":"+0.7414135336875916","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":"Q6191004$0CF40280-9CFA-41C6-B3EB-F1B34E5763E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c298a74c3b6197c6139fc762c7597a51541848c","datavalue":{"value":{"entity-type":"item","numeric-id":4925177,"id":"Q4925177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dd17d56005d691a8975bbed2b8b004d1cb8aa0","datavalue":{"value":{"amount":"+0.7364258766174316","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":"Q6191004$D70647E9-9738-40F2-990E-9BDC2FBBBF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f0d7c25a9d8fa5be3fad18bc0c5fd8bc204f03","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876c09ad8c015df8c15f5c3da4da88736dd647d6","datavalue":{"value":{"amount":"+0.7353488802909851","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":"Q6191004$FB8F7950-E2FA-43DD-B57F-650E5357D40B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6191004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6191004"}}}}}