{"entities":{"Q4916060":{"pageid":6945641,"ns":120,"title":"Item:Q4916060","lastrevid":51697745,"modified":"2026-01-19T13:13:45Z","type":"item","id":"Q4916060","labels":{"en":{"language":"en","value":"Proof pearl: Abella formalization of \\(\\lambda \\)-calculus cube property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155875"}},"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":"Q4916060$97510034-6ACE-4500-956E-AE4CC08C0F66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ab1558a5604f86f1bd748aff690ae49a06b62f1","datavalue":{"value":{"text":"Proof Pearl: Abella Formalization of \u03bb-Calculus Cube Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916060$0B3F172E-A824-4746-9863-08F4FF3BF4D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dea5750ecf45e5a11f0162ec28dcd849b3829334","datavalue":{"value":"1385.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$CB10D4C0-6D76-4363-A7A2-BC86A98DF5D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9c8d88b13bc4d6fa03f32cdf329e0b756d2d561","datavalue":{"value":"10.1007/978-3-642-35308-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$774F722C-E899-4DD6-9B91-8B2B3AD055ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$D82C3BA6-81C8-4969-84B0-E8A494A4BB1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$4E77EBD1-D46A-4C68-A0BF-E37951A0A6C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916060$9A2ACB61-8E1B-4D8A-8891-70DD7A126E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$EC167A95-9C8F-4012-B2A8-B10CDBF22854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$C2AF11D5-6CF6-43BF-B576-609DF675233C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3485187fdd246d389c197b055aa5b2838a3b399d","datavalue":{"value":"6155875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$CFD9BF2F-1965-4549-805F-6D2076D53BC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$09DE348B-3B9D-48E2-A832-C248C67BDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$048D6A63-E478-4D6A-9B39-46F81D09077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$7AA2CBE4-E5D5-4216-9179-FC2B75EADA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$EBADEB32-7773-4B4E-AF19-150BCF08104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$6616745F-40AD-4DA5-90BD-FAF62EC386CC","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":"Q4916060$C25AA8D0-7D9B-4ABE-BDF0-3B22860BBEE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52767051fcfa401b3cd8c8517a27d0d080b9404a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916060$BFAF044C-CE14-40A5-8387-CFC2D6E179D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c24849087b546433c127586e88552bae46351298","datavalue":{"value":"W2110359479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916060$FB4D346F-F029-443C-B26C-33555697C4A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea84eb24d2bab74831d30a1afff94ea8fad8cbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2804937,"id":"Q2804937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$2E765E26-D298-4DB8-BEA1-54FAC470E1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$D2206A0C-5585-4507-8FA2-EBB5D0EEAFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$3A1EA884-41AC-4F05-B152-6679417E987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$A09C157B-A8E2-4067-BEB2-3D99AB098C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$0A14251A-D769-4ED6-B784-C893534B64A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f561e03eada0310062330e19abf990ad3b984","datavalue":{"value":{"entity-type":"item","numeric-id":2804943,"id":"Q2804943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$D80390E3-05ED-42CD-AEBC-4E944071DBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$212C7FE0-F053-474B-9CE8-291173EAEFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$47A9A53B-A518-4F5B-AE1B-88E5438FF95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ae0bcca32afeb71ee6c7bc31c921416246b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":1608893,"id":"Q1608893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$C8778636-8C90-4795-AAFC-D4463E58D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$7EEF9C08-09BD-4F11-970B-3113BD9E60B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$46CA1146-5552-4A23-BA49-3F9015B960BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6f2a16499c24961a39897c344c5cf75313281","datavalue":{"value":{"entity-type":"item","numeric-id":4808736,"id":"Q4808736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$7286E3B2-EE40-4D8D-85F6-4286DA16B298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$C1789DB1-AE0A-4847-B634-07850F300195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$9CD6A93A-DA6A-4BF5-BD2E-2C8F8D19FC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f05590363ba27ca99093d42bf66b8508e2fe06","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$680D033C-8C74-49E9-9156-57EA76FB8CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$9118A9D6-E8DB-4138-BA4A-565CE4710D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$42B7831B-8181-4284-851F-7856F7103405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916060$806F2648-6B64-4BA4-85E6-3D0EE29D0D07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38634bd0c31460b1a33436b810a1cd6dd774560b","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4518dab07fab0386d00bfb716c85f96dbab694c5","datavalue":{"value":{"amount":"+0.7998543977737427","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":"Q4916060$8A17302C-AA0C-4159-BC96-ABD0AD86AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8981901febcd7accd965714d3a1f4b9b8c7219","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c52ccd385a4cbb73c4b58fa8a43eb733be997b2","datavalue":{"value":{"amount":"+0.7973642349243164","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":"Q4916060$C03C62D4-987E-4B2A-91DC-68E19248F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33503c969af746f93c29b2fc917a0814236eee25","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe6010271743c431642be5a868126ae963a3f60","datavalue":{"value":{"amount":"+0.7823441028594971","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":"Q4916060$BFF29169-5D82-408A-A8FD-4CFBB25680D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27d79a293ed3f992a959f0300b12aa6b0b7c2257","datavalue":{"value":{"entity-type":"item","numeric-id":5178966,"id":"Q5178966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ce43f13bba5c720452361df4fb0ed4ade0c4f2","datavalue":{"value":{"amount":"+0.7501161098480225","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":"Q4916060$B6F4D684-03A6-49A6-96E6-DAD788EDDD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244a676bf7cfcfafbc5017e34647f47fa176d85c","datavalue":{"value":{"entity-type":"item","numeric-id":2841232,"id":"Q2841232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01de14e84192495235ea7e86a101a47d49b8a0ec","datavalue":{"value":{"amount":"+0.7456015944480896","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":"Q4916060$17017142-0A26-4092-B1B2-D29A6985DCB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916060"}}}}}