{"entities":{"Q3382806":{"pageid":3393509,"ns":120,"title":"Item:Q3382806","lastrevid":46103887,"modified":"2025-12-22T22:57:28Z","type":"item","id":"Q3382806","labels":{"en":{"language":"en","value":"Intuitionistic multi-agent subatomic natural deduction for belief and knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398772"}},"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":"Q3382806$EE355BBE-2592-45CF-8772-3E6654EAC79F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a61f0e0cf486b03193b99e45ff0fc69ac805fca","datavalue":{"value":{"text":"Intuitionistic multi-agent subatomic natural deduction for belief and knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3382806$BC0517CA-B800-4263-B63D-447C1DDF5E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc046fe9eca8c8076930b5578d8e04e525826243","datavalue":{"value":{"entity-type":"item","numeric-id":514083,"id":"Q514083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382806$805FE320-2EEE-4543-B71C-B41A5964F45D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"298bf7ba67772e027c232daaf82fff0b94bbeb35","datavalue":{"value":{"time":"+2021-09-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":"Q3382806$0EB8D71C-0692-4C17-92B0-B40B8345A689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382806$E7213FCB-8CF9-4462-A281-7733CE5B4C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382806$4B01B90D-5288-41AD-A100-79B4ECFFFB39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff09bd4928c3d764a9c633389705d21ab42d929c","datavalue":{"value":"7398772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382806$7B0C857E-F84E-4A56-A7BF-3EB51A338DCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01891d08bf74cab1ed6b66d9eb65aff46943067","datavalue":{"value":"belief/knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$B432B0EB-6BB3-4F1D-A355-CB36957F1D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$1F647DD1-A697-45AC-B4BD-F4D1D06355C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5667cd439e42b401dccbc24ece12b83bbfbd1e","datavalue":{"value":"intentional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$DBBF6C98-D500-460D-B853-EFDFAF183979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$4ECA8BE2-C118-445E-AEB0-6C57C59AAC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f122ca0dd32e099e24a101a9c3e1007bff4ec84","datavalue":{"value":"multi-agent reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$C1F157F7-C77E-42FC-8502-B934821085ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$EF9DADFE-6092-4ED9-B5ED-EEFFAC81F84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3382806$E266C453-14EA-4D2C-BB25-FE7BE35D197D","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":"Q3382806$5683BFD7-246C-4B5F-8DC4-A954E73E7EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5335ed3a3578165ba332af4758b097ece738b89d","datavalue":{"value":"https://doi.org/10.1093/logcom/exab013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3382806$437B98EF-4CB4-44EF-9C44-C29103FF8394","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3aafa984df2eaa6460445c9ff7f86bbce1b32d5","datavalue":{"value":"W3141213836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382806$D1A170C2-5AFE-465F-AF47-39D18EE4E8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3210969b72785d32e275989fd42ed80356441223","datavalue":{"value":"10.1093/LOGCOM/EXAB013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3382806$295FBD5D-0340-4D3B-802A-5BC9CB222A89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3382806$822BA931-559B-483D-8BBC-1F6680F29B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f878d2158204ee78178c01ff98659e8568999613","datavalue":{"value":{"entity-type":"item","numeric-id":4708905,"id":"Q4708905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b6da9451cb3e7f447513f69a3d3253527c680","datavalue":{"value":{"amount":"+0.891741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$022055BB-48EE-4899-A3E5-AAA2770883AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e456e3d336924c568fa2b0fad86960a900024246","datavalue":{"value":{"entity-type":"item","numeric-id":5419886,"id":"Q5419886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c306e8f0e9e4d53907d4e71571d283b99b7d33c6","datavalue":{"value":{"amount":"+0.88258016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$312DC828-A22C-4555-AABA-AE10F552FA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4866131588a0fe2cf74b794163b79777b8dc34f6","datavalue":{"value":{"entity-type":"item","numeric-id":1712550,"id":"Q1712550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bc04c6556058e708af7405ae608837fe4d6dc2","datavalue":{"value":{"amount":"+0.87346274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$0617F593-D770-4763-98F2-5C05D1B0BA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369b2ea0bef972987534b06c77f8891c86c3358","datavalue":{"value":{"entity-type":"item","numeric-id":5268415,"id":"Q5268415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6333f4fd4a87a54128f0a36e1f24a96d9f27126e","datavalue":{"value":{"amount":"+0.8706487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$844DAD96-5BF0-4455-88B7-204FA2C99561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e503e461d443285c6d9ec186beb92f62d203dd82","datavalue":{"value":{"entity-type":"item","numeric-id":4016553,"id":"Q4016553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db73b341bb33a2d7d63e8be0017c57b127f7fcc8","datavalue":{"value":{"amount":"+0.8687201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$6830DB5B-A8C0-4AC8-B921-69748DC4AB6C","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":"a022e180b9289ed945270a8c7c5c30212113e767","datavalue":{"value":{"amount":"+0.8668904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$23CDADFA-3D15-42C5-B549-0DBB69664702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb1f141266899331162b71df50c2eed08dd9254c","datavalue":{"value":{"entity-type":"item","numeric-id":835839,"id":"Q835839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d791131c6deb5822364fb498c6f304dcef8533","datavalue":{"value":{"amount":"+0.86505514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$D20B2167-437B-472F-B332-0E695F2E34F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4981dcd079483d193a4b8e5300db2ae4a5560a4","datavalue":{"value":{"entity-type":"item","numeric-id":4583321,"id":"Q4583321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1875d46c59151be32dbeccb9528dd6146310032a","datavalue":{"value":{"amount":"+0.8627257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$7FB76F7E-E4D3-47E6-A56B-FA0C7B126EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac70e28476b6d70285f8f3c64db2c3b8d834edb1","datavalue":{"value":{"entity-type":"item","numeric-id":5898021,"id":"Q5898021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fafdf7c05af4e938e93e0a5598607b052221044","datavalue":{"value":{"amount":"+0.86243117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3382806$793E5F61-D6D6-4DD0-8A83-49566E883A8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3382806","badges":[]}}}}}