{"entities":{"Q792994":{"pageid":794842,"ns":120,"title":"Item:Q792994","lastrevid":64376928,"modified":"2026-04-11T19:27:04Z","type":"item","id":"Q792994","labels":{"en":{"language":"en","value":"Reduction graphs in the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855061"}},"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":"Q792994$B5EDD8D9-A4F3-473E-86DA-2B6FD297026C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9ef1d41707e85d10b4a5c3ca93e9a03e2c2454b","datavalue":{"value":{"text":"Reduction graphs in the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792994$F66524EF-3C63-4CB7-9F78-302355C50120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac418e080ad20c931399dda5a4df391a22eb7415","datavalue":{"value":"0538.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792994$1A83E237-EF86-4151-9339-4461AA3C07FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b796833a9bdd3ec560204fae154c34d5f7a21928","datavalue":{"value":"10.1016/0304-3975(84)90002-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792994$E7908E37-B799-4D3C-AE58-FA003F7A9065","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43082865ac286defa1400cfb80fbddfaad145b2","datavalue":{"value":{"entity-type":"item","numeric-id":792993,"id":"Q792993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$F7592A28-2683-4214-887D-2072B03C080A","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":"Q792994$C5D60960-B1A7-4AC3-B60B-7B2F164BB284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q792994$A9E48D12-88EF-49E7-BE16-94A1ED25D045","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76b194dfe5fbc1b45feec4ca4a4557370fe8e89b","datavalue":{"value":"The author studies some properties of the reduction graphs of lambda terms and she gives the characterization of some classes of reduction graphs. Condensed reduction graphs obtained by dividing out ''cyclic equivalence'' and spectra, i.e., the partially ordered set of all reductions, are also considered. Reductions to normal form and cofinal reductions are the most significant reductions. The spectrum is proved to be the completion of the condensed reduction graph.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792994$6193F40B-4D18-4CD7-B52E-45530CF9CBD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792994$45CC2CDF-891D-4F85-B8FA-F3C2B3BE2212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3b385054afa520598394ea3208c30cf90055d6","datavalue":{"value":"3855061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792994$394AB857-C029-4EB3-97ED-77EDA2AB13B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q792994$3B3EE696-98A3-4831-9270-D1A82247802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d67ca3248e6932b3e0408801ae085c003b50380","datavalue":{"value":"reduction graphs of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q792994$A5AE2B45-675D-494A-9983-9E25FB3EAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f499971506bb7d13eebf3a41582911b6f7a30bdf","datavalue":{"value":"spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q792994$270A0FBF-5889-435D-B9B5-A875AC3B541C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$F375AD29-C8E0-4993-925A-0BF4B8FD45ED","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":"Q792994$9256D212-9088-4F2A-A379-AB982398B917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f938b78eecf3a6c96c9ed09d8d6bf938f19964e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90002-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q792994$93CBABA8-F5A7-45CC-83C8-18CB98322236","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b328a2d638f14818318ce339fe5fe76f7124c0c","datavalue":{"value":"W2043705873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792994$9F8981BA-9EA3-435F-923C-6DEC41B7548F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$5899E57F-652A-46B6-855E-6C3066AFDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$452ECD74-67E1-4AD1-A67D-EDE60E589194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$95117939-C51D-461F-80A3-AEE822D8F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$4F4A0364-1F89-4974-95DB-B09E4F2F5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bb518407806a0775e238de3cb997abdfa1f23","datavalue":{"value":{"entity-type":"item","numeric-id":1324287,"id":"Q1324287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$3E7D262B-EB19-41B0-A875-1C2A7983C234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$151FAA12-3166-4052-9A11-B5C8C7AE85D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd8aa4665792fb478f088ce916ed4d4af38225c","datavalue":{"value":{"entity-type":"item","numeric-id":3869319,"id":"Q3869319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$8F5EFC35-8B05-4E17-82FE-6DCB7C197663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7747d88a50dc89003843e0dffb88a96626c3f080","datavalue":{"value":{"entity-type":"item","numeric-id":1224573,"id":"Q1224573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$601BD6A5-9C19-4907-A585-663541637774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88186789b13984bfbdd9bac76dc089b36203173","datavalue":{"value":{"entity-type":"item","numeric-id":5534021,"id":"Q5534021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$697885EC-7189-4F25-BD89-6329F048E6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a66dc0eba1184a1691ff295effdf39ea59b34a","datavalue":{"value":{"entity-type":"item","numeric-id":4175529,"id":"Q4175529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$C73F7285-D2DE-45E4-B0C1-DAD11CD34FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451b6fa554e3851f511b9caae8290501b72020ee","datavalue":{"value":{"entity-type":"item","numeric-id":3320341,"id":"Q3320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792994$D3786532-40B8-4823-A692-0D57133446F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec9667c8fe17f391f5e890b9504a3befcdc2bd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4522249,"id":"Q4522249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a5eff3da53de277c33665b236c51541070b40c","datavalue":{"value":{"amount":"+0.8443160057067871","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":"Q792994$AE363AC6-250E-4127-8B91-E41A188215ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98a0b9e51b4ef0fc315d6bf9e1858c6d7cd4ffc","datavalue":{"value":{"entity-type":"item","numeric-id":1275630,"id":"Q1275630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf711b224641efb7fd7fd9ae9bf1f8de98f394fb","datavalue":{"value":{"amount":"+0.8316723108291626","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":"Q792994$048BAD2A-F852-4EB9-85A5-60B089C53F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a5d4dff4aa7f622946a47599b1f0ed8392d022","datavalue":{"value":{"entity-type":"item","numeric-id":3320341,"id":"Q3320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243fb29e87ac422d0956ecee7aeef66d20c1e2d0","datavalue":{"value":{"amount":"+0.7836383581161499","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":"Q792994$149025B3-0218-4759-BDB5-258469EF9018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1639131882be81585dc69fe3f1251a1664a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ab5aafb005fce3545d9fe2f5333b04d1e340aa","datavalue":{"value":{"amount":"+0.7645373344421387","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":"Q792994$7C355494-0D65-46DD-A755-E6F2189D909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5172cedfcfee223d8d809e1a12eb257ed6a66e0c","datavalue":{"value":{"amount":"+0.7609531283378601","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":"Q792994$67DAD626-DB76-45DE-86CF-563A2149D951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction graphs in the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_graphs_in_the_lambda_calculus"}}}}}