{"entities":{"Q6876359":{"pageid":20754727,"ns":120,"title":"Item:Q6876359","lastrevid":75295696,"modified":"2026-04-18T14:24:16Z","type":"item","id":"Q6876359","labels":{"en":{"language":"en","value":"Modal logics with intersection modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8143518"}},"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":"Q6876359$606B641F-C77C-458C-BC53-B6BAEB70E738","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d817b06842601651c60a106b66d9f2dd0f130fad","datavalue":{"value":{"text":"Modal logics with intersection modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6876359$BC20215C-B9D7-461C-B5C8-1FF4E00F5410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5959d10ddb677d9b7a3d237ef1d971f4585a1fa","datavalue":{"value":"10.1134/S1064562425700024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876359$E17DE184-3550-4461-9B3A-C5F4EA25CA87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a44c82ef10600f6e342e14b8a2cd59d5438c3f88","datavalue":{"value":{"entity-type":"item","numeric-id":1347607,"id":"Q1347607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876359$0B57B1E7-CCC5-491C-9EC1-6130707CE269","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876359$59CA2288-95C6-41AD-AB00-8E1E811BB8EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bcfe5adbf168f11f3f3c3a2d1a42324d7ae0f31","datavalue":{"value":{"time":"+2026-01-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":"Q6876359$94657027-3AA2-49DD-BB4D-B2D26DA6E9AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876359$9CE343F1-9C46-43F7-B61B-6FBEC5363D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876359$B8F7EF41-EAA6-478B-9596-82AC1009FDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876359$73454A30-B618-4A41-A622-02C9FC45ED0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f96440159b73f4055b3d29ded2cd4c4df14871b","datavalue":{"value":"8143518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876359$334E9B13-34B4-400B-A050-43F2D7084A9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876359$E3A35566-58C3-4965-BEE1-08574C229028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1d7fa8977f57b182ab59686f2973866166a6ce","datavalue":{"value":"intersection modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876359$B6CDEFF4-7DA9-411C-BB59-56BDE531F6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb59144f36c8536114a31312e5e5c5117d7db72","datavalue":{"value":"Horn closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876359$BC24FC8D-E585-411F-9B38-2A7EC515BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6876359$8DC7EE63-6EF3-4C83-B30D-61AE95D9963B","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":"Q6876359$6AF4EE97-9AD1-4EC0-9102-876DAB97D4C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logics with intersection modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logics_with_intersection_modality"}}}}}