{"entities":{"Q5532528":{"pageid":7562088,"ns":120,"title":"Item:Q5532528","lastrevid":96718148,"modified":"2026-06-05T12:18:37Z","type":"item","id":"Q5532528","labels":{"en":{"language":"en","value":"Axioms for strong reduction in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3245442"}},"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":"Q5532528$72B101DE-DD93-48A1-980B-EB7E5F8CE49E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a5130dce0bdd030c2ef9a6a4c898fab6e012f9","datavalue":{"value":{"text":"Axioms for strong reduction in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5532528$A01DFAA0-2C35-4C79-917E-8AF3C5F37844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d3aa27ed94a3d05c03a27f3c0e6fe67c86d81a5","datavalue":{"value":"0153.00603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532528$EE617C8B-BF2C-4DB1-9BE3-9BDE0E739F2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506bc81965d561d4f0b7fc8554d5e051c1eac2ab","datavalue":{"value":"10.2307/2271660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532528$12EAE88E-6313-4CB3-B39F-B5CDA60FE24E","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":"Q5532528$AFD113E5-0D8A-4764-9C20-00B94F7184AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5532528$F7367C35-2401-4319-BEBC-6DB33ACAF776","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85dd25bd21d381fa09929afb2a17f85642a136a1","datavalue":{"value":"3245442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532528$053D0584-0CA4-44D6-A8B1-24FEC9225FEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5532528$C51D7EEE-EFC1-4823-BD5E-A177EA1C0830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b94e5145912d87d2d80056670122ccbbb4d420","datavalue":{"value":{"entity-type":"item","numeric-id":1839241,"id":"Q1839241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5532528$45F449F1-C561-449B-9D9A-9E7B838FDA86","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":"Q5532528$C1CBF56F-23AE-4905-9BFF-95C8823B4493","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20553af137bf16419f05768e1d0e5eff2e86d6f9","datavalue":{"value":"https://doi.org/10.2307/2271660","type":"string"},"datatype":"url"},"type":"statement","id":"Q5532528$A2003460-22F7-476B-82D0-AABAE390EEB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91b79ecf8f6263877e3b05f3c3ab97ba748a5cb4","datavalue":{"value":"W2122498270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532528$863E6887-B5AF-4014-BC61-FDB51569CF6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1cda23a9ef9ef982010dd2d55b0b0a92156c0cde","datavalue":{"value":"Q114589119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5532528$F3DEF94F-394A-4AED-96F6-6C9300190E07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201ae9d8935cabb012c84f4af38b1beb79f23c2","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5532528$29C12178-8890-4F4D-98EF-3C6C78C20603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for strong reduction in combinatory logic","badges":[]}}}}}