{"entities":{"Q2259008":{"pageid":2269751,"ns":120,"title":"Item:Q2259008","lastrevid":71698875,"modified":"2026-04-13T23:58:03Z","type":"item","id":"Q2259008","labels":{"en":{"language":"en","value":"Gentzen and Ja\u015bkowski natural deduction: fundamentally similar but importantly different"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409341"}},"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":"Q2259008$A28F6A8B-34AF-4687-9CD3-3421AF4FC411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8762e3eb22edaa7e83520378601714eaf1b4e6da","datavalue":{"value":{"text":"Gentzen and Ja\u015bkowski natural deduction: fundamentally similar but importantly different","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259008$F9AC84EE-1809-49CD-A2AF-9481690517E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49b7e5227d3e4f747400c656598664e5c6da6e9c","datavalue":{"value":"1344.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$C1AD7E56-C536-4513-BA8C-D1B32C2C465D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f25aab4c6b00769b6480f5283f54feec0bb72d4","datavalue":{"value":{"entity-type":"item","numeric-id":679253,"id":"Q679253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$2CEBDB3C-F465-4E8C-B8A7-B1FF2B7F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2321104d3886c08f41bc8f0b120d9f337d67cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1632056,"id":"Q1632056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$0F9A57C2-1210-4D57-B5FE-DD058261FCCE","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":"Q2259008$6823B63D-4B68-466E-B740-9B87A41BCFE6","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":"Q2259008$BE468E53-0BCF-4A36-A879-04CF23534468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$486873E9-4E4A-4B98-A72B-88D425EDFDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$257A6A7B-B57B-4D03-852E-EC5C1163A7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$9F055722-8044-4C3E-AE49-06C5E6328EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$5F3C3BC7-0D77-4490-B5DF-4A24E3293BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$6092C198-8E62-4F67-AFEE-71DB918CE186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$4C838AA3-4A73-4152-823A-4716D83E16FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f6c00b2f3bd1813391fe0b8bbfb6bfa3da7f31","datavalue":{"value":"6409341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$F88ECCDC-2616-40A6-ACE2-BDB2677F4A82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ea98027be8a5bee01cfa2aba3a59c2ddfcff1d","datavalue":{"value":"Ja\u015bkowski","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$D4E62C1A-0F28-43CE-B095-9FF123A7B068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$FE91534C-141B-4D3C-B229-923D1E01B16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$64987366-6166-432F-A3AA-3CEC22DA2DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$70D5C356-7253-4E6F-B0DF-E2A86207011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$7C3735A8-3131-44BA-904F-BA04F70A20EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9455a91b99ad2424056c1a05009f39acf793093","datavalue":{"value":"inferential semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$46C99C80-B321-4A4B-BCA4-42A975CFF3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec206f349c8ebd86af44a8bf61d306a76022b2b8","datavalue":{"value":"generalized natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$3E2A7CCC-6101-425A-8F98-0533C3E32CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a660436042291c5040d730d9bc23fca1c2662314","datavalue":{"value":"Sheffer functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259008$0E3BD4DA-32ED-41A1-B040-855AA08C8367","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":"Q2259008$AE6F5F60-3155-4450-A59A-ABC3877FEAD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05ef2d6307d33f97841fd5239169309a287ad344","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9564-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259008$DD916960-2EBE-4CCE-96B5-E5C12FFF6793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c71978468078ab15fe14ef23904645161e3672","datavalue":{"value":"W2034981868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$7E30639A-F1EA-4502-AC12-6CF71E196B3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$9D4285F8-7053-4ABA-B1D8-86DC1109F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$328E1A0E-C44C-4057-8BC5-8E6A64EB3CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b4606e96f20da648093bc7dc6078e0a581e69d","datavalue":{"value":{"entity-type":"item","numeric-id":5804996,"id":"Q5804996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$9B05973C-3942-40A3-B054-D2441179654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17111cee03f20c988485639ad04097683a72b88","datavalue":{"value":{"entity-type":"item","numeric-id":2536519,"id":"Q2536519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$7B23D741-1BF6-4831-9262-41FBF2FEC006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$A1E41977-3D35-447D-924E-FBB171C09025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b4df3fe267bb92873752d9c73f3ca347cb03094","datavalue":{"value":{"entity-type":"item","numeric-id":1073779,"id":"Q1073779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$72DDFCA8-18C5-4767-9115-73B593BDD10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$94152E52-E63D-485F-A26A-5E9A8B84B571","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":"Q2259008$FCEC6065-928B-49EB-8DC1-714980CB9CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$FE7EF309-E3A6-4117-8B1F-99689B4AA431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$9EE776EC-77A1-40A9-925A-46BF5E8FEA27","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":"Q2259008$9D74D39D-DA74-46A6-9A0A-2F8623D1B069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e636b690882509d3daf2f5a0072262358b794beb","datavalue":{"value":{"entity-type":"item","numeric-id":5821420,"id":"Q5821420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$DC99BC5E-545E-4CE9-9F32-49952CD1A36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77adf76210e4d3672cf776c66381565952566c99","datavalue":{"value":{"entity-type":"item","numeric-id":3249762,"id":"Q3249762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$E70E703E-17C3-42A5-8038-1B4C6D88EFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a606328f86a01a097b1385283c6e8d5b974854","datavalue":{"value":{"entity-type":"item","numeric-id":2640589,"id":"Q2640589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$CE7412FE-E62F-41F1-AEA4-F310C6A47E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de01c9c16c3ab54fa1471085f52467b0e466d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4497600,"id":"Q4497600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$BA8059ED-8F88-4B4D-AD6B-075F432E417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a132f3648b3c376c206ec711e7d21abcfd44a39a","datavalue":{"value":{"entity-type":"item","numeric-id":2776065,"id":"Q2776065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$0A8EC99E-42AB-4629-9FB8-ECC2F617C8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e74281b4fc2275e559f91f3c4723880845ce829","datavalue":{"value":{"entity-type":"item","numeric-id":2522269,"id":"Q2522269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$30E22FA5-9C3A-4B3F-BFF4-EC266D73A0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$A0B989C8-76DA-458E-8DBE-B6AB813D3EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$97EF592C-5AA4-43F1-A2AF-BD3A5E3F183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$4BDF2632-CC40-40CD-AAB9-B7D3BCCFA360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab358f33fda714869cb11e9e36ba6d88b40d82ce","datavalue":{"value":{"entity-type":"item","numeric-id":2426732,"id":"Q2426732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$4ED68089-310C-4C8F-A054-AF7319046E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$C5FD4146-C6C6-4852-B9A7-BF23743DE861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2946f9210b56cf40c78bc7c781e28832ee6caf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5541301,"id":"Q5541301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$8CDE8162-99B4-4489-A40A-40E58F67B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a13b7ace3909765e8f24655249e7c09e017a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5523668,"id":"Q5523668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$42CEF24A-F8C9-475D-9DDC-418B749FBC88","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":"Q2259008$42DEF7FF-6EB2-49F3-BC60-EB88BC8986AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c5b54f92874d9afc5a5317193d2545b6af04c","datavalue":{"value":{"entity-type":"item","numeric-id":487555,"id":"Q487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$29E1288C-86E0-4FD2-8EE4-0E5A1E375793","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":"Q2259008$0078F48E-A444-4565-BF15-E84BC4AE206B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c184dd6d98ab919424ff261c66d8446cc64a28c1","datavalue":{"value":{"entity-type":"item","numeric-id":4192055,"id":"Q4192055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$C0206DD0-3042-4D79-B1DE-470EABD45FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3393555e09c83cc82c0808031ceb398cbea5fe1","datavalue":{"value":{"entity-type":"item","numeric-id":3293391,"id":"Q3293391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$3E27D20F-68D8-463A-A583-63D7F297ED11","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":"Q2259008$FE2EDAD5-4999-453A-9686-083212CA06D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1174355053c8b8114ec150c390e33a5623fb52","datavalue":{"value":{"entity-type":"item","numeric-id":5827956,"id":"Q5827956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$16EBA6E3-E073-4345-958D-E7362C78FAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$8DFA426B-474D-42DE-887E-60FACDFD3A0B","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":"Q2259008$77C6EADF-D8E7-4197-9D68-855BD2FEB10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0875aa1a95c9b83c4f38fc2058fc836f0c3de42","datavalue":{"value":{"entity-type":"item","numeric-id":2259011,"id":"Q2259011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$B254DB2F-DC73-4966-9D47-351ACD63D950","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":"Q2259008$24183426-790E-4065-827E-BCB6D0526F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff13f8ce31322a6d09188edcedc147aca3d62ef","datavalue":{"value":{"entity-type":"item","numeric-id":5635429,"id":"Q5635429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$69B28F58-0BAA-4A30-B4CC-FFFE01C6FB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f4d03228eef61fd6b0ce3ec7f32a669dd9f23c","datavalue":{"value":{"entity-type":"item","numeric-id":3924172,"id":"Q3924172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$5945EF37-A3DA-4551-9429-E702FF6EEC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e74b4234b7589a854f4c9cae8fb28ca52c5393","datavalue":{"value":{"entity-type":"item","numeric-id":1258298,"id":"Q1258298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259008$4D1F9217-BA26-4659-8C6A-2AA3A8BA92F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061f59c34956d4f8705ad7d6e3b919aef9271412","datavalue":{"value":"10.1007/S11225-014-9564-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259008$FEA22E12-D2A1-4899-898A-BF249B31C969","rank":"normal"}],"P1643":[{"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":"78a5279f8529d524bf7a9e1d0a2c5ebe6e366bf8","datavalue":{"value":{"amount":"+0.7863534688949585","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":"Q2259008$BB11038D-123F-422C-BEBF-A26382F3AB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d63ab0e9e74aaf2006e3568bc12b7fdea14697","datavalue":{"value":{"entity-type":"item","numeric-id":4608555,"id":"Q4608555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5feca5b4eea0eaafa178e41252f86a104ed72d20","datavalue":{"value":{"amount":"+0.7788097858428955","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":"Q2259008$FD99F9D6-BF9E-41C1-900C-17DDFF3F08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c66effdfb572f89746c0e0dd70f3bfa67d60f7","datavalue":{"value":{"entity-type":"item","numeric-id":2702282,"id":"Q2702282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0cdc7f9a069e13370d4bbdcea7c37070e27a1a","datavalue":{"value":{"amount":"+0.7733569741249084","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":"Q2259008$BC0E5DA8-EA85-48C9-B7E3-3617598DA50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257484738ef736276640e2464ffa7accd4132102","datavalue":{"value":{"entity-type":"item","numeric-id":2259009,"id":"Q2259009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda75ccabe53ff20dfac90b3eceeeab33818aeee","datavalue":{"value":{"amount":"+0.7708622217178345","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":"Q2259008$7CA14C2D-72B4-4299-BABA-8B7B8B5A8C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bff0c26f3c65c63f53abeabb3ec84f4090ddf1","datavalue":{"value":{"entity-type":"item","numeric-id":1104317,"id":"Q1104317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9dfe091c4b2fd8e50f7189a5db4b6e3c727028","datavalue":{"value":{"amount":"+0.7699951529502869","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":"Q2259008$FD5664C7-389C-44F9-AF1D-9AD5B12B05ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen and Ja\u015bkowski natural deduction: fundamentally similar but importantly different","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen_and_Ja%C5%9Bkowski_natural_deduction:_fundamentally_similar_but_importantly_different"}}}}}