{"entities":{"Q4580206":{"pageid":6609792,"ns":120,"title":"Item:Q4580206","lastrevid":53167118,"modified":"2026-01-24T09:03:43Z","type":"item","id":"Q4580206","labels":{"en":{"language":"en","value":"Disjunctive bases: normal forms for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917172"}},"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":"Q4580206$00AC8448-5367-40C1-9126-A3FD4E6F739E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8051044bae24cfd9191f1d8f6ec72d67cdb5c83","datavalue":{"value":"1433.68427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$9CB90443-C9AC-496F-B716-864AED6B7E8C","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":"Q4580206$9A774121-8D0C-40E3-B779-6FAA7C25B152","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":"Q4580206$82B72B19-6D88-45B1-A114-070DCC26E7A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580206$507ADA46-2222-4ADC-9FDA-AFC5787741B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$A6EE4DF2-D95E-4F2E-939D-7F7D515616B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$2A0AD618-B174-4B1F-95CB-5D533A80AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$3D104234-D5BF-47D0-925D-150988310CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$BBEE2018-3AB3-43AF-95B0-8AD230454249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34f93a9a5166e4e0595f4427d2aa97459b3380d","datavalue":{"value":"6917172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$059B61D7-5A77-4DC6-8C2C-B8CA1987C77C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$9618C1E4-B9CB-44E0-98D2-938FCED48FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$B43993A3-4D6B-4CA2-8F83-02676F06BE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$EA84C384-8E0A-421F-B39D-097A97C3CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$4E570AE4-DADA-4B35-A9F3-615F3606C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$127B68FA-9B59-48EE-95C9-03693984A9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b381b612e067445493d060b754845f1a8aaa92","datavalue":{"value":"Lyndon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$FC195635-1CA4-4017-AED6-0D2C287A50A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580206$6FF9201E-0D4B-4882-B0A2-90F88DA3046B","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":"Q4580206$504CF358-5080-4074-A4DE-B79590F554F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d7401e3f878548d275e97364eaf19d1281902f","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580206$B4B0A2E9-81DD-4811-BE9F-F2465B8986EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc393184b7e65562355162ecc4cc9477a9831434","datavalue":{"value":{"entity-type":"item","numeric-id":5376645,"id":"Q5376645"},"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":"Q4580206$41DDD37D-AC4A-4815-85B1-0E582294A279","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":"adaf7061f4fd09c45e8a9338e7031fe4b50b1429","datavalue":{"value":{"amount":"+0.7743874788284302","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":"Q4580206$9490A3D0-8850-4A87-A108-3B738AF2348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a15071138a3b4fda96f6bd56150be5e8b43b87","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859efccf04666a864404207eee3aa66e4519e983","datavalue":{"value":{"amount":"+0.7585269808769226","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":"Q4580206$9B78E0FD-8693-4ABB-8BC0-4B591076249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0783e40846c0a7cc9a37c4085be7d666e992f8c9","datavalue":{"value":{"entity-type":"item","numeric-id":631075,"id":"Q631075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c662b1354d191b71d22719a36b470f1df3e91035","datavalue":{"value":{"amount":"+0.7419328093528748","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":"Q4580206$759F1530-3CC5-4300-8FAF-98D68DA73CC3","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":"162a25919095d49e6fb77f1550a2d7ac5c75f852","datavalue":{"value":{"amount":"+0.7378524541854858","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":"Q4580206$3D4198B5-FEE3-4CBD-A786-EA7B1CEEF2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580206"}}}}}