{"entities":{"Q861825":{"pageid":863673,"ns":120,"title":"Item:Q861825","lastrevid":64905267,"modified":"2026-04-11T23:00:44Z","type":"item","id":"Q861825","labels":{"en":{"language":"en","value":"Variable declarations in natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121376"}},"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":"Q861825$F431DFC9-0E20-4390-B281-933EF4D7B4B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35f04701bce91e56730b3fc1c5ba4e3d8c65a153","datavalue":{"value":{"text":"Variable declarations in natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861825$D940716A-4AF4-4E63-A9AB-065525936133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53010066d6a6f1b43138914f96973eae0cd8f6bd","datavalue":{"value":"1115.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$89103D5E-6C3B-4C64-B304-59AD6C7377A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49ba16de73af7352798b9ecbe7e356b540bcd2d1","datavalue":{"value":{"entity-type":"item","numeric-id":297478,"id":"Q297478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$DFF759FC-CB63-40FE-9D2A-F0C6A6C92CE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$AA523787-197E-443D-8053-D1DF519BC461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861825$5B88CBCF-BB15-486C-87C2-3BFC67FB578D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33bba3d17adbba12b14345d4d8a539ecfb83ff9f","datavalue":{"value":"The version of natural deduction for the first-order logic without equality proposed here (call it D) seems to be very similar to the ordinary (Gentzen-Prawitz) version of natural deduction (call it G) except for Fitch format. Every deduction in D is a deduction in G; every deduction in G becomes a deduction in D after inserting ``declare \\(v\\)'' before the first (uppermost) occurrence of the variable \\(v\\) in every branch. Most part of the paper consists of comments addressed mainly to readers having little experience with the use of variables in mathematics or programming.","type":"string"},"datatype":"string"},"type":"statement","id":"Q861825$94D1DC54-6A07-4540-BD11-D2B32D9A9BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$9E760C73-4FB3-4A48-930A-0F1AAD947C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$8D4B1D00-D630-41F4-84FD-51D4E84B090D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3273a9a87e476092f96fee70e2c141674eeddce2","datavalue":{"value":"5121376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$0D1E1BB3-C6DE-4E06-ABBF-F71C5D543EBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q861825$55659F00-9240-4702-B739-B182C90C6587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6890dd4c57200f26b1377bbeff2a18a0c0ffa0","datavalue":{"value":"variable proviso","type":"string"},"datatype":"string"},"type":"statement","id":"Q861825$77383C1E-3979-4130-9019-811B755DD77C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$3FA512D7-B958-44C4-BEB6-F36AFEE8B2F7","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":"Q861825$81FEC70B-C2CE-417B-9911-7134311836AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1585453eca0aa0f1983134cdd83f4f2a1c23f68","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.05.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q861825$05AE98FB-527D-46BC-AE84-DF612FEC89CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acc5aed0732399ecf67415f9fd2cb448f94e5d47","datavalue":{"value":"W2024619312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$DC1B86D5-C4B9-4C30-AABF-BBBC30BDD3F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5921b8dbc71ec124983be8916a832de12b4ced","datavalue":{"value":{"entity-type":"item","numeric-id":3987173,"id":"Q3987173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$8E98AE59-E837-4791-A9CE-62124B6AE6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8e37266eda3ec5b21a8e7a70fe75c1f6c16a31","datavalue":{"value":{"entity-type":"item","numeric-id":4355889,"id":"Q4355889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$6BA50EBA-7925-4211-A7A8-B439B26CEF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbeadd0db56da65101f464051c8f0f8a3a21557f","datavalue":{"value":{"entity-type":"item","numeric-id":5829776,"id":"Q5829776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$529FBD60-2B2D-496C-8E19-DC9EC0491191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$0F8CC664-1815-443A-B714-FE03D13209C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$4F30E43B-10C8-4F8A-8CE8-8CB46F96FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$26D25F1F-BE7A-4024-9BFA-9FCB57CAF7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be154b266f49b889b70e2e16e1ef5f70c091bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5732647,"id":"Q5732647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$1655F981-7D73-4D36-B73A-F2A8F75100DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9daa4057ed7a04c427228a37f513d691eccddc","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$0CF93DB9-CA25-4BB5-AF3A-BB4AAB71A101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba87f647d350da9410e3009029b609261e32924","datavalue":{"value":{"entity-type":"item","numeric-id":5797033,"id":"Q5797033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$1E19E58A-FCAC-407D-9A6D-A6D409034FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$D51F0366-B6E4-4AF0-9F4C-DF3EAF92CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$84FD7BCA-B8A2-495A-8EBE-F4C3BDDCAE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861825$C0899B30-1EC0-4393-B6BB-4DA46EA8392D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669018b99becf9c12a6495b3adacb4700a8dc21c","datavalue":{"value":"10.1016/J.APAL.2006.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861825$6B1C1FEA-64D9-4F2F-BE9B-29D98ACB215A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b0e95e5263f8aaf52ebfe3f54025497079564d","datavalue":{"value":{"entity-type":"item","numeric-id":4023582,"id":"Q4023582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c51be419826f6d3cbf1d4d6f9cb354c96682fe","datavalue":{"value":{"amount":"+0.8509829","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":"Q861825$FF774430-CE45-486E-A2F8-61124C4FC016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5071a321d9ad45c10f41a9a40976a18b7f80a197","datavalue":{"value":{"entity-type":"item","numeric-id":4794047,"id":"Q4794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806ec0f97a81755701114a8ca93abe7a25a3bc6e","datavalue":{"value":{"amount":"+0.8404238","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":"Q861825$2A61A972-07C4-4B03-AD83-12FC3BD6B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04acbb2d6e8cba18fd9b778c98002044eb324f9","datavalue":{"value":{"entity-type":"item","numeric-id":6047667,"id":"Q6047667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b153773f82c8ff5a7367cadf50406f20eb0396","datavalue":{"value":{"amount":"+0.8357824","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":"Q861825$7233076E-53BA-47A6-B111-ADAEC194695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2def8df19ec7f02a07ca27997fbaf372c3a5056e","datavalue":{"value":{"entity-type":"item","numeric-id":853747,"id":"Q853747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe76604136c47cc428becd16c9eb84a4971e00e9","datavalue":{"value":{"amount":"+0.83322483","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":"Q861825$FBB962F5-8D7A-41B8-A316-276F3D1EDD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7864a537ef02c783d1ad615d074c2bb62872be","datavalue":{"value":{"entity-type":"item","numeric-id":2852352,"id":"Q2852352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e49d106159f2373a02debcfa033aaa57a2f8931","datavalue":{"value":{"amount":"+0.82863927","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":"Q861825$1DE3B028-54EE-47E4-BA9E-AE2CACDE88F6","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":"2b12774ab74a4617fb39be5481386617aea21c98","datavalue":{"value":{"amount":"+0.82807505","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":"Q861825$F8577280-7C8A-4FB4-AADC-33659507C98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35acf558c9db1787d9a80860d71b274334bf00b","datavalue":{"value":{"entity-type":"item","numeric-id":3030232,"id":"Q3030232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9827260614991246a72c671ae59c76ce9ba84e25","datavalue":{"value":{"amount":"+0.82699317","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":"Q861825$9FF93E34-D435-453D-80C4-F93F1B95C02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffae32cff7401dba4e18c4a614da9497a516056","datavalue":{"value":{"entity-type":"item","numeric-id":3838814,"id":"Q3838814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f632990af5d4fb732fa4253806f3511992933ef5","datavalue":{"value":{"amount":"+0.8265702","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":"Q861825$D34AC996-C0A7-42E1-B52F-0E2B2A36CE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8338e26aeecbcb737159d21a6bfc09cacc8818b4","datavalue":{"value":{"amount":"+0.8221233","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":"Q861825$37901061-F8F4-4AB8-BE74-FA5D06D8786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da9f6ea066a12236f934f41135ad1265bdc5c48","datavalue":{"value":{"entity-type":"item","numeric-id":3675504,"id":"Q3675504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f8a724e6c79b9a73f17498b2096d3d7029b95e","datavalue":{"value":{"amount":"+0.8208443","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":"Q861825$6C38060A-D422-48F5-B33A-3B35C2AA9995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable declarations in natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variable_declarations_in_natural_deduction"}}}}}