{"entities":{"Q1679760":{"pageid":1690501,"ns":120,"title":"Item:Q1679760","lastrevid":71925603,"modified":"2026-04-14T01:27:58Z","type":"item","id":"Q1679760","labels":{"en":{"language":"en","value":"Axiomatizing epistemic logic of friendship via tree sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810784"}},"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":"Q1679760$D689F3D5-6000-4A21-AE40-BFFB306DF102","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"584da501dcdad1bad2969c5e2e0f32231e80086a","datavalue":{"value":{"text":"Axiomatizing epistemic logic of friendship via tree sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1679760$D3431A2A-C9A2-41E4-B7A0-BDE45A39F000","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e4c97baf9eb233e899ea4c0d8e2592d1d7ce4bd","datavalue":{"value":"1495.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$72B5BBC0-2E14-46D8-9944-628A2BABFA6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e185c459997f62591545dc7ed9371ca17a96caec","datavalue":{"value":"10.1007/978-3-662-55665-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$B16A87EA-B0BE-4314-86D6-2A2F8E663DE9","rank":"normal"}],"P16":[{"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":"Q1679760$47AF8182-4F8F-476A-A703-39A6D99CE85A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1679760$63A0521C-5E4F-413E-906F-F4A4A63EBC15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d7ecde8c4f7f92c20976799081ad68316703536","datavalue":{"value":"https://arxiv.org/abs/1704.07149","type":"string"},"datatype":"url"},"type":"statement","id":"Q1679760$E9518589-DF65-4871-893F-E1F86EE4C520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$49B4114F-64F5-46F0-AC15-8426A51DADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$FC2A3796-D88B-4E71-A2AB-7D69C75DFB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$18AF4023-7BA8-4EBA-9470-2FC640E4AD4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a555ae83f5df13297af547b3e88515153fd268","datavalue":{"value":"6810784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$01581BB9-BCAA-4050-83A7-4947F56D74EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fa71c056931a1d685df020918f54c1965f752","datavalue":{"value":"epistemic logics of friendship","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679760$AC02FC6C-6D02-4BA4-B20F-4168827636B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"528b2123e0203e03a83f7f693f26bbb708bf1109","datavalue":{"value":"tree sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679760$E58C95DC-39A4-43B2-89DD-0E81703E140E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee50d25ca4f6ea5e6142a8f9e49e790bed8617a","datavalue":{"value":"Hilbert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679760$5A09AB2B-2479-456D-84F7-A943CB6751FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679760$E819060D-099F-42D0-97B1-6B5CDC1AD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b2394774747f377a5ba84345f9ee50cd643f3f","datavalue":{"value":"cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1679760$61553B4C-605E-4112-B391-A181A1FC0336","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":"Q1679760$924568B4-3316-4F95-BCC9-460355E55889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28f884e607592353ec2add3eb6f7b9d857bd829d","datavalue":{"value":"W2607947346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1679760$86CECE44-A5FE-4416-A4CE-8AF89605D073","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7f3bc9356358b9f94668635adc4d5588619e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f029511c6a1568362386a1db95578c27db2b66e6","datavalue":{"value":{"amount":"+0.7323670387268066","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":"Q1679760$D26AB97C-0CBC-4A5A-A0C9-A293AB096336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7afb2fe09eb85ca93a8ecde51c771c3b261485e7","datavalue":{"value":{"entity-type":"item","numeric-id":5149160,"id":"Q5149160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5d7847cd0316b057a547ea9b7ed8e501ace4bb","datavalue":{"value":{"amount":"+0.7119351625442505","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":"Q1679760$84B9ECF7-F95E-4E5B-9EB0-152646C643A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf2a685107da4b8502f20fb5021c59c8109dce20","datavalue":{"value":{"entity-type":"item","numeric-id":5108028,"id":"Q5108028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980e799f3b10ec39878161583fd82d54dd4dec77","datavalue":{"value":{"amount":"+0.7057604789733887","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":"Q1679760$BC090B74-90FF-49AD-A875-A95993C2356D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5246ecbc2eb2378e93e87a74f5e840abf5e2d43e","datavalue":{"value":{"entity-type":"item","numeric-id":5108026,"id":"Q5108026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f5c98f0a29a4ccca507a9c1041e6c067907754","datavalue":{"value":{"amount":"+0.7055279016494751","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":"Q1679760$26E56F58-861C-4022-9EE6-C5F2EDD6D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc5bf06ce2e3d7c66ac65721859f059577cdb66","datavalue":{"value":{"entity-type":"item","numeric-id":1679816,"id":"Q1679816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9459b975f06022f838d02484977ac99d08b24e30","datavalue":{"value":{"amount":"+0.7017746567726135","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":"Q1679760$92370578-7DE6-4A32-9D5D-D99EA11E06D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing epistemic logic of friendship via tree sequent calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_epistemic_logic_of_friendship_via_tree_sequent_calculus"}}}}}