{"entities":{"Q3365535":{"pageid":3376239,"ns":120,"title":"Item:Q3365535","lastrevid":49769590,"modified":"2026-01-10T13:21:52Z","type":"item","id":"Q3365535","labels":{"en":{"language":"en","value":"A schematic proof of strong normalization for the system of the \\(\\lambda\\)-cube"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000312"}},"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":"Q3365535$5D6B9244-ED2C-4A2C-934D-34AE9C5A75D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe3fa519353d37ae4839fef0339638006ab6d275","datavalue":{"value":"1079.03528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365535$CF7A61AB-352D-4436-BF0A-32A8D643CD6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2fe8282ad67af070eff4199d574efbca126d921","datavalue":{"value":{"entity-type":"item","numeric-id":3170563,"id":"Q3170563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3365535$B30CC223-6A30-443E-AD5A-1C3C63ED15AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3365535$D1891B5A-1061-466A-AE51-246966658465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365535$1238AC1B-C35D-489C-B0B5-79BE9113F246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01055e869f15f5971de0dca9849332e5b64b9388","datavalue":{"value":"5000312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3365535$37C94EB8-7BF6-471D-BCDD-CAE38BB45406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365535$AFB5E354-116E-4D4F-AE95-49EE862EAA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365535$CEE58525-C0EF-43C8-A62D-CB9A03988A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3365535$548CF098-24A1-4875-84D9-ED10FE5E4234","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":"Q3365535$88CE2FBD-32E9-4357-98B2-F38D6EC7BDBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95e07e2d8e12695aca698edae5894ce5251eebd","datavalue":{"value":{"amount":"+0.8250707983970642","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":"Q3365535$3D3C3CB6-D727-4574-B78B-CA2223FF5285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e0fc5f0014bdd6c8e8417e372280fe791b4099","datavalue":{"value":{"entity-type":"item","numeric-id":1891251,"id":"Q1891251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8473972a21bb097f698685fa4182245529c55e8","datavalue":{"value":{"amount":"+0.8218324184417725","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":"Q3365535$28C2CE13-8F41-4B15-8787-B3428E11A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b84e7ec6d03c14228d6ecf6a5fcac07ec6fee4","datavalue":{"value":{"entity-type":"item","numeric-id":4246950,"id":"Q4246950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f62191e0e481fc41d7c818c06fe2e8bac21c29","datavalue":{"value":{"amount":"+0.8178912401199341","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":"Q3365535$122434C7-5D1F-46AD-82E7-D254033C09CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3875f403b11085d93e93c37708615b115779650d","datavalue":{"value":{"amount":"+0.8163242936134338","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":"Q3365535$26292CB5-CA9C-44B2-A849-FAA637641114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d7d86e2d29f1ea565381328a579c7fb02cf347","datavalue":{"value":{"amount":"+0.8138487935066223","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":"Q3365535$61D11853-96A7-48ED-862D-534CC3E56180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3365535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3365535"}}}}}