{"entities":{"Q1389686":{"pageid":1400426,"ns":120,"title":"Item:Q1389686","lastrevid":46705905,"modified":"2025-12-25T10:46:51Z","type":"item","id":"Q1389686","labels":{"en":{"language":"en","value":"\\(c\\beta\\)-Machine with \\(\\lambda \\beta\\)-reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170344"}},"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":"Q1389686$A9B68CF3-51F9-45BB-90BE-01F176574682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d580147784e32b4f2ec26321d1a3356da0654adb","datavalue":{"value":{"text":"\\(c\\beta\\)-Machine with \\(\\lambda \\beta\\)-reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389686$843F8945-9BA8-4E1A-A151-5DBABB015A04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8402a64b60cbcc1fe3f7beab45fb3cad63e6b36","datavalue":{"value":"0903.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389686$5AB3ACCE-D3D9-4167-91F4-825D0E4BB1F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48883da763e4ecd8f3eaaf333fbed72da2ebe2b9","datavalue":{"value":"10.1016/S0304-3975(97)00040-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389686$72D38AFA-7BF7-4BD6-B2E3-DBABCDCCB584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877dbbc9d4edae4be0006cd2ca1a1869156c20c2","datavalue":{"value":{"entity-type":"item","numeric-id":762136,"id":"Q762136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$20824FB7-A7B0-481A-BB05-059327209094","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":"Q1389686$7C6BF739-833E-47EC-B511-BC468AE8A6C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389686$CAE48B60-8F80-4001-B694-E661D6ACDD86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389686$3E4522E4-C155-43E2-A42A-EC4D280C6FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5411f4062bd3e84ce9d8af389589b4610fd298da","datavalue":{"value":"1170344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389686$5F695C5B-0799-4882-B725-E649B469415F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2295b837e31b5db0deccc1ef8ad5e9ec9dc66600","datavalue":{"value":"combinatory reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389686$2C3DCBA6-3F3E-4D66-B572-FC623BF56715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd61838e433214ec4913464a9a348e65914de9a7","datavalue":{"value":"\\(\\lambda \\beta\\)-Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389686$EE2EFB7D-AA11-43A8-A5A2-C2F566AEA6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89392086d56004dd5566301a718a501f51c01b82","datavalue":{"value":"\\(c\\beta\\)-Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389686$6A2D6E4A-8E69-4414-A945-A08810FB30F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389686$2C5839E4-2314-4AF7-B976-233451B61D7F","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":"Q1389686$4E681D8C-104B-49A5-8813-DEAC925A3C33","rank":"normal"}],"P223":[{"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":"Q1389686$ABBA62B0-38CE-4CB4-B9D8-AD82ED001765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f55109749153efd86fba034d1d14b858025c63","datavalue":{"value":{"entity-type":"item","numeric-id":762137,"id":"Q762137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$5AF24FCF-4058-45D5-8FEC-C08A743B622A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86280aa7536d9742e57f26a1b981178d1e3fd868","datavalue":{"value":{"entity-type":"item","numeric-id":1120559,"id":"Q1120559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$730CB18D-80B2-4F03-8258-2DA0FB9B4C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$007F078E-351C-4AE2-AAB0-AF4AB0274434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$9AA4896B-073A-4818-A0E3-574664FA180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389686$FC90384E-72C0-4FBF-BB99-7116F0602739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928a1567490a3e48bfa05fca81378e4ae780f4a1","datavalue":{"value":{"entity-type":"item","numeric-id":762137,"id":"Q762137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2aa6a556739698c28c18d71399f164b8875ac41","datavalue":{"value":{"amount":"+0.7986953854560852","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":"Q1389686$73C56703-6C96-4E00-852B-C58B7DF159CD","rank":"normal"},{"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":"bfdf42d33491bacc5b667d4031a158779671e287","datavalue":{"value":{"amount":"+0.769826352596283","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":"Q1389686$3DE78C22-7F72-4512-BF6B-9300DFCC1CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bf3750f462336c15c02823e9abf186e9c40d9e","datavalue":{"value":{"entity-type":"item","numeric-id":505454,"id":"Q505454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51691bbc762f161f37e465537d1aa216a557758f","datavalue":{"value":{"amount":"+0.7641132473945618","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":"Q1389686$D4B8F8C0-D008-48B7-A775-D907C8078ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6764809eea490267221140d4cc8215e4cd5a998","datavalue":{"value":{"entity-type":"item","numeric-id":1120559,"id":"Q1120559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c92a56545c6b8569b3edc1dff77b88f80cea459","datavalue":{"value":{"amount":"+0.7564155459403992","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":"Q1389686$775AA898-E0AC-4A6D-AC9B-4F2A43A3CF83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1389686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1389686"}}}}}