{"entities":{"Q4879907":{"pageid":6909486,"ns":120,"title":"Item:Q4879907","lastrevid":46380711,"modified":"2025-12-24T16:24:52Z","type":"item","id":"Q4879907","labels":{"en":{"language":"en","value":"The proofs of <i>\u03b1</i> \u2192 <i>\u03b1</i> in <i>P</i> \u2013 <i>W</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883465"}},"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":"Q4879907$BC699946-6ABC-4807-8BCD-E2F0701AE390","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa798e89f94515669d220b8e1fe3c7f445087241","datavalue":{"value":{"text":"The proofs of <i>\u03b1</i> \u2192 <i>\u03b1</i> in <i>P</i> \u2013 <i>W</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879907$8F9173A4-2278-4DD2-BA63-B12914E8B5C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43450b8cdef6381962216c8a816db8d6bb1addd5","datavalue":{"value":"0853.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$92ED5182-423D-44EB-BD2F-981A51F90FE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a66c243d462201aa64b692fac233fcc93abc64","datavalue":{"value":"10.2307/2275604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$E6136E45-9795-4E8B-B10F-CD1719B3AC77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$27CC37D6-5C32-487D-8925-9E49E4C8C0B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$711B9DDE-7038-45F0-9CEE-E06BD2E7240C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b708c1ef123d2022be1d9c45e421bc9f0d502ad0","datavalue":{"value":{"time":"+1996-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879907$981681AF-2ECA-45C4-9C31-C29C06CA5721","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$DEB68AED-CDAD-4FA2-B1BD-F3D024B61F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$C0475949-86D0-4767-924B-282E114DEC7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acbb7e6f120f16a646bef7108e8281f5b10f210e","datavalue":{"value":"883465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$F92E98F5-8F52-47DE-919B-31A12C339DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee2421340389380f3e3560fc69a63ae89d08377b","datavalue":{"value":"\\(P - W\\) problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879907$5A77FFFA-231B-4D73-8406-6109AD3E4575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8945f69b25d4b236095d4895447023540b5eda38","datavalue":{"value":"implicational logic \\(P - W\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879907$10856E2D-33A3-4CCE-94B2-0D9DA3DA2950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a2e6905f35e38cf28a74c2fd077a92c8b762cb","datavalue":{"value":"natural deduction-style proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879907$438535A1-9A49-4E43-BCC5-67D55E551890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a491f91a24c32aa5a5aad093a3f854c6b8d475fe","datavalue":{"value":"hereditary right maximal linear lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879907$18883BB1-355F-401B-AAEB-2232A2BFB99A","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":"Q4879907$3793848D-254A-4F6D-84E4-4C4F628AF9F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ec3c81c0a70297aa731498b77e03e1d2e3ddd3d","datavalue":{"value":"https://doi.org/10.2307/2275604","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879907$39F74FEB-1543-4269-83C9-1610CDE0BC71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11256bb677ea15d876b4ac74617e93d09b466cad","datavalue":{"value":"W2579272254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879907$833FCF0E-8C85-4BE4-A615-EB51F6FAAD79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d200aa475432d92cf0a3f614d470d87c0e4c91","datavalue":{"value":{"entity-type":"item","numeric-id":1242896,"id":"Q1242896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$00BF9407-3035-4DBA-9167-D51E0997C07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc31a9f01623662fcd1d5e33286024595c35768","datavalue":{"value":{"entity-type":"item","numeric-id":4113803,"id":"Q4113803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$46963A57-33C7-4E90-8AEA-F25540D50CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2fbea673f26662d71cd92284ddfb47328cf19c","datavalue":{"value":{"entity-type":"item","numeric-id":1346635,"id":"Q1346635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$13E560BC-B493-4920-B15F-F466C1BCFD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879907$5F301039-350E-430B-B995-6B2BEF04735F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8b1b4f2a849203410afaf6111715780790c37c","datavalue":{"value":{"entity-type":"item","numeric-id":2710612,"id":"Q2710612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272a89b3ee7e64e7cdf2c30847e37f179019b2e5","datavalue":{"value":{"amount":"+0.8753994107246399","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":"Q4879907$2F803519-D388-4A12-96B2-A813FA496175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128fd210ea8cee66643d71d4be78b5fc1f6d652e","datavalue":{"value":{"entity-type":"item","numeric-id":812102,"id":"Q812102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88dcb658111d3c6b4f22a10f4882eed88c2e3cbc","datavalue":{"value":{"amount":"+0.7537503242492676","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":"Q4879907$194A630D-3EC9-473B-B41A-EDD95386EAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808363178f3eadbc3f628120867f7da69424ca42","datavalue":{"value":{"entity-type":"item","numeric-id":1349878,"id":"Q1349878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b69cf33b26c5ed98f88df741c8c9f8f48eab49","datavalue":{"value":{"amount":"+0.7497568726539612","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":"Q4879907$17FD432C-FE41-467B-B459-FD5A0839AF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad98dadb20f9e2d0ee31da95f72ae796333f8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1049689,"id":"Q1049689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df22107cae523bd5b1303cfae2043f940326c13","datavalue":{"value":{"amount":"+0.7143769860267639","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":"Q4879907$494D76EF-0299-4C25-B8C6-1CA047E84030","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879907"}}}}}