{"entities":{"Q2236507":{"pageid":2247250,"ns":120,"title":"Item:Q2236507","lastrevid":57643461,"modified":"2026-03-31T18:38:23Z","type":"item","id":"Q2236507","labels":{"en":{"language":"en","value":"Natural deduction bottom up"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7413555"}},"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":"Q2236507$F7202103-0A68-42C7-BB3A-0FE37E792410","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"863b07cdf3afb5641fead13df2cfd47e2818ed19","datavalue":{"value":{"text":"Natural deduction bottom up","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2236507$5D54A5B4-DD60-416A-91EF-ECCC6F7EBDDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731bbd863e426c881575785bf5fab09d2fd3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1005978,"id":"Q1005978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$DD488306-0425-4CD8-AACD-8E461D42F85A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$696E1938-CC4A-42D4-A8E9-A8C40CDADF89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ce2f5c3131b8fb956dfb7c648fa88886ee86209","datavalue":{"value":{"time":"+2021-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2236507$1CA43369-82DF-41F2-A8BF-C1F81CC0496F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$1FD83EDC-9764-490F-8B3B-852120BA66C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$F0B482FE-0AE5-4F02-8952-8570FFC46C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$CD6711AB-6B1D-4F1F-8BF6-AE80A0876F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$58488E75-4B16-46B6-9AF1-4E49185F2AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$F7640B7F-3F46-41DD-848E-04002D1F84D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1096f18aaded54cc66292367be32d50f75ca4ec9","datavalue":{"value":"7413555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$3DEA4DB1-FC8E-4C50-A0AB-5971E609D45D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236507$DE41CF4A-AB0C-4779-8DD7-64D748DEA97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236507$F03A2C70-5FC2-46C8-BA2E-8674631F4CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236507$7F2A9044-CFBF-46D0-87C3-BABEA41066E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236507$4563F425-08AA-4B83-9628-7D9FF87C48FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2236507$251992B9-B969-428F-BC8F-BC9445C7CC05","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":"Q2236507$DA82D625-2D25-4158-8569-9E6BB5FDCEE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cfbfbb058bc204ce14d44eea5ed42d7bc240c3e","datavalue":{"value":"https://doi.org/10.1007/s10849-021-09329-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2236507$AE6BAA74-5193-4A14-94B6-C9C70F5AAEF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23da7c83ae0eb39e2c2482178d2e56c0f304c3f6","datavalue":{"value":"W3137378716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$A1358FDC-F7C6-4FE0-9FD3-DE3B21FC3EA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$5B0DEF0D-4E3C-4F2D-A0CD-71D1AC7868FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$1EF1F751-765C-4F19-AC84-B5533829AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$03478890-B3E2-40B8-8234-E675AADF1B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$15400D9D-B179-4BB4-8D23-AA01FB1CEBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$7AA4EA82-7A4E-4DB5-936E-B5DDC44BE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$9BB0D6F8-A9F0-451A-858A-1528C8DF13DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$69DA93F2-ABD6-4F4E-B589-17CD5FF4423E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075f22b9afe2a58dd22052f5feb3620e09f48e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4940719,"id":"Q4940719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$91FCA486-AF24-4781-823C-1909AEA15D4F","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":"Q2236507$49AB83AD-B1C5-4642-B226-012CDDC3976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$5F169562-E062-4EBD-90F3-3C745EB7B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$1442B2F8-59A1-4A49-A9C0-1FE69A7C6C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e36cdfcffb6756443d0154b39ea19a9439be7","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$DEC0F4E5-CB1F-4C1C-94FE-D0756972FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$BFB77234-C5A0-441E-B02A-51B0403CF2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fea2cadcea1d9df9a09b31cf450f2b3df855d9","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$BC3D936F-7C14-43CE-8DFF-8B9B8C0140D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbdf63a7896696ddb6905e29eda6c797354cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5907067,"id":"Q5907067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$BC184915-CB6B-45B5-BD89-2E4C76206C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095235182a772e949a894fe1e8dd7dd415201919","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$20178CAB-E307-4935-B620-7B0FE2C5E1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82dcde898a9023fa531b48d50cba4aee84e53250","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$7FE96FCB-32F5-4DD1-AAA2-342A5319E900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd62b41e657ec247afba4862970c5299f54b098","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$C67AADC1-6E1A-4743-A02A-742063DEEC04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c7af3732fcfa9f7571bcc85a70083c506d6c798","datavalue":{"value":"10.1007/S10849-021-09329-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2236507$07203C76-DB78-4C3D-A61C-A0A806BFC9C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c1a4eb9c1eae4661ad490d6b1c40714c345869","datavalue":{"value":{"entity-type":"item","numeric-id":3520236,"id":"Q3520236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530d9da6099db8ab353603892263cf6239d8482c","datavalue":{"value":{"amount":"+0.7800903916358948","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":"Q2236507$D565458B-2A14-43DF-8248-2D5E066EF659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76f8f8851eecfcdc94e209b453fbcd09a0750a6","datavalue":{"value":{"amount":"+0.7787158489227295","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":"Q2236507$3BFF60B5-4F9D-4BF8-8FC7-101B7B2B095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb6a476188de8f6a6152cddc852440b8687001e","datavalue":{"value":{"entity-type":"item","numeric-id":4933303,"id":"Q4933303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76f8f8851eecfcdc94e209b453fbcd09a0750a6","datavalue":{"value":{"amount":"+0.7787158489227295","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":"Q2236507$68C9600F-C2D6-42E8-97DB-8978DFD9513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc42ff25595de34df473e5f69e71de6d6160ab03","datavalue":{"value":{"amount":"+0.7708075046539307","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":"Q2236507$FB8E3BAF-A70E-461B-A584-19E12A58E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d05a4501121dddb9c9da0e51dc951d70bb8957","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc42ff25595de34df473e5f69e71de6d6160ab03","datavalue":{"value":{"amount":"+0.7708075046539307","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":"Q2236507$15C8C713-C940-4C50-85FF-BC7B5D169E16","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2236507$CB030852-2012-4113-8BDC-FA924314F567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2236507","badges":[]}}}}}