{"entities":{"Q5224581":{"pageid":7254150,"ns":120,"title":"Item:Q5224581","lastrevid":58481439,"modified":"2026-04-05T10:04:15Z","type":"item","id":"Q5224581","labels":{"en":{"language":"en","value":"Coherence in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084847"}},"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":"Q5224581$1E11884E-BA92-46D3-BA7F-E4CB72FBD860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf8fdaccff4f103c03d8457c1368aed67607f156","datavalue":{"value":"1418.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224581$D903B6A9-9040-42C1-BF67-E582AAC157D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224581$E785FFB3-AD4D-4878-9249-3EC235628D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224581$5CB4212C-D960-47CE-8E48-1E1EF424F9B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224581$5B0FE1C0-A948-4981-96F7-BB87D3F3F49D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01974ba775ad989d5f320c8f82d4b69487b18b72","datavalue":{"value":"https://arxiv.org/abs/1902.02540","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224581$10017870-5E74-461F-9B14-A26A1B486A44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224581$30D02AC9-5094-4135-9DF4-278564A67CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f914e9252f63fb90e15bbaf534c8e7b4c009058","datavalue":{"value":"7084847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224581$75BA6CD7-FFE3-4AFC-AF20-B52B6D491B0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$0C36EF3F-10CB-477E-A58F-4FC7F061298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$4A5531A9-CD41-4D1B-8C1B-B94DAE9FD364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066345834ce35a3f9005e468be9585e6c3822e2c","datavalue":{"value":"uniform interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$0F6754DE-859E-403C-B0DB-D47B0956D318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$FE8365E6-4B18-4DC5-B333-631C376057E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$CCC4FF06-BA56-4967-A08D-BCCD89D44878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36477d9b90f338173ed6f60ef5cd50dc23b4b9a","datavalue":{"value":"compact congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224581$E446C6A2-6666-4E36-A80B-9270F2D09971","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":"Q5224581$727A7EB0-3674-4FA5-BE0E-3BDB03ABD8C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9eca3f26a3eba5da9ba6f4a64b0ccd2e6dae82","datavalue":{"value":{"entity-type":"item","numeric-id":3483335,"id":"Q3483335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61270525f25941d1ef14437059f948114582baa","datavalue":{"value":{"amount":"+0.7676147222518921","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":"Q5224581$F0B045D9-47F9-4430-92A9-21FED7E7880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab54d5ecc972af6bf7ce5e78eaa866b0ed5ad85","datavalue":{"value":{"entity-type":"item","numeric-id":3699750,"id":"Q3699750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813dd4d373f9a534840929d7701cd099bf290753","datavalue":{"value":{"amount":"+0.7523277997970581","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":"Q5224581$826F69F4-2AB8-412A-81EB-DB3567FFC8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1971260d020ac489e843973fee34e8464a57f627","datavalue":{"value":{"entity-type":"item","numeric-id":531368,"id":"Q531368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdcb952d156e8935e137a28a501e766c2c61475","datavalue":{"value":{"amount":"+0.7514752745628357","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":"Q5224581$F9E48DBA-2DD9-4E6A-B4E7-4A3AD4833CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27a4d87ed208b0e506a110246b7cd7f7ef774831","datavalue":{"value":{"entity-type":"item","numeric-id":2713693,"id":"Q2713693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af2995dcd153090764f5517971f9287cbe020e4","datavalue":{"value":{"amount":"+0.7510647177696228","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":"Q5224581$9A370817-A7A6-4CAA-9C2E-85C1ED20BD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b873ff25cac7a113a5f0640cac2a43aa348a3e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5489550,"id":"Q5489550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4453b57afb1e0fb95f2b4a8d36f4f9e355587b","datavalue":{"value":{"amount":"+0.750359058380127","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":"Q5224581$8FF2BC7E-C01A-48B6-AC4C-0A336C269ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224581"}}}}}