{"entities":{"Q2957671":{"pageid":2968390,"ns":120,"title":"Item:Q2957671","lastrevid":56868417,"modified":"2026-03-24T09:19:43Z","type":"item","id":"Q2957671","labels":{"en":{"language":"en","value":"An alternative natural deduction for the intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678648"}},"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":"Q2957671$743EC876-9CFC-42A0-A8B4-6D17A0C55F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17b49150688be8101ef2260f1fd936c010d4591c","datavalue":{"value":{"text":"An Alternative Natural Deduction for the Intuitionistic Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957671$2410FA42-73C6-4D4F-9DFC-984817DCFB58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64c0103b550980de089b06848da30b840d355e3d","datavalue":{"value":"1403.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$03D8EF9A-E3A8-4C69-AE99-8C829E857A57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"964710816fd93884e64a25e962fe09356662afeb","datavalue":{"value":"10.18778/0138-0680.45.1.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$936BB7C9-CDC4-4060-BDEE-9B1994EE35FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73718bee04a6f42a4a277895708f8993ae83bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2046879,"id":"Q2046879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$0C6F716C-E882-4397-B409-4BA9168D9461","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$A4F3770D-8FB0-49CD-840E-90658BFD9CB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957671$DAB7E4BD-774A-460F-8496-DB70FBF5D521","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$42920285-C132-46AC-A01F-1F8A78050692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$6BFD9456-4DDC-417C-A385-7164B72F3B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$DC2E44C3-951B-467F-838D-98CA304A9951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f82f0fad845cc2ab9b32417baaf457f43983c64","datavalue":{"value":"6678648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$1A2B7817-E512-4031-8BCA-C22D4CD35C90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957671$613E2AF7-259B-49E3-90CA-23860591F511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957671$937E404B-E1F7-46E8-9C19-78EC352A4091","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":"Q2957671$BA4DEFED-B002-4293-97CA-5F8343248468","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bae254d85a9358df4438fb3e3ca18324785ec65","datavalue":{"value":"https://doi.org/10.18778/0138-0680.45.1.03","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957671$3FAF640D-4B68-4EA7-870A-1850A6ABF8C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1f8ea0a9119fd95ab022f7d009c9865f81ddded","datavalue":{"value":"W2617588251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957671$58D2EC21-CDA5-4CAB-8A84-F7F17B8F5A16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce78688c455ad67aa46caf940204e06587dcab4","datavalue":{"value":{"entity-type":"item","numeric-id":2804328,"id":"Q2804328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$B8251BEC-6748-4257-A5CF-0502F0B6A8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cecbbae9a22bacdf260e9386571dce3ff51e34","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$C1DEAB6B-018B-47F2-AD81-33064AE19213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e2b13f94cfcbd2779246485d014cc60d2ea10","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$CE9F907A-BE72-43A1-BA90-8C01FA460337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$0A530957-9498-4A18-A357-2BE653EB6992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$4A5728C2-9B60-4835-8DA1-AD86369CBEFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097f91ef0bc1d14b8fd01897291c2b8405f503d0","datavalue":{"value":{"amount":"+0.8013139367103577","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":"Q2957671$0B036438-8343-41DF-BD22-928D6A963294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2382dc92c2b459219e6a07df4766f1e9a2ff984e","datavalue":{"value":{"amount":"+0.7985844612121582","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":"Q2957671$BFB83D63-5549-42C7-9A9E-6AC204D46A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4b4b4e1c435aecb086f28ec1a24dcd39fb84cc","datavalue":{"value":{"amount":"+0.7911725640296936","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":"Q2957671$47FB5694-C4A3-4108-90E3-45BBC41DDD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f95942be20b4852d8a6928eaae8cab002f999a","datavalue":{"value":{"amount":"+0.7903562784194946","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":"Q2957671$9EE5A912-C790-4DE8-8F3E-F139B71B9F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eae33eaf2c4ca155a58a521974385515b69fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1117920,"id":"Q1117920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107828834a1f4ac6235fdeb49047282056918c71","datavalue":{"value":{"amount":"+0.7872286438941956","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":"Q2957671$28023916-5FBF-492D-ADD9-CEF390DD7199","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957671$9524A1B5-843B-41A5-A212-3C8649B2D7CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957671"}}}}}