{"entities":{"Q3843602":{"pageid":5873507,"ns":120,"title":"Item:Q3843602","lastrevid":54501869,"modified":"2026-01-27T12:52:13Z","type":"item","id":"Q3843602","labels":{"en":{"language":"en","value":"On formulas of one variable in intuitionistic propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3176039"}},"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":"Q3843602$20FCF261-5813-4F6F-9F3E-F99BEFC08E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6967755a5a3a9c17a1185a7c0d18736f2cc0df8b","datavalue":{"value":{"text":"On formulas of one variable in intuitionistic propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3843602$07CD94EA-E778-4EAB-B4F0-A9C5348AF627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062e6f811e7a2a0fa263eaaff6eb48743ad6bb02","datavalue":{"value":"0108.00302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3843602$DEEB3F27-1BBA-4E06-948B-0EF085BBE1F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4db20676ee3d4d7a73b18c3d5b734564f1068c83","datavalue":{"value":"10.2307/2963526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3843602$2C0FAB5A-BEDD-4958-9F9E-E8360444C8C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199bf636d72f9e36a2f6c852739bd3a38a068a73","datavalue":{"value":{"entity-type":"item","numeric-id":3843601,"id":"Q3843601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3843602$10896F70-D495-4BAE-A41C-F425204B8507","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3843602$1DB79140-5F71-4587-B2ED-1BF65320FE6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba9bd1f44d4a6c449569d580d0992c1dbe5c0e58","datavalue":{"value":{"time":"+1960-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3843602$18D6A07A-DF09-485F-937C-230AA6ECA486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3843602$F21EDE8E-001C-4C5D-85C7-CE2936E7E3C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0b7069c234adea49d52efb1175933336cb523f1","datavalue":{"value":"3176039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3843602$9942306B-83A3-4DF3-B003-9DD8AFC7D631","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29a4d7e2bf4d24c64e267cd22710f6419ee830d7","datavalue":{"value":"lattice of equivalence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3843602$D4AD7D7D-7B03-45E5-9726-5133D91045E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4198f81edc3254d185acb79202495b5590f1262","datavalue":{"value":"formulae of intuitionistic propositional logic (IPC) in one variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3843602$16D43666-D77D-4C33-BEAB-68CA3DB57F3A","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":"Q3843602$F36F7FD0-EEEB-4EE8-B6BE-B5E6B5E8F2AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"789f69ed518bf8edacdc7fb70f2a08f9fcd77062","datavalue":{"value":"https://doi.org/10.2307/2963526","type":"string"},"datatype":"url"},"type":"statement","id":"Q3843602$06B9BBA6-53A0-43FF-A71B-0FC6DEF83847","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb8662ffce3b78408d767dff5789aa4b476f330b","datavalue":{"value":"W1978576229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3843602$909BF4EB-4876-49EF-A7E1-025A2EA4A60C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29123131ecc4c14d097cd28369f6ffeedd9e0046","datavalue":{"value":{"entity-type":"item","numeric-id":5850535,"id":"Q5850535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3843602$C1A0D64A-F216-45BA-AB0A-89B159E64D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3843602$4B3B2570-B0B5-4389-B168-2CFE6C262E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1d97d729b495d4976b6442a2e4af96303aadb0","datavalue":{"value":{"entity-type":"item","numeric-id":5787742,"id":"Q5787742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3843602$0F98A99F-3159-472C-AA10-8C0B51921519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ada152450deb91fa0c6568addd017fb55e8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b193b3286d747b2b884e7b1b9bb8014d7e42c0","datavalue":{"value":{"amount":"+0.7686149477958679","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":"Q3843602$72EB9793-B04B-4946-AFA0-6B624C0D2DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ace344382c0894b7c150b1a283cd9cdb45b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11a87e47b48402e3f9193082c908c09bf382f2e","datavalue":{"value":{"amount":"+0.7598130702972412","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":"Q3843602$5E18609F-8D22-4BA5-BCB8-53578AD78A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c04e4a6dacba60e93fc8c703f4abccd9860b9","datavalue":{"value":{"entity-type":"item","numeric-id":2959883,"id":"Q2959883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0a998dba902437716e8243ad1d77ecec8c325f","datavalue":{"value":{"amount":"+0.7578508257865906","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":"Q3843602$DE009660-9310-44A9-9F51-DB2854387C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415f30b37373a8e3d9fed299abde096030b94850","datavalue":{"value":{"entity-type":"item","numeric-id":454378,"id":"Q454378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8eb257af5d17b680820fb703e6de2df9423925","datavalue":{"value":{"amount":"+0.743495523929596","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":"Q3843602$693327E6-722F-4F3C-9019-1B2CD55FA5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ddab3ebeab2cdcee56e05378629c73695854c7","datavalue":{"value":{"entity-type":"item","numeric-id":5109220,"id":"Q5109220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6888da1072b42db977e7d53a18adc921fdbb8f4","datavalue":{"value":{"amount":"+0.7380911707878113","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":"Q3843602$27EA0DC6-A326-4B44-B948-DFEF57165BCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3843602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3843602"}}}}}