{"entities":{"Q4577998":{"pageid":6607585,"ns":120,"title":"Item:Q4577998","lastrevid":47908561,"modified":"2026-01-03T01:36:32Z","type":"item","id":"Q4577998","labels":{"en":{"language":"en","value":"AN ANALYSIS OF THE RULES OF GENTZEN\u2019S<b><i>NJ</i></b>AND<b><i>LJ</i></b>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6914166"}},"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":"Q4577998$98AB937B-83B8-4580-86E8-481FF233D62A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b051bea9535e6c59b2d284f3011e9d828a193ab","datavalue":{"value":{"text":"AN ANALYSIS OF THE RULES OF GENTZEN\u2019S<b><i>NJ</i></b>AND<b><i>LJ</i></b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4577998$40648477-7225-4646-B18E-32E5CE055D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e8e2e0039150c1fad9f23ee31c01b0aff79c9d0","datavalue":{"value":"1506.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577998$C4E05F2C-2AA3-4239-9EF2-0877CABB7A79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0771ba4d223a0086d1a3c5b778a8d941e42c2f6","datavalue":{"value":"10.1017/S1755020318000102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577998$971E3060-3784-4581-BB45-C9FF64834D09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$AD6AB64D-E404-4291-BAC5-125D5AEF4750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$FFC536D1-4767-49C8-9A8D-D1133E49A4B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89491f4edbbfbdaec325200478a08405f9ca4759","datavalue":{"value":{"time":"+2018-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4577998$28ED30F2-257F-45B7-9286-9615ED06AC15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577998$2769A3EC-9A8C-4DB6-AAC0-052B139BA0AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c45d361a0a041ab6eb45938b43692a2171cc895","datavalue":{"value":"6914166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577998$F25D1F80-115B-47FF-8E56-E251CFF792F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577998$61DE9241-918E-4D65-B925-C95CC5CDE89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c3de2f79aa44b98e74bebfd1943a49545e800f","datavalue":{"value":"natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577998$0E0E3A70-0DDB-476F-910A-4ED98A355394","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$BD2CCBB2-AA76-4721-869B-2248F8D5F0A4","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":"Q4577998$5971C320-7DBB-4597-B79C-D2E45EFA8C00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75d127aa05b9f9294d3d955a9552932e28c28c7","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$0466DC86-3037-46EE-A215-7A5C19C1539F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f063022c7a87fd396eb7925319f1228c174422c","datavalue":{"value":{"entity-type":"item","numeric-id":818516,"id":"Q818516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$B0992353-48BB-4629-9C4D-07FBE796CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e409d04ae616f7d079694aacd884cde7f6c8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$7EEEB075-FDF9-4C6D-B7FB-15625ABA9975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$87494164-AA64-47C3-A7CA-ACEB0374E96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$AF42559A-E655-4DF4-86F0-FC18A9B71FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$24B9C0C6-9F92-4967-93DF-2F677003A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$AD0EFF86-C193-46B7-9B54-D6D21F917DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$724F83E3-C639-4A06-9C27-3834F9189615","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":"Q4577998$F4AD87BA-E5CC-4BFD-AEF9-67C6BBDEDA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$C0744945-2024-45BC-8D62-56BA3AE1D146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec600da85d43fdf6e3a8cb4556c7bef1b8b1c9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3005996,"id":"Q3005996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$5E067EDF-9087-404F-B264-75B8FBB2B99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$45CE1457-2ECE-4591-A577-E85435A65F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$210B4B7B-734A-4CFE-ACA2-18DB7996A6E2","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":"Q4577998$4BA09E1C-9FEC-4250-8E34-12B59FDDB298","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":"Q4577998$32AE347B-8515-434D-BB02-4DF85B931C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d60400ae1230d8a8afb8a42ea97caa8d1a90b5","datavalue":{"value":{"entity-type":"item","numeric-id":5251185,"id":"Q5251185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$EA9C885F-4FEF-4820-BDDD-57C703A8E6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577998$FCE6F5BF-6202-4830-BEEF-2B7FAD5A5A69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1d4d7f24ca9b2dfdb768d28a2a211af6dca783","datavalue":{"value":"https://doi.org/10.1017/s1755020318000102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4577998$B09031F0-9583-4005-BA34-CA8DDCF3700E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c23f0111c8585400faaf224c9db82d3ab62a97f","datavalue":{"value":"W2806412435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577998$A468E573-19BB-4C05-A867-56665C375D02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887ec7b6ac1cef29929c92c7075aa3c24407e426","datavalue":{"value":{"entity-type":"item","numeric-id":317326,"id":"Q317326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97955192418dbb985a1ddb66c1f68f6499024e2","datavalue":{"value":{"amount":"+0.7333008050918579","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":"Q4577998$8D8AF513-D3E1-4559-A4F8-8FE65235F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f8e48e635a1b0cf914752375bd3536f596de9","datavalue":{"value":{"entity-type":"item","numeric-id":5255742,"id":"Q5255742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771c95a2daf8600fa8f155354b8a7493d271601b","datavalue":{"value":{"amount":"+0.7212637066841125","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":"Q4577998$E4AB12F5-7BD4-4116-AD1F-51329603B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134d35e2ef8f010363bf3801dca59085a8f8c5d0","datavalue":{"value":{"entity-type":"item","numeric-id":1208242,"id":"Q1208242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0823b54cb7beb926d5d8015526b858e8717bb149","datavalue":{"value":{"amount":"+0.7051375508308411","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":"Q4577998$A901189A-346A-40E2-8A9D-12DC6E1F6791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b1c737cf4850aad8dfa036c262d212981b41da","datavalue":{"value":{"entity-type":"item","numeric-id":680308,"id":"Q680308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7a020683bd0e60a559a07d9071f36320890d9e","datavalue":{"value":{"amount":"+0.7012824416160583","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":"Q4577998$3BDBB139-0761-478F-964E-BB51D7AB3F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bb6036180e6c73e4ec4fa86fcea21af2ada379","datavalue":{"value":{"entity-type":"item","numeric-id":2689175,"id":"Q2689175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f60272889ce915f53af39527401fb6a3bdb1db1","datavalue":{"value":{"amount":"+0.6996498107910156","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":"Q4577998$5C1E9894-15F4-478B-93DC-C9EEA21BF7C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4577998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4577998"}}}}}