{"entities":{"Q5376645":{"pageid":7406219,"ns":120,"title":"Item:Q5376645","lastrevid":96081479,"modified":"2026-06-05T10:21:59Z","type":"item","id":"Q5376645","labels":{"en":{"language":"en","value":"Disjunctive bases: normal forms and model theory for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056218"}},"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":"Q5376645$96EC5C97-A38B-489D-91D9-EDDEBD315154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87a9e00b38fdbbf9a6825479eeaffe644bac3de5","datavalue":{"value":"1439.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$FB71B483-E854-4CD6-A15C-2D504675C49B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dee0ee16b813eaef218e469cd0afd5c87fc02675","datavalue":{"value":"10.23638/LMCS-15(1:30)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$376195B1-676B-4690-9F45-B00CA2065A7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376645$6798BB64-5319-4FC4-B8FA-74E982E1F8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376645$24773DD0-9EB2-4197-A99B-79F0ADD5B779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376645$9B4878C4-01D7-4C78-A38C-835BBFB5A6C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b66f2ee0f0ac5d0674501c251e3512ea3e466b7b","datavalue":{"value":"https://arxiv.org/abs/1710.10706","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376645$B31D98F0-12B9-452E-BE2C-1F9DD532FC87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$BDD5BADF-9CA1-4359-98D3-F465BB43A0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$D15E4D89-6963-4ECB-B50D-015A532D4266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$57F4F8EB-8AFA-45E5-A217-2C07BC652DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$E74AFB70-045D-4C5C-9D81-0648E971176B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff69c0d7d3fd3f63eb4973aaca6c0b6d183ab15","datavalue":{"value":"7056218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376645$E084690B-4C16-48B2-89E3-DB6AE0C3474D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$1DF4D6BB-A051-43E3-9BA1-76F147366CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$24000AC1-B42B-4F89-BB19-C6E2BA34CB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$F94EA4D0-37E9-400C-A695-8A6123C4403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$980E9397-5A09-486D-91E6-CD89CC0BC556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$B8702D6E-195E-41A1-AF54-ED1EFD430B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b381b612e067445493d060b754845f1a8aaa92","datavalue":{"value":"Lyndon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$60B01349-4867-42CF-AA80-3067FEF63FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$A3B70FB7-9DBC-4693-BAD1-ACF975B0EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376645$75D9917B-A0C5-40F6-96D4-FBD0D83CA9F5","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":"Q5376645$31208C89-A14C-4BDC-A3E8-061069F898DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d89480b6aa43664e9c36f62564ec48827845310","datavalue":{"value":{"entity-type":"item","numeric-id":4580206,"id":"Q4580206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686148deaf00996aaae54096dc3a9304e228dc9b","datavalue":{"value":{"amount":"+0.9910787343978882","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":"Q5376645$98E4C13A-643A-456D-9C9D-FD29B57B7628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e6bebaf77674477110e407efa15aadf6929a94","datavalue":{"value":{"entity-type":"item","numeric-id":1731842,"id":"Q1731842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f612d1debbe5193511f24932579d29b6d3f4266","datavalue":{"value":{"amount":"+0.7824726104736328","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":"Q5376645$A238202F-251A-447D-979F-DC9C41C2E46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea9b0642cba0444c3791717a878cf34de41f228","datavalue":{"value":{"entity-type":"item","numeric-id":5899086,"id":"Q5899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e687053f22d0fbf162067aae4972f8f4d45099","datavalue":{"value":{"amount":"+0.7598595023155212","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":"Q5376645$43120D39-8FC3-4E14-AF85-52D405958525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee9a8d1dcdd560995741af9ecabc51bdc873","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccc6b5adb609478c665d2c2e0f0f0dd974d7703","datavalue":{"value":{"amount":"+0.74164879322052","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":"Q5376645$3A39CC67-FAB4-4467-9BEF-72A65D4B6B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e199e76b0354614bdc2caa62c5fc48078bfa61","datavalue":{"value":{"amount":"+0.7410775423049927","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":"Q5376645$A74A4E6D-09E0-4D6D-A90D-DB420E6DA865","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjunctive bases: normal forms and model theory for modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Disjunctive_bases:_normal_forms_and_model_theory_for_modal_logics"}}}}}