{"entities":{"Q2259010":{"pageid":2269753,"ns":120,"title":"Item:Q2259010","lastrevid":71698893,"modified":"2026-04-13T23:58:04Z","type":"item","id":"Q2259010","labels":{"en":{"language":"en","value":"From axiomatic logic to natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409343"}},"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":"Q2259010$51C5ED61-4CF4-40D4-AEF3-090FE7F652D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73917eda554b655951737ff369492a6e80c2066e","datavalue":{"value":{"text":"From axiomatic logic to natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259010$EBBD6FA3-EE3E-45A1-927C-92DB433780CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd8856aa937bec82a1a9875114335572d96fd4b3","datavalue":{"value":"1344.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$B015A520-3A92-4CA0-87FF-A748E9D6B1D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259010$41245551-05C6-417E-A41A-BC02ACDB29DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259010$2123B25F-D56F-4436-8A66-60BA8F9A9F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-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":"Q2259010$B983873D-AC37-4D38-9818-18687DFCB78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$D53251F3-AF80-498B-8916-C7AF3B84653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$0E90E384-07AD-44FA-AACF-6401356A64D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$30960246-DACF-4AD6-81E2-D84354FC000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$2CE7DAA9-DA64-456D-BAB9-A1DA32FC7367","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be76d455c621e673c150a2f3d938d38088d2ec5","datavalue":{"value":"6409343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$4DA34E4E-CB78-4097-B792-11D0A4FA5971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259010$D9FC3FBD-2585-4665-8D00-05A54864887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259010$2A34362B-2076-4664-8B0E-6DBA261A7DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6688669845385834cae53a68f746b84b61262844","datavalue":{"value":"axiomatic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259010$CBBE733B-5E76-40D1-B625-8FAE04A9B1EC","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":"Q2259010$A605F4F7-9515-404B-B50A-04FD1F8988A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b88e7ec28169854841027b0c4f59bd11d0c7ab25","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9565-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259010$4B241101-2296-4B51-B57D-EF6D914AA3F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caabfeb798d3e64a6bf1819ea974c22cb7f21558","datavalue":{"value":"W2089091084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$EC4D6E72-771F-4529-89FA-DAEE1D5B5265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259010$E0993ECD-C841-4669-AB39-349FF2CCBD99","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":"Q2259010$9C8265E1-BCA6-41D3-ABE2-8022D030711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462102038b0eb74508c2054c78ea9d8330d39fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2915886,"id":"Q2915886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259010$C578B242-2E77-4C36-BBFB-F789E435F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d76d0080e73382629d30e4bc952a2749e33fea8","datavalue":{"value":{"entity-type":"item","numeric-id":3149962,"id":"Q3149962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259010$1365817C-AEA9-4770-B6B7-6AA899078018","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1738836c6d0c033bf1ebb16fc53830f5e4c3467c","datavalue":{"value":"10.1007/S11225-014-9565-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259010$604D4753-87AF-42D9-8C17-07CDB900045C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89b9c92e6f8e147ea37ce8b8ba8f7f58ad79fa","datavalue":{"value":{"entity-type":"item","numeric-id":2915886,"id":"Q2915886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12e26fd17c6bdb9dbf2341042d2f2807b8edced","datavalue":{"value":{"amount":"+0.8094931244850159","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":"Q2259010$CB49F220-97EC-4B76-84C2-8B30A1176169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be482aa3766f83b9f1c4178834ab2f639211ba37","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f147a2a18450438dc66262ecf11fcd4f4c53bc0","datavalue":{"value":{"amount":"+0.7977849245071411","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":"Q2259010$2C7FB43F-9D6A-415A-9EC4-688E24356A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7c426f10a188313032acdbe9224fcaf7d72a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3019775,"id":"Q3019775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ad4ac5310a2eadcd485fb0eb81510315b8459e","datavalue":{"value":{"amount":"+0.7910622954368591","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":"Q2259010$E522F5E2-62C4-4EE7-867E-6943AE0294CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7cd9f9cad364930fa595a67d49925a167ba93b","datavalue":{"value":{"entity-type":"item","numeric-id":4961869,"id":"Q4961869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd267f6f4e466eb9852d1ba2d8374abe27956c6","datavalue":{"value":{"amount":"+0.7828190922737122","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":"Q2259010$1CD9525F-D03A-4268-94A1-89723E93F21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15c08fee741fe86e52c5de28cc61132f53a8cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5919183,"id":"Q5919183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0831d87057c670cc4ff00f68b0a9296640680602","datavalue":{"value":{"amount":"+0.7626998424530029","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":"Q2259010$E8293C3C-285C-44A4-A6A5-89FA6D3BD345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From axiomatic logic to natural deduction","badges":[]}}}}}