{"entities":{"Q4228076":{"pageid":6257677,"ns":120,"title":"Item:Q4228076","lastrevid":46620369,"modified":"2025-12-25T06:24:48Z","type":"item","id":"Q4228076","labels":{"en":{"language":"en","value":"A relevant analysis of natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1248013"}},"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":"Q4228076$62A21BC7-BE74-4273-A3B5-D186F3021A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b6e8f22a8f1fe478f549054fd5f7b18712dfb6d","datavalue":{"value":{"text":"A relevant analysis of natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4228076$208EA486-28B9-4A5A-AE47-9F94E5856292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ea5afeefb427aac9fd1534691bbe30248dfba6","datavalue":{"value":"0915.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$00835900-2A70-416E-8C0E-D93D88955AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f75120a1136aa98d7d093610f39c90eef6c17b","datavalue":{"value":{"entity-type":"item","numeric-id":4228075,"id":"Q4228075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228076$93FA6A52-BE89-4A48-8E69-8086D2DC658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228076$64EFEF6B-EF97-4966-B18D-9648ACA9C543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8538f1ba6baa09d5d0d64bc29fdc3e18f7dc8f68","datavalue":{"value":{"time":"+1999-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4228076$98405C2E-D4B1-4E0B-A237-BAD174C5C5DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc558cfa6b26cde4ec428c838e65678460d338c6","datavalue":{"value":"https://semanticscholar.org/paper/655d1966328590daaaf346c2b94b93d533cb96b3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4228076$B9FE470F-960B-474A-AC80-7C303F49C813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$DD49326A-B5BB-4D1A-B139-7933BEC33E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$8165064D-A59E-49C2-AECB-FD261B279979","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a705c83b6520c709672d31f1f9be4ecc92a34af","datavalue":{"value":"1248013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$52F1EA31-21B3-4416-942C-85906B57F017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228076$A6BBC704-D0D2-4A93-A6C6-CB33350C02AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228076$576250C8-21B2-4EB8-87C5-E57E36A505D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228076$44B35BD4-4398-4391-B38B-330559AAB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ed454662c725b978ba2714a1de71668be06506","datavalue":{"value":"natural decuction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228076$1AE580ED-7174-4121-A216-C016D931DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4228076$92EB4829-E170-4398-BE5A-DDFF11F16FEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4228076$8D73B835-F404-4276-A10F-37E49FAC033F","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":"Q4228076$FD2E7109-1FA4-4DE4-8E20-C68CC886EDEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7002d2c1138c4e97d111f2bc39e3d61b401884e","datavalue":{"value":"W2157379912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$6102E9CF-8689-47BD-94AC-34FB24DA4367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e63ec5cecf18beb3f58d065d87794c3910db9af2","datavalue":{"value":"10.1093/LOGCOM/8.6.809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4228076$0020DEDA-26EE-4C0C-A38D-50AA05040EFD","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":"Q4228076$CA7C7563-6BEF-405C-88D1-DC2C09240656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0168108907ddaa6d1022d429beb77d49ecf51da6","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb1ba946c66017f32af354e42088d9b26e41e45","datavalue":{"value":{"amount":"+0.7506690621376038","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":"Q4228076$5552368C-77B5-4BA6-B6C9-C66746C306B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec00a677e83e17ab86e124c657ff6ed5902214e4","datavalue":{"value":{"entity-type":"item","numeric-id":2845524,"id":"Q2845524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab41b10b8f7675adb5541de8b9de9eb17cd3639","datavalue":{"value":{"amount":"+0.7459728717803955","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":"Q4228076$C483ED90-C327-4A51-AD96-E4BE5B8A2DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfea18e56c9026db233c6e65d012fbc660acce7","datavalue":{"value":{"entity-type":"item","numeric-id":4817204,"id":"Q4817204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f4487c5fc22013cd6b2dbb863f083dd8405c16","datavalue":{"value":{"amount":"+0.7428987622261047","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":"Q4228076$2F601BD9-F8BD-4BE0-B646-6C0ED6B37654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a16dac385b0a6553c09397546dcdb39839e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":4609358,"id":"Q4609358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54050d9d5c7a0af18a34f481aa89e4105a632f3f","datavalue":{"value":{"amount":"+0.7411931753158569","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":"Q4228076$389461CA-1C41-473A-AACA-43A024853908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b6fe2ea66041cf5df76aa375fa5f440359ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43a9d23c8833f23e51a80a85aea1e6d389a0844","datavalue":{"value":{"amount":"+0.7355055809020996","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":"Q4228076$916C342F-FD04-4D01-A955-888345637845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4228076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4228076"}}}}}