{"entities":{"Q5483017":{"pageid":7512577,"ns":120,"title":"Item:Q5483017","lastrevid":49894756,"modified":"2026-01-11T18:23:20Z","type":"item","id":"Q5483017","labels":{"en":{"language":"en","value":"Consistency proofs for systems of multi-agent only knowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046370"}},"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":"Q5483017$FAE56762-6B57-4404-9BAF-EA0016337F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6640f3228d038382f4e08eaa92aa9532a1033a6","datavalue":{"value":"1102.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483017$098F365E-5F50-4C2C-99A8-2BF0FD079500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc43334de395ad582a62ad990c60c53a86ecfe8f","datavalue":{"value":{"entity-type":"item","numeric-id":429590,"id":"Q429590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483017$E3289973-E751-4790-9C56-E5E264CA04C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cbb3254b31442e822e7981595599f2c0a13db67","datavalue":{"value":{"time":"+2006-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5483017$84A9DC8E-6F04-4291-86BF-3988456C17A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483017$69EA57CD-B934-4BA6-9D3C-0B84FFD64006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483017$0B17EC8D-C7E0-49F1-AF93-710F4647A9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483017$5E3A74F2-E518-48CF-9DC9-17C3264DE738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc94622e7b4c2acb21bfc4b2b12d50d16352c972","datavalue":{"value":"5046370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483017$616806B3-19BA-443C-91AE-2781CBD03BAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5c5f623bd9d2f42e879488f0ee759509339f5b","datavalue":{"value":"multi-modal system of only knowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$40BEDA28-60AE-4A52-B7D6-4DD4C52DF06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$9B18D238-E93D-47BC-A7FD-DE0734B76EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$8AD47062-4A17-4F41-AF84-71BA2E2737B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$523F1155-0589-4649-AE49-DD611C3FE20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f546723443d5b126386a19433554e73cd6ad7a","datavalue":{"value":"belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$EBD8A25B-5DF3-4BF9-ABBA-76A7727EBD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a4ea1e86132e35520b0d51d45216a751b2fee6","datavalue":{"value":"confidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483017$A202CCE7-8A9F-4A82-B261-7DEFA0652FE2","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":"Q5483017$49589E90-B602-4B4C-9674-5F3F6CAFF67A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0f48c972187a44b22728521b1daf52e0f069fb","datavalue":{"value":{"entity-type":"item","numeric-id":2720397,"id":"Q2720397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f088efc8506ad1e093bc7ab87613ffca4c03e0","datavalue":{"value":{"amount":"+0.8120183944702148","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":"Q5483017$F79D5075-74D7-4D1C-AB7F-B43883392132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bdb04e9929e0b62069280f3d8d82bbf0c6bdc0","datavalue":{"value":{"entity-type":"item","numeric-id":5740436,"id":"Q5740436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5a8b1be6e939d046fb8bf1635024d82fe29c3c","datavalue":{"value":{"amount":"+0.8031120300292969","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":"Q5483017$0E4F2EED-FC4F-403C-AC0F-BEDF3E8D3909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcf8b6bbf1a86ba9d025642ad11a3709a40bc38","datavalue":{"value":{"entity-type":"item","numeric-id":3623964,"id":"Q3623964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc221b6b4b0360dfe15e1a53f7eb85b7803611d","datavalue":{"value":{"amount":"+0.7922921776771545","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":"Q5483017$0B98DD4C-052F-44BD-92AE-1C1E8F33AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098a62068309239a19a2d119666ff2505a1182d6","datavalue":{"value":{"entity-type":"item","numeric-id":892188,"id":"Q892188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc54aaab3c9321bb7da064319269a5ec80becfb","datavalue":{"value":{"amount":"+0.7878141403198242","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":"Q5483017$1FE87142-73A9-4022-82D4-D4315EC07546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71967387d3c14bf4d70da273d0a27f18b40c34d7","datavalue":{"value":{"entity-type":"item","numeric-id":2785840,"id":"Q2785840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db91675148157a731ee94e0f9ed403644207cb4","datavalue":{"value":{"amount":"+0.7816473245620728","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":"Q5483017$86D1FA68-95C6-497F-AA09-E3321CAA8035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483017"}}}}}