{"entities":{"Q2055843":{"pageid":2066585,"ns":120,"title":"Item:Q2055843","lastrevid":78549926,"modified":"2026-05-06T11:51:41Z","type":"item","id":"Q2055843","labels":{"en":{"language":"en","value":"Learning from \u0141ukasiewicz and Meredith: investigations into proof structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437072"}},"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":"Q2055843$37BA7E2A-A71C-424D-8342-2965CF4CAFEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cacf121deda0c8e0993f73a0b3beba912904811f","datavalue":{"value":{"text":"Learning from \u0141ukasiewicz and Meredith: investigations into proof structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055843$59C2F967-D817-44E1-925D-6CF469F2E90C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcb2acba1827b9d01ec6ede13a143bbd69251287","datavalue":{"value":"10.1007/978-3-030-79876-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055843$156947B9-87AE-435D-8E9F-11973FA1E840","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$50B01EA2-5BA7-4214-BA8C-81BEF95B17B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"244cbb0c7c29d260462be69c255a90e4965cd8bb","datavalue":{"value":{"entity-type":"item","numeric-id":287328,"id":"Q287328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$5A5D765C-AC00-4FC4-AD8D-AC40AB46C956","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055843$B53640AF-2AD6-4478-AB7F-AE0F60D03898","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8073e605165ab016ec6087f8ad12b9d272c3c95d","datavalue":{"value":"https://arxiv.org/abs/2104.13645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055843$5EFC37DA-0D0F-4083-870A-F487DEB7D51F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055843$E509723B-9280-483C-A670-E41A9B6D2B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055843$4A23EBCC-099D-4C93-8AA3-F7F5433FCF5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4a12fea6c3857eeaf65459ea82a33d6c6153e4b","datavalue":{"value":"7437072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055843$F0D25C1B-941B-4FCB-A06E-8548C0D151CE","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":"Q2055843$BA75D96B-048B-4BB9-9DBA-54A4C39BE2F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb296b6cc0cb8789c2ad3400f8c0edf29b8f37f1","datavalue":{"value":"W3157934215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055843$CC42BE43-C923-41FD-A3A4-D9837BE69E46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$79DCA8E6-18CE-4DA7-BA7D-C0DE02C9C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab794919a8997b9dd02f15a063b43764fcb62ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5013905,"id":"Q5013905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$05AEE58A-5AF3-461A-97DF-BD0FA16241DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79acf9b17435b27c12ac696235662f5ee3cce84b","datavalue":{"value":{"entity-type":"item","numeric-id":1903086,"id":"Q1903086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$6BBFCB9E-96AB-423D-BFD9-F251475A0A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad064fde7b4ac14829e7ebd920d2c935ccfa38","datavalue":{"value":{"entity-type":"item","numeric-id":3970984,"id":"Q3970984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$7EF240FF-E83A-444C-8FD5-A7383872A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$384F6EBE-2EF1-4155-A5B9-4BAD62F663E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$7E159565-1583-4E74-9DDA-6575859F4ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$DE93C581-46E5-4C15-94FA-E3DDA3CD48CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba7ff2f03d480f2964d796f3eb8740b9742375a","datavalue":{"value":{"entity-type":"item","numeric-id":2031418,"id":"Q2031418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$EB78347C-B3E8-46AE-9B2D-A422FC67CF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390c7a31b146c827c7d6ce8bb0eceb6c4c7348ac","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$676B4ACE-3A00-43AE-BA32-803B8020BCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd59f3b5cc711e02e1b8b90021028e3c7e8cbb4","datavalue":{"value":{"entity-type":"item","numeric-id":402115,"id":"Q402115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$1FF18DA4-4E3B-4C3C-B387-F04596A418CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$4FE28661-4861-4072-BDEE-1C40266DA821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$64C86FAC-E450-4D8A-8735-9695583A2420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2a467582e2ce551e8d6f09e937481123bd1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5049022,"id":"Q5049022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$EBC4B735-1FD3-453F-A613-C4262D77275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9843c8ee14c0643e458996a068684041675ad668","datavalue":{"value":{"entity-type":"item","numeric-id":1060210,"id":"Q1060210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$E45F8909-BFAC-4653-8ABC-913B69D15586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e34b363262782c04aadbb3eabac85f2bb66832b","datavalue":{"value":{"entity-type":"item","numeric-id":3451087,"id":"Q3451087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$A9AB3273-8030-4E34-B1A3-ADC6FDE8331C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f391fa2ea5fc8cc91eb10352d5e77651921466e","datavalue":{"value":{"entity-type":"item","numeric-id":5783647,"id":"Q5783647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$E1E9FDCA-02E7-4DC6-AD3B-83B593764B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$9A336400-69FD-4688-AB35-43875D799944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$ED1BBEF3-B1D3-4D77-9FEB-4F9671159E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$1D66E48F-DEBC-4242-8300-79EBDADEF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c995625a3d6ef326eb2c5f18f7cd9368736ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1237711,"id":"Q1237711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$C8CFE8B6-C67B-4D1D-B78D-6672575C7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80966f3319a135a191ea5f1e8358528b529500d","datavalue":{"value":{"entity-type":"item","numeric-id":3608796,"id":"Q3608796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$A9E8B722-AFAF-4097-B058-2F163D7AA1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2840089ac4965ae106b1e73040d27192e68174a","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$78BC9063-A394-423E-83EE-F080B9A05E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$BA8C1373-CA19-4C6F-AF25-C3F51DDD0F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$7F589827-5534-402F-82F3-E41027A29CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcd1b01f4f37b251cf46968ed5d8be28e5faf8d","datavalue":{"value":{"entity-type":"item","numeric-id":5951525,"id":"Q5951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$C31BF2C1-CBFD-4CAB-BBD4-8DE7AE657081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6f962299e14f2a0ddfc301166d14efc4e6b9af","datavalue":{"value":{"entity-type":"item","numeric-id":3305420,"id":"Q3305420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$4F8A9F02-912D-482B-B6B5-275B02A165AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01894cb4c186ca51ffd95e0ed24fd5ce8f5fda71","datavalue":{"value":{"entity-type":"item","numeric-id":5951526,"id":"Q5951526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$62455B71-923C-41B3-9DAA-EB3CE9A25B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4de644dc35e1237e68c5490590f837496960ea","datavalue":{"value":{"entity-type":"item","numeric-id":2055843,"id":"Q2055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$CC3E998F-81CF-4FF2-939F-66411B7E52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f518b506a2020973c95d779fe4901b4a5767fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":3066113,"id":"Q3066113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$761F4206-5A96-47A2-8080-DD886A0051A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63be331396b36d323bfc7cf3a6ba31d10a131670","datavalue":{"value":{"entity-type":"item","numeric-id":6488553,"id":"Q6488553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055843$55180050-16E9-4F2F-A12D-18BE2F9E582A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c115c87800ff78afacf69737fff282691b60e0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f45e397fb99b43910afb635ea1e3b4c3c5ad729","datavalue":{"value":{"amount":"+0.7407024502754211","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":"Q2055843$4DEC5515-CF09-4C62-A113-ED3A25F8E0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8476da4648dc0228d7d9a6f4cd404123e4ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":2726303,"id":"Q2726303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2977df41de9637e5bcd0ac61ba7952c51d4a34","datavalue":{"value":{"amount":"+0.7339276075363159","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":"Q2055843$4FE25BE0-8179-4349-B0ED-1A44AE5C1EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78c6fc18d2ca867bc6fbb3e23a38d31130b55bb","datavalue":{"value":{"entity-type":"item","numeric-id":4647545,"id":"Q4647545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b021a204f642fa14d29a1ed2d803200b5b361d17","datavalue":{"value":{"amount":"+0.7334818243980408","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":"Q2055843$0E9C8D51-2B43-4AAC-98B2-480731D647B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01e85958f56d06837ad98ed43d5a86c138f47a4","datavalue":{"value":{"amount":"+0.7305406928062439","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":"Q2055843$A2E87805-C238-44B4-A163-8614DE7F7D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef07c0875408a937673478611fa833455b2dcbd6","datavalue":{"value":{"entity-type":"item","numeric-id":6488543,"id":"Q6488543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d500d7e0ecb9c2149274e99ba6b502267e5748c","datavalue":{"value":{"amount":"+0.7168679237365723","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":"Q2055843$640527E1-63ED-4F69-B67B-C3C7EF10E41F","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":"Q2055843$92A02A92-C900-4CD8-929B-7146F0D45C39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning from \u0141ukasiewicz and Meredith: investigations into proof structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_from_%C5%81ukasiewicz_and_Meredith:_investigations_into_proof_structures"}}}}}