{"entities":{"Q4596793":{"pageid":6626378,"ns":120,"title":"Item:Q4596793","lastrevid":58301415,"modified":"2026-04-04T15:29:44Z","type":"item","id":"Q4596793","labels":{"en":{"language":"en","value":"Statman's hierarchy theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816935"}},"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":"Q4596793$1FB9C462-B964-4B6B-AA50-D0D3E9971B2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0599095c5e3222a14827026b2f240a33a42003a","datavalue":{"value":"1461.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596793$A503A256-3A81-4E93-8B30-5B6188D577F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e243de8bc981bfa11cf1c4bf7aef6d15d54002a","datavalue":{"value":"10.23638/LMCS-13(4:19)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596793$B0D93025-E5F1-46EB-87BA-108AF8FBAEFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"808b2dbe4ac84ccd5a23819c8cca84022295df4c","datavalue":{"value":{"entity-type":"item","numeric-id":2848954,"id":"Q2848954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$615168C2-8419-4BFD-A58F-1C35D788F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a80e8e483292563eabfef8bb460da26ccca6f1","datavalue":{"value":{"entity-type":"item","numeric-id":1670502,"id":"Q1670502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$4D44985B-C6BE-407A-A7E5-4445C763A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d88debce42ef8e4a29754bbee78fa1af5bf088","datavalue":{"value":{"entity-type":"item","numeric-id":385808,"id":"Q385808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$C993352B-E0EC-496A-A806-584BA1551125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c3dc912c0528ffb5f06fac90bf98e301c7be23","datavalue":{"value":{"entity-type":"item","numeric-id":2843011,"id":"Q2843011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$CF7815A7-D8F3-40B0-92EF-FA5D4BF32326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"428422a0710588413b42c676bca684f640eb615c","datavalue":{"value":{"entity-type":"item","numeric-id":4596792,"id":"Q4596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$EFC7B151-2A30-4DFA-9C88-4F58A0DB70CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596793$1AB13ABC-A9AB-43D2-9E5A-2EF54DD0CBB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596793$7D5D80F2-ED12-4622-AC8E-260457A7017F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aa04c185b902382ed54b6f5a198ad970ada4630","datavalue":{"value":"https://arxiv.org/abs/1711.05497","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596793$7FBD3308-A316-41BE-935B-6A6CF37C3FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596793$0A843F74-0097-42CA-8F21-2E14B24ED34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596793$FEA0F89D-901D-464C-8EA6-3D60E8EC1D67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2c279e0e3e401ff85b5874a0fce1537ed39de8f","datavalue":{"value":"6816935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596793$F4DBEC43-4BE3-49BA-AB26-51E930CA6F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596793$C239DC0D-F454-4E09-9DE5-E751F29EF6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1d7d9b8376f9ef7255026e39f23b033d883845","datavalue":{"value":"head reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596793$6920BBD3-C7CD-4045-8B3B-CBBE17330C2A","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":"Q4596793$7092241A-10E5-4449-AB98-4BE57E02BE26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544f126f3acb0ddff92d948e9a57d81389ad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1104311,"id":"Q1104311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14f300a48e0e9a1399ed3b06018262f1e6c3bd4","datavalue":{"value":{"amount":"+0.8576847910881042","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":"Q4596793$7CE47EBB-380D-4359-B4FE-80486F96165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15aa220b93e84e099d06712df19be5193f3ff629","datavalue":{"value":{"entity-type":"item","numeric-id":1199546,"id":"Q1199546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7ad3fdaa8c068827199f7540d7a5ae740efbfa","datavalue":{"value":{"amount":"+0.7619861960411072","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":"Q4596793$C1F81E4C-41C2-4FDF-BB62-674E68F45392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7ad3fdaa8c068827199f7540d7a5ae740efbfa","datavalue":{"value":{"amount":"+0.7619861960411072","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":"Q4596793$60154AAE-4B5B-4D6E-BA64-2D15A2DB4F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78942b7ea60679f671a1298841ec7c566a704356","datavalue":{"value":{"entity-type":"item","numeric-id":3149663,"id":"Q3149663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d745bb1964695fe426f744bbd5c9b13b3aaf1f","datavalue":{"value":{"amount":"+0.7415013909339905","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":"Q4596793$B11C2A95-7AD5-4389-9182-6A1CD6F06CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9786710b6bc443c79f95fa3fa09fbbcf5ae1b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4625705,"id":"Q4625705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d745bb1964695fe426f744bbd5c9b13b3aaf1f","datavalue":{"value":{"amount":"+0.7415013909339905","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":"Q4596793$34E6105B-6508-4B26-9BD7-85452FB09288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596793","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596793"}}}}}