{"entities":{"Q2055770":{"pageid":2066512,"ns":120,"title":"Item:Q2055770","lastrevid":71246565,"modified":"2026-04-13T20:57:53Z","type":"item","id":"Q2055770","labels":{"en":{"language":"en","value":"Simpler completeness proofs for modal logics with intersection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437027"}},"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":"Q2055770$339AB786-7B20-4630-B925-3BDB66E85E97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b05c3f1bc307fb3b0d334bb3a1fc5fa64a018c","datavalue":{"value":{"text":"Simpler completeness proofs for modal logics with intersection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055770$BA755D2C-B84F-494F-A097-4B5A45F4FAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5eee6b400ceda6bd0580eebd3084c94f342755ca","datavalue":{"value":"10.1007/978-3-030-65840-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055770$35B44AD5-55D7-4889-B082-ED5B1D51A40A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055770$5D34EA70-ED5B-41C3-A6A2-8A25B779E1DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055770$29169B28-BF13-484C-9629-210860666BBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7a198f162fbb64d0f9040c1debb7c156a7e4ba5","datavalue":{"value":"https://arxiv.org/abs/2004.02120","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055770$B35855CB-FDEE-4567-A889-11F0D5A77A53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055770$7CC4C401-A398-41E1-BE5B-9228B96B6BD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daabbe51c4e6157ea252d72a33c3227266f56777","datavalue":{"value":"7437027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055770$2DAF91D6-8144-47B7-B743-9DF858E6ACE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$9A91A8E4-70B5-4DE3-A96A-778217F978D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db1d7fa8977f57b182ab59686f2973866166a6ce","datavalue":{"value":"intersection modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$72D187F6-83BA-41C2-8ABD-064C516125E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b994278e2aabcd2878e119e1e7fcc4b85b974e32","datavalue":{"value":"transitive closure of union modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$B4AC9CDE-859C-4BFD-949C-7DA260B453F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$76E8182A-5D03-46C3-8055-B3ED38B139D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$0F40D441-FA8E-42F3-99B7-6D5D9468A212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055770$9FCF3F38-75D5-4407-8FFE-2EC7EDC221DE","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":"Q2055770$6DE55F22-66E0-4E8E-BDE6-6E97C91F78E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f86c8a6bf7b1e47bcc7ba6cbc2613e80bfca2da7","datavalue":{"value":"W3126517661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055770$15240647-1501-4718-A860-4DC22A931D76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb37fc52f5852208c23b6a9c3d879b910563f46","datavalue":{"value":{"entity-type":"item","numeric-id":4443008,"id":"Q4443008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1b3077be71f12965a3803643ee2355c5d5ebdd","datavalue":{"value":{"amount":"+0.754370391368866","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":"Q2055770$9C1F705F-6BA1-4C55-B0C3-6F05B5FAA948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafdfe3285c0c7eec93e6aeea151affeeca74174","datavalue":{"value":{"amount":"+0.7519912719726562","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":"Q2055770$D57A73B4-D016-4D8A-AA16-E58816CA718A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6ee63528f5d0c5abb4ab8346873fe020eea0ec","datavalue":{"value":{"entity-type":"item","numeric-id":3365458,"id":"Q3365458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63478488afd64b51ce1ae0b9ab1ff7e691d9703a","datavalue":{"value":{"amount":"+0.7447656393051147","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":"Q2055770$0C733C37-8200-46E9-B4AD-1D9B7BAF4AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a3e22ae57c677a491f48d9a06edaa40b07d41e","datavalue":{"value":{"entity-type":"item","numeric-id":3101107,"id":"Q3101107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30c96bdb6551af0ef4edcd7ad66283e7aa4b0b8","datavalue":{"value":{"amount":"+0.7386927604675293","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":"Q2055770$701BBDC0-C6D6-4825-9068-20262599AA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27761ecd0ecd6feeb762ca228ca6b3a6fc4f53ee","datavalue":{"value":{"amount":"+0.7291620969772339","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":"Q2055770$0D147217-438E-4748-BCE2-AD7AEDC1AE4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simpler completeness proofs for modal logics with intersection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simpler_completeness_proofs_for_modal_logics_with_intersection"}}}}}