{"entities":{"Q4764616":{"pageid":6794196,"ns":120,"title":"Item:Q4764616","lastrevid":46353282,"modified":"2025-12-24T15:13:57Z","type":"item","id":"Q4764616","labels":{"en":{"language":"en","value":"Efficient self-interpretation in lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 751120"}},"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":"Q4764616$EDAF470C-0D66-4AC2-83F4-D6FD6A8F1AA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"808e2b4ba7768399eb9402a28dfe1d3a136cb8be","datavalue":{"value":{"text":"Efficient self-interpretation in lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764616$2383BBA9-7CA5-4917-9970-D7F04B11A4C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b839c0fcc33351bcb765c84f3646ae109aae523a","datavalue":{"value":"0817.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764616$7A4734E9-6F8A-48D7-8D37-BC8123977AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5540ebe93773f4653a27a5e2a7ca3f2bc6dc1e56","datavalue":{"value":"10.1017/S0956796800000423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764616$1BF511FB-DC38-4A43-92B8-1858A71A03DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$A5CB24E7-38E3-4352-A57E-B9E5B116E5A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19216b5631ab2959a22cb1886f3fbbc3003fecf5","datavalue":{"value":{"time":"+1995-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764616$F9F780B7-9D89-4F6F-99D0-3E3C898A5FFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764616$569845F2-3E73-4845-88D4-65BAE296D6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764616$0E7734D3-C61D-4989-9678-A2CBE1252B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c0bd2eca6f287fe78993ca2af91701a97bde5d2","datavalue":{"value":"751120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764616$1E9B5315-4E8F-4DD5-952B-C00A9F33EC92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764616$7DBA4FDD-2E0C-495A-99B0-F439370D8F32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5739c0b7089a36f22ae77f5d3b0014f6bba71712","datavalue":{"value":{"entity-type":"item","numeric-id":1702405,"id":"Q1702405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$C9886C84-87E0-4F20-90C8-8A8275258FCB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ad95f3b19a611cf232a8e5b8abab22c9bba3a06","datavalue":{"value":{"entity-type":"item","numeric-id":24991,"id":"Q24991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$BDC00B27-5AA3-46CE-8734-EB053DA418AD","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":"Q4764616$45F2E4FA-C68D-40FD-AA3D-318DC6CDB9E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$B1EB6645-7F5D-409E-B3B0-CBAC521E1EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b07f740dedc93ec074730298997a904d17bbf70","datavalue":{"value":{"entity-type":"item","numeric-id":3655272,"id":"Q3655272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$C866F8D5-7635-4923-B40E-C30DC842C7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0fabae8f2ae08dc9b205ce9ae1d4ecda8ebc2f","datavalue":{"value":{"entity-type":"item","numeric-id":1177938,"id":"Q1177938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$B4902F6C-9447-4162-BF76-AC1A04A042C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435c4834e68b68acfe27616e56a30e9574047f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4939696,"id":"Q4939696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$B318A52F-9224-4907-A195-8BEFD108BB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d7cfd1b00c1b1b0390f919c157e3464124a647","datavalue":{"value":{"entity-type":"item","numeric-id":3823126,"id":"Q3823126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764616$A1667653-D162-4628-9797-FF0996B863A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee08d48bbc67f129f32ddb340ced6cde9007450","datavalue":{"value":{"entity-type":"item","numeric-id":5926074,"id":"Q5926074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183e2310fb34d7e2c2ad96c137e77be6f11c1411","datavalue":{"value":{"amount":"+0.8613286018371582","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":"Q4764616$122B533E-DB85-444C-81FF-48A8BC4911CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8652aabe168b05cfd243a3e3c30b22fdfa12b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4511267,"id":"Q4511267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2229c7b99bcc7ae9b87a508bdfbfd376a00cc11f","datavalue":{"value":{"amount":"+0.8557767868041992","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":"Q4764616$6B0C6330-871E-4910-A795-A2752E22E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a777755a9cce360164a990ae4dcf6b61629db103","datavalue":{"value":{"amount":"+0.8117307424545288","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":"Q4764616$E6F4E31D-DCCF-4E26-AB14-6837B58622B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764616"}}}}}