{"entities":{"Q5224775":{"pageid":7254344,"ns":120,"title":"Item:Q5224775","lastrevid":53486585,"modified":"2026-01-25T01:06:45Z","type":"item","id":"Q5224775","labels":{"en":{"language":"en","value":"Naturalizing natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085022"}},"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":"Q5224775$770AEE97-DC82-4319-B2BE-71790241F7B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7890c26f2eb6adaeb9c478add919071c7dcfe9cb","datavalue":{"value":{"text":"Naturalizing Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224775$A90CD294-3912-4A02-A229-B6191F5E2E78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d82de5a57476396b5586f7989875be7e726240f","datavalue":{"value":"1418.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$D85EFD79-569B-4E45-AC5D-4DDD17BFDF36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0fda0e8ca1eba0d646366096bc43b9e5a511be","datavalue":{"value":"10.1007/978-3-319-24756-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$B4553016-C854-48E3-86D1-D37FA05AFC73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab31fe61d347dacca2c07304b4072a05f025c49","datavalue":{"value":{"entity-type":"item","numeric-id":1283314,"id":"Q1283314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224775$200B10A6-8621-4676-A231-072D9FCB7B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f81dfb2c1a1271c81e56e5f3b2381f79bb1dcd","datavalue":{"value":{"entity-type":"item","numeric-id":3218761,"id":"Q3218761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224775$4DC1957A-B7FD-4AB0-8D0F-FB88B65CCDBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224775$8148C772-93FC-45DC-BB57-BD2DA310A75D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224775$70965F10-F981-4D14-9A5E-7AC61A229763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$AB012499-E448-4AD2-9E85-030FD7BED00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$13193CA1-797E-4ADE-8A81-D3B9189EF73B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1abe4878b24ae610ad2143fca0b76a577ae0639","datavalue":{"value":"7085022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$5807E499-C70E-4023-AFA6-3FC7A45E15D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49fa9014ae1a692bae0a509c428a2008be7c7482","datavalue":{"value":"arbitrary object","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$CF9E1C3F-3A65-4DDB-980B-456E8F45AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cd0bba1be69f63ce50b271fbfce4a7dbe589565","datavalue":{"value":"epsilon operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$99D4F3A8-27A0-4EFE-880F-DB472B37D150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18eda6b1826b3911f7cc52c25fa17bb81a3d3617","datavalue":{"value":"Francis Jeffry Pelletier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$10B4C483-B8BB-4BC8-8B72-8AD2457AD2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$02A18C04-6407-4668-AE85-BF0DB7C76A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$E82C50D1-E744-47DE-851D-3A424C7484BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e484d1fbe5d2f438b8ed26bde4ca57f2e78ddf9","datavalue":{"value":"Jeffrey C. King","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$655B864D-4E54-4B62-97D6-6A8BE5F67380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebf3dc698894d7862d3f3f43056eec71782cb53","datavalue":{"value":"kit fine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$91545BDC-C20F-40DA-8C68-C8F724523C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$D5EFE4B1-ECF0-4298-B665-BD6D634A1821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$B20A820E-4828-48AC-9EC4-EF2F2AA181B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456f428f7d11b77d5dcd68a909e2a07830396d6a","datavalue":{"value":"quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224775$77E7E07F-94EF-4C14-8881-D37A518F2E58","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":"Q5224775$A85FB989-D430-421E-9BCA-7F5B5F11FF2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef579069aadc80c00d59cd1ce94c453b7d916c22","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24756-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224775$6CF5F159-2A02-45E9-A502-AAF2E193D8BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"590701f7dd9cba45a959b110eaa9e794971d578e","datavalue":{"value":"W2494553090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224775$F5780566-67C3-430A-9BA3-DC7DB534CC47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576ab7a3017451a7e3dd00ea375db8169486714f","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d103b2703e1b9f78e5bbfc662d08e268a2aa4870","datavalue":{"value":{"amount":"+0.8277371525764465","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":"Q5224775$C3A0064C-F730-4F3A-AF77-F8C5BB9949F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccf3fe3770b76b4e0f39dbb8305ffa2ebe733a0","datavalue":{"value":{"entity-type":"item","numeric-id":3987173,"id":"Q3987173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905c4d3880b8b308a6e04c33da99487c083151a7","datavalue":{"value":{"amount":"+0.7297576069831848","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":"Q5224775$408C789B-BE62-4971-98C6-22FE7B6AC019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1b2010dbda627e6865fc3ca33b3fa674ac839c","datavalue":{"value":{"amount":"+0.7293673753738403","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":"Q5224775$2801745D-DDDD-4DCF-91DB-BD6FC2F5CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdf1ad2a27c8a1e253a63a8c0dbac38534bd5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d5d838882e9467d5476caa60aeb5f2171d1a3b","datavalue":{"value":{"amount":"+0.724067211151123","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":"Q5224775$F1BBD17A-C4F1-4D68-A44B-996E048D7F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8be7c1b8b14e1bd34c81c5e9b1de62a9930187","datavalue":{"value":{"entity-type":"item","numeric-id":3119359,"id":"Q3119359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8a2d0a1dd8d0e54e2ffaa954523df51473ca28","datavalue":{"value":{"amount":"+0.7226804494857788","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":"Q5224775$D3E787D3-A5AA-4C7C-A1EC-CB47C192AB00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224775"}}}}}