{"entities":{"Q1129266":{"pageid":1140015,"ns":120,"title":"Item:Q1129266","lastrevid":69707310,"modified":"2026-04-13T08:51:37Z","type":"item","id":"Q1129266","labels":{"en":{"language":"en","value":"Combinatory weak reduction in lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190305"}},"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":"Q1129266$08540656-3647-40EB-A249-F435A4E277B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"366b09e861b31dfddb0fbc29dfc7694247f5d645","datavalue":{"value":{"text":"Combinatory weak reduction in lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129266$48A6D0B8-AAD2-4E3B-A814-ED0F8C72DF39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0a914683ea97c0a9e29149a03c13858fcd4409","datavalue":{"value":"0902.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129266$52B66430-720B-4E33-815F-4A1B107216BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9516d80b11de6a48ece33ee21a35e4d73490a09e","datavalue":{"value":"10.1016/S0304-3975(97)00250-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129266$A07ED8DC-AA10-4D81-A6ED-490380237376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4715195926e2963dd021320bc2ac15ee05ecc606","datavalue":{"value":{"entity-type":"item","numeric-id":787127,"id":"Q787127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$6F84C46D-D52F-4C12-8F31-972D06C2C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245ba45e482a42d5f8cec95b5d07fca83b29a39a","datavalue":{"value":{"entity-type":"item","numeric-id":604020,"id":"Q604020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$0FE81A95-BEE3-4B05-AC6E-980A3ADBEC61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$5D4971BE-7146-4602-817F-3E568A4DC88F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129266$7FCB8FCA-B76A-4052-AE99-A49A3EF32E55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129266$E5AF1627-AEB0-4508-BE1F-C1754A819EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129266$9EEA2C25-D5D3-4677-AD0F-3F1B9C041FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0490fcc6bbe084e39e78b8ed421d5343368a20cf","datavalue":{"value":"1190305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129266$CFD740DB-2BBF-42C1-8FE8-58F4B0F90A62","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":"Q1129266$CCA76CEA-706B-4FE7-B699-7EBD8080D63C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47564e1f9cb633c1e7d184319745c9bfacb30882","datavalue":{"value":{"entity-type":"item","numeric-id":3024896,"id":"Q3024896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$F1A2EF0D-3076-4E66-8B05-FB3E03631329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$4DA35CF1-1785-45BA-B07C-E118D0639F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aba331888ed53a4ed165af95f5e9757382bf85","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$F37FB093-C442-4EB5-8B4E-AD7ED3DDE71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfa03243a2054bd4f235a087a94a4a53de67e38","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$4BDF17FF-DE70-49F5-9A15-AB23B3F35DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8da94acaf95b26157aa8db77f1b3b250a394510","datavalue":{"value":{"entity-type":"item","numeric-id":4133942,"id":"Q4133942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$143879D1-B2C6-4C4A-BF92-466CFAEDB61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$8C516CBE-3A6E-4089-906A-0BB14AAD02A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197f75f5cd86020e5cc4ef15f910d8be341c9f00","datavalue":{"value":{"entity-type":"item","numeric-id":5606582,"id":"Q5606582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$C6B6EC7B-B3A7-4E4B-A84A-CC7331D15E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90115fec3c9dd38731bc75a59a44443e7647739","datavalue":{"value":{"entity-type":"item","numeric-id":4281473,"id":"Q4281473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$AB93D2DB-87B7-400A-8EEB-AB19E9EE3EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed138952982a62388f0fda5a038b4768362c7e47","datavalue":{"value":{"entity-type":"item","numeric-id":2645029,"id":"Q2645029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129266$FC0C0BBE-5E2E-4169-8372-D834E3CC4320","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf2fab5b363b105785b75a93ff3c3004c472786","datavalue":{"value":{"entity-type":"item","numeric-id":654911,"id":"Q654911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e859a99323c1c90d37612bd471501a62075131a6","datavalue":{"value":{"amount":"+0.8198803067207336","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":"Q1129266$EE572D40-69F7-4AD2-A877-832C00F3E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e22e54c2fbb72df03ed2257fd333baa5d4bc5ee","datavalue":{"value":{"amount":"+0.770600438117981","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":"Q1129266$9FA0C3AC-10BC-409C-B3FD-D9A5F119D684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e645b4fc143e6d59cd81536c990893167501f86f","datavalue":{"value":{"amount":"+0.7623753547668457","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":"Q1129266$4160A248-5094-425C-8509-65F0AB490689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158d32ad21d2d10e0e2e9d996e9272c8ea060da8","datavalue":{"value":{"entity-type":"item","numeric-id":3988401,"id":"Q3988401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37a24c06c63b96331eca401f2683326f01e08fb","datavalue":{"value":{"amount":"+0.7619526386260986","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":"Q1129266$99A128D8-31C4-45FC-B3C5-87B0FD16CF8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatory weak reduction in lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatory_weak_reduction_in_lambda_calculus"}}}}}