{"entities":{"Q5866476":{"pageid":7896027,"ns":120,"title":"Item:Q5866476","lastrevid":101940329,"modified":"2026-06-06T03:10:34Z","type":"item","id":"Q5866476","labels":{"en":{"language":"en","value":"Complexity of finite-variable fragments of products with non-transitive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589718"}},"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":"Q5866476$800A215D-E79B-484F-9EF9-5AEFB4C09DC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"118bbf08c76daef901c8f57245d82ac3817a99eb","datavalue":{"value":{"text":"Complexity of finite-variable fragments of products with non-transitive modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5866476$98BA4916-C9D8-4350-A136-E176B76FC1D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866476$198EEE8A-BBFD-4F64-8580-4E7D319504E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866476$A7F420C8-ED1E-4846-9C55-D2BD2E5DF6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5866476$1EB9C5F7-8FAB-4923-BD81-A0DA4A62292D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866476$EE5DA456-E399-4585-9306-C0C1FC693EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866476$A7B6DF01-A051-4B4B-A886-0B859543F1D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8faa2a342296f2985fe9ea106637d8f0acabf284","datavalue":{"value":"7589718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866476$979D8A16-95D7-434D-924D-BDED4776906B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$26001FAC-540D-4FFB-8362-EB4EB44B33D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d81caf498e1d14c1ebd4b208a0728cfe8fca4c4","datavalue":{"value":"expanding relativized products","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$8A585EB0-602D-4888-BB41-FE4322856CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca03f46842bad00dc95e567b2e06f1f2f7a38f1","datavalue":{"value":"finite-variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$4861FA21-F0C2-4B18-B0F9-4A4AC81DFAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$8A691B8E-7CFE-4554-AA3B-894FA5C58660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$CE3C3519-C151-4E2B-8F60-C79925E0DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866476$647BAF7B-1A7D-4C05-8FE9-CF0F6D577DB5","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":"Q5866476$B52D6F06-5AA1-45BE-AC9C-D859F3CE1C6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bdd5898cdc31a64686c891b72bf47c5b1a84a0f","datavalue":{"value":"https://doi.org/10.1093/logcom/exab080","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866476$0EAC8B2E-2DF9-4451-97D4-B7F194D32B7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d8cf8e4e996242c44802ca065135e9628e3e19","datavalue":{"value":"W4205130267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866476$7240CF2A-CD78-44B1-A277-6F1C77C6BFDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e256345188625c248476e09d36a3c1ac330ec2e","datavalue":{"value":"10.1093/LOGCOM/EXAB080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866476$5F854598-47E3-4F00-86AF-FBD9769BE665","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":"Q5866476$B68B75BE-A46B-4FA6-9D1A-5D67BA65A3F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a184427fa93a25c4f36745084c18abaec526131c","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec999f4d8b63a43a7295a4f49d1f58dd0d92a0f","datavalue":{"value":{"amount":"+0.9295322","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":"Q5866476$8DE028E1-91D7-4E18-AAAF-EF59FCCAD9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32da014e27af5b8721b1d32334147627c3a21ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5483012,"id":"Q5483012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcdd06c601700f737de91522483d186147373c7","datavalue":{"value":{"amount":"+0.9261411","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":"Q5866476$B1ECDF9B-4C42-4CE9-8FA3-E83478958BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eed203e001f76b4ebd293d9fe44bf82c2812061","datavalue":{"value":{"entity-type":"item","numeric-id":2148903,"id":"Q2148903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41f143743461a9839d7e4f94ef53cbca6bce7a8","datavalue":{"value":{"amount":"+0.9163452","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":"Q5866476$278E9D03-60B2-4AA1-90F8-CCD1F6945CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0e4ca95e50bb420d78e624fb1e5941d295d55c","datavalue":{"value":{"entity-type":"item","numeric-id":5241916,"id":"Q5241916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aff6dae9723759a7fbe85a08ef7db4ab0ce0bcc","datavalue":{"value":{"amount":"+0.9156264","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":"Q5866476$E016092D-9852-4613-BA33-82927BB1E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fa0c1cf7477ddb1a22f5c678a7f9484e7d3cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3647277,"id":"Q3647277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3aa9ae9115435b21f9dd6666d9d94aceb65712f","datavalue":{"value":{"amount":"+0.9123645","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":"Q5866476$719ADFD9-41CA-4A79-94BB-4529796983DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9702a4e40d1b4a1578f8e955e56b5700adc76c8a","datavalue":{"value":{"amount":"+0.89892423","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":"Q5866476$AD92E14A-2F92-4D8E-B0B9-7CCD509A1A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcaab6110a85707503f70698ea6e01b7324a731","datavalue":{"value":{"entity-type":"item","numeric-id":2503403,"id":"Q2503403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa664d125f0e2b8658b0e4aa986416ca2041d2e","datavalue":{"value":{"amount":"+0.8949343","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":"Q5866476$B6087B4F-1C48-4D8C-8F7F-232FAD6C2791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe797bc3b1170e13443a180fd65e83f986364f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2799202,"id":"Q2799202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59542ab561f599d11bc5ba6a13a5df2c4acbc475","datavalue":{"value":{"amount":"+0.8858188","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":"Q5866476$295527B3-CAD8-4F7A-B5A1-FF50901CE6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01808d8767a87eb279e3f4b4a2fd960dd50fb8ce","datavalue":{"value":{"entity-type":"item","numeric-id":2142085,"id":"Q2142085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a563f447afd449ace683603eec15d4571a14de","datavalue":{"value":{"amount":"+0.88501436","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":"Q5866476$07C0C4F7-16C8-430F-9FD9-75AF73FF89AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a92649b2fb6ff85eeb99b4c20b2d3b6ba5991","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3613d1b5da61e35bff3210d1a378f39dd315e2","datavalue":{"value":{"amount":"+0.8826488","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":"Q5866476$620A0D72-7826-404D-A066-D4B98543CF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of finite-variable fragments of products with non-transitive modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_finite-variable_fragments_of_products_with_non-transitive_modal_logics"}}}}}