{"entities":{"Q2206783":{"pageid":2217526,"ns":120,"title":"Item:Q2206783","lastrevid":53854904,"modified":"2026-01-25T20:16:58Z","type":"item","id":"Q2206783","labels":{"en":{"language":"en","value":"Craig interpolation of epistemic logics with distributed knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7266054"}},"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":"Q2206783$57661DEA-727E-43CA-BE36-5EFD9ED73924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38ba7ebd4317338b9c0b942006851f89d5738651","datavalue":{"value":{"text":"Craig interpolation of epistemic logics with distributed knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2206783$EE3867DF-87A1-48EF-85D1-C484D63C2A13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6568a855ddda422497a6855e5103887a53a85384","datavalue":{"value":"1496.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$644776D3-D651-431A-B8C4-86FCB8610B5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ce2ee635e27744f2298e38e8fb96e8ae1605a2","datavalue":{"value":"10.1007/978-3-030-39951-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$374BE114-2DA4-4D46-8DC3-FB96C224EC97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee44b199062a62f80959e312c1397d84ba4c67c3","datavalue":{"value":{"entity-type":"item","numeric-id":2148836,"id":"Q2148836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206783$88BF8D5F-BE1C-44C2-A8FF-1F693D11C1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2206783$6EE20454-9A2B-422C-BEAF-2314ADB214B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e727b8dd10312fe1bf23b61f26ac30e33058c101","datavalue":{"value":{"time":"+2020-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2206783$A0845090-9913-417D-B73D-178531DA0F97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$63506010-491E-4414-BE43-182CC8507A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$1010E936-D1A4-4FDB-945F-535710A97812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ee92d9b0820bfe4715c87d0fe388150137d1ddc","datavalue":{"value":"7266054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$D8AF5559-B090-43EA-A125-A12DE4D6C186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206783$16DBD3A3-A86F-4B9A-8AAB-3E4236FBA754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206783$D263160D-803E-45E8-9531-67FB245EE808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206783$0943F0BE-C66F-451F-8B12-B6396B50BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fde67ccdcc9bf6d54bedccc7954a6dc7a773329","datavalue":{"value":"Craig interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2206783$1ED2359C-02E6-4B74-A396-8934ADA9E5DC","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":"Q2206783$028D387D-232F-42EB-8FAF-537C67FA2941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"500ba23723f21bde54c2b9c8276a2782caa78ef4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39951-1_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2206783$2683A695-B2CD-4AD4-AAD0-481D9CD82B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1172863dc3c420da0159877c6df41240e4e36bae","datavalue":{"value":"W3004383009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2206783$75D52569-F5FE-4B14-BC6B-BE6E5C9B0A9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d3a729c41211e85da74b121244a23ec682f493","datavalue":{"value":{"entity-type":"item","numeric-id":3602943,"id":"Q3602943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b4cb3e9e6b0e25e0cb1d449e47935a30276fe8","datavalue":{"value":{"amount":"+0.8549845814704895","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":"Q2206783$BF1960B8-50B1-4B18-8B0F-D9BA7B51929C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e63635dca170e208dc711a7eea9044307e10707","datavalue":{"value":{"amount":"+0.7530791163444519","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":"Q2206783$0C6C09AD-8946-498C-973F-21D0A7CF9C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919abeeea25c3df9efbb620a1c3352e49fca2903","datavalue":{"value":{"entity-type":"item","numeric-id":2254486,"id":"Q2254486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e64cfa149f452d002a691a428baf9e8c02fa1a","datavalue":{"value":{"amount":"+0.7504072189331055","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":"Q2206783$A20A966A-23CD-4286-BD39-7480077DF614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373fd1b45229d6de1e419a8dd15b595cb289e062","datavalue":{"value":{"entity-type":"item","numeric-id":4955425,"id":"Q4955425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b93bccc4b417422c78caaa8e90425be54627b8","datavalue":{"value":{"amount":"+0.7355100512504578","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":"Q2206783$217611AB-5FC1-4DA3-87C1-5516ACBAB218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bc58833f72906b89bf4d32db1a33acd4285e61","datavalue":{"value":{"entity-type":"item","numeric-id":4636047,"id":"Q4636047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f81d1cbfd3837f3e9e2f129de9549aa3ebf29e","datavalue":{"value":{"amount":"+0.7341986894607544","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":"Q2206783$67A3560E-00ED-4378-A988-4C1C9270F015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2206783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2206783"}}}}}