{"entities":{"Q4586133":{"pageid":6615718,"ns":120,"title":"Item:Q4586133","lastrevid":53200232,"modified":"2026-01-24T10:56:23Z","type":"item","id":"Q4586133","labels":{"en":{"language":"en","value":"Putting right the wording and the proof of the truth lemma for \\textit{APAL}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935509"}},"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":"Q4586133$11340768-97E3-4C80-9C96-89F6F2B21A5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f673554471825ffcbb92c8d4d79b7114f34a3ada","datavalue":{"value":{"text":"Putting right the wording and the proof of the Truth Lemma for<i>APAL</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586133$76BA368D-2B52-4C70-94DF-29580F6A027E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6bd89cd283efcc348cc905ee794aeef2abb478d","datavalue":{"value":"1398.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$FC081E11-E6AF-4D9C-8D86-C29CB299EE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe9653c3a1917c01d53cca3b5391533acd0a45f8","datavalue":{"value":"10.1080/11663081.2015.1011489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$C629A82F-AC0D-4195-B3C2-E1DEE23D0806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$87E57840-91F3-48D0-AE5A-C73D9163CBC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$94BF2918-F857-40A9-86FF-C9D3A7550F4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586133$F94994BB-B25D-4AF0-862C-25FDE66D40EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$76346B4E-7388-43F0-BDBF-EB32D0F91F0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81382de7b282fcaf33fab8ae950cfb7961053b1b","datavalue":{"value":"6935509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$2AB67DA3-A787-4EDB-BE43-DD47650A6696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586133$88697755-850F-43B2-B224-947D591FC2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556999bacb72d38f127f027ec87defd656cc943f","datavalue":{"value":"public announcements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586133$3D128E8C-304C-4A06-8807-B1415300A7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2921a2297c520858ca871419ed18ffd7b5eae8d4","datavalue":{"value":"arbitrary announcements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586133$CECEDBC7-BDFF-4A1E-B05D-131AB27EDD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586133$8C754692-B86F-4E83-B2BC-8349A9E10B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586133$DB52636C-5A9D-4F77-AF20-E088973B5F0F","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":"Q4586133$18D26992-2842-4970-B60F-A92ABB002AAB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c49b188499f8b061a20a0d6e8fcff6f596cf0243","datavalue":{"value":"Q124808550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$BBA2EE64-496F-48D8-9F0C-4573536CFBBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e9d676e3f8367b0ccaf177ae4af4a4da2dcf14","datavalue":{"value":"https://doi.org/10.1080/11663081.2015.1011489","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586133$1E78F323-A990-473B-B1A4-530312574C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"323cb31704c90957de359c5426e017b297b32bdb","datavalue":{"value":"W1990841069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586133$A5D94BB2-01F4-48E5-9212-0EFEE5FFF735","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ce7fc6fd0d266ea8bb5a566a7fafa2325cc166","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$E227427D-2EBE-4024-B4C9-6D781F93DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$53471533-C710-4AF7-8DC8-24521BEE0196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"525bad5ac6bd6827fc8bfab92eefb5102aff0da8","datavalue":{"value":{"entity-type":"item","numeric-id":2936247,"id":"Q2936247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$C8689B31-7AA2-4A2C-8296-F16E489D0C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4cb03cdd580b04360180c3b995b714114438e","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$0C53C63E-1206-4FDC-B20E-235BCF39C759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5099e4b39a28ab9c369c0581cecfd3024362c1","datavalue":{"value":{"entity-type":"item","numeric-id":1580652,"id":"Q1580652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$D7C2F489-C0C2-47E4-9BA5-B80C75FD8EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166c500f6f076b281363a3772e993212cca716ca","datavalue":{"value":{"entity-type":"item","numeric-id":5170726,"id":"Q5170726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$CD73E71C-558B-41F7-9359-E58E56445F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$B5E67931-61B3-4573-87BC-21EDFC1A52E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$340D9E36-3587-4BE9-BC16-0270ADF687E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586133$DC7D1C1B-F06C-4805-BF05-11AACB043B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa215de7a33368403b35f7ea1c1d0ffb19ff5515","datavalue":{"value":{"amount":"+0.7770169377326965","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":"Q4586133$D99C401E-6C45-4C6A-BE5A-FC01A17E830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064ac6b6def6e4d801b8c78cc0e9f8a273bbc8ad","datavalue":{"value":{"entity-type":"item","numeric-id":4636038,"id":"Q4636038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6de4f9ac2c0d0d44e8646b325a597d56a7240","datavalue":{"value":{"amount":"+0.7692674398422241","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":"Q4586133$BAF2CDC1-6B69-45A1-86F0-8156B650F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad84ceff98456afd5cc8551ebb3c38445a4097a","datavalue":{"value":{"entity-type":"item","numeric-id":1799274,"id":"Q1799274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c3359b3ba82d7469422be5b37786df6ec97439","datavalue":{"value":{"amount":"+0.759255051612854","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":"Q4586133$EE344D92-BE65-42B0-B233-35E66406323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08522cc46ae8e0046e2ef8c03ee28809a6b82ea0","datavalue":{"value":{"entity-type":"item","numeric-id":5213671,"id":"Q5213671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7e4aa33c8560c50860c1974f4a03175bc45bac","datavalue":{"value":{"amount":"+0.7424445152282715","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":"Q4586133$3CD465A4-10DC-473E-9947-C34C40304F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a491f9753887083d8ca5062b61b688dcb35f785","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c429029c9e1e5db438c76068d913fdd0eb24a67c","datavalue":{"value":{"amount":"+0.7411505579948425","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":"Q4586133$1EBA7DE6-596A-4B27-939F-53D74D9EB475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586133"}}}}}