{"entities":{"Q6572539":{"pageid":14183694,"ns":120,"title":"Item:Q6572539","lastrevid":95765300,"modified":"2026-06-05T09:43:47Z","type":"item","id":"Q6572539","labels":{"en":{"language":"en","value":"The zoo of lambda-calculus reduction strategies, and Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881120"}},"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":"Q6572539$B4219FD9-8657-40B6-952D-AFECD40E6D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63e71861f0d85616b68d67592c0f646066dc5c67","datavalue":{"value":{"text":"The zoo of lambda-calculus reduction strategies, and Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572539$8DDC1797-234F-4754-AED3-926B5F4FB781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572539$BDB51468-157F-49EB-8175-704421AC89B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572539$3D3A442F-F942-4500-8D94-485BE8F5FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"921d394640f4867b2e687fd3bcff8d0f7f791aef","datavalue":{"value":{"entity-type":"item","numeric-id":2038077,"id":"Q2038077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572539$06F9B03C-3178-4D6C-AF90-CE872B363413","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572539$56472F63-2937-4D43-848B-0A0832489CFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572539$B617BE2D-9D59-40E1-82D9-44B69A25E467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d46767726d575c7b3ba3a45672925b223102997","datavalue":{"value":"7881120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572539$E44DC007-F95F-409A-8B2E-787EA4233578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572539$025D2DC5-DF6E-475D-9CE3-57F844CA16AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572539$E5EABC1D-092E-4430-916D-1EE356E56796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572539$41AD6209-2DBC-43EA-9D0B-E29285BE4718","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":"Q6572539$70F085A7-CA6D-4E7D-9E08-1CEAA5C5341C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f40330c0cf836a7b83aef35bd1c4f78f9b2a8be","datavalue":{"value":"10.4230/LIPICS.ITP.2022.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572539$322F536B-5D35-4F0D-9822-68A75A4C0346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The zoo of lambda-calculus reduction strategies, and Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_zoo_of_lambda-calculus_reduction_strategies,_and_Coq"}}}}}