{"entities":{"Q1383145":{"pageid":1393885,"ns":120,"title":"Item:Q1383145","lastrevid":68591421,"modified":"2026-04-13T00:46:54Z","type":"item","id":"Q1383145","labels":{"en":{"language":"en","value":"Lambda calculus with explicit recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138492"}},"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":"Q1383145$794DBC26-DD46-4CE5-A310-977DA2B01D8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de39785f2762c777efcbd9db1e10ba498d3773cc","datavalue":{"value":{"text":"Lambda calculus with explicit recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383145$36DC6142-BDBD-4E7E-ABFB-057E9DC7A641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a90dce9b415cc11a6873c7c584f5066eeeede06d","datavalue":{"value":"0892.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$62EE20A3-23B0-448C-931C-DF19E740916B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$510916D9-7FB4-487B-B1A6-A89E40762E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$3E4A779D-4E01-4247-A4FA-A6E75C5F34AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$4CE8C7D5-F13D-40FE-BA88-703BB2FA4CE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21304ff6deeef20499072ea551c951e177e6035b","datavalue":{"value":{"time":"+1998-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383145$118EA102-58E7-40F0-91A0-A8669454D25F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7825c55b0ddc01ee32b96c0f4e166679107ef45","datavalue":{"value":"https://ir.cwi.nl/pub/1293","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383145$933C6484-ED38-4028-8C75-320D7A1E6A66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$B8CB152C-9A3A-4DCE-BDBD-4E7BA3DD015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$1FD32A56-1B56-4365-A619-D082068FF7E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"688571cd4bb5af8b658468dbdad42760da9f9ee9","datavalue":{"value":"1138492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$A8EF5E70-837B-4983-B523-A2162A598379","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5fa7811b438bd32264cdae5e37b7dbee71ff7e","datavalue":{"value":"\\(\\lambda\\)-calculus with explicit recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383145$8264B4D7-D975-4099-A26B-5678EF06CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e69e2e3dd71a70246a7a759ee044668236e7e0b7","datavalue":{"value":"cyclic \\(\\lambda\\)-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383145$3D83972F-BFFB-4A52-AC1D-C81C4C72BDEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$19255F19-8D1F-4A14-A8F8-197A69B0C873","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":"Q1383145$E9C1AD23-D213-4879-B3F4-3A7B486B2DE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33e8fa4fa6b9f44b200f8aaf312f0e33379f5d5f","datavalue":{"value":"W2088482003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$545DC738-5777-4C79-91A1-2BBE8EA377D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b09ef21e3fc641f4d9d42cf2d04aef6bc04ad97","datavalue":{"value":{"entity-type":"item","numeric-id":673126,"id":"Q673126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$F4E8F90F-DB5A-4514-B4F8-658E3A099265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$2DC37392-ABA3-4483-80B3-C2577E145AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$D63F98E1-126E-4899-A94B-CA8E0C30F87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ff5d819d7b87fc96425d66dc0c9a0ecab05cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$E5A3233A-6CC5-440F-A980-2618DC249107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$487FFEB7-FC1A-4AE2-8136-483B96DA9E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72fd0b2c87c76c8c64f2efe1ec8f51fac42e85f","datavalue":{"value":{"entity-type":"item","numeric-id":4490748,"id":"Q4490748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$4E9AECA5-BBEC-4D42-9225-5CBDC2DD8980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$8308B0AA-7486-4653-90A2-18BA0AD75310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf488bd8f333419fbdfcc1637160213a470f5034","datavalue":{"value":{"entity-type":"item","numeric-id":1924551,"id":"Q1924551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$88981A83-BA9F-4E87-B5C0-19349766313F","rank":"normal"},{"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":"Q1383145$EAAD39AB-AC83-4ED9-918F-842219E8629D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$F6A5C7AC-402C-4D44-A4D2-5A8DB96F0746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a16b889a55b8ab0bc43e030a5cca97f6aa3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$22162D13-5A16-4447-BF53-168D611DF186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efcb10215b3618d498e2cb6f759645b8d93a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5287527,"id":"Q5287527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$19C0B16A-3AB6-47BE-8F64-91E0FAAB86E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$1AE34D97-61B3-45AA-857F-90A4F6F377D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1918f5bb53459939633cf3c465067b1eaa7154","datavalue":{"value":{"entity-type":"item","numeric-id":3210897,"id":"Q3210897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$FECEB337-9585-4A06-A993-05E0DF471B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$7C530A2F-D847-4129-AE57-BDFFF67235D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e036cb48b37a0cafe96d5a6bf3f3f6ac1308a9","datavalue":{"value":{"entity-type":"item","numeric-id":3685171,"id":"Q3685171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$DB1157DC-7E35-4ADE-8F9C-7D724E6D28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a67affafa3f34e350565a1c328ca12c72e4e899b","datavalue":{"value":{"entity-type":"item","numeric-id":1098284,"id":"Q1098284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$3810C1D9-9D69-4325-ADDA-4F1CCCDC11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10841eca5989462fddeafdffc233c69631f3c459","datavalue":{"value":{"entity-type":"item","numeric-id":4037323,"id":"Q4037323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$D0BD27E1-51E2-4E8E-BDDE-A1D73EDF498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$DEB90BF6-9C22-423C-A598-C710FD4BFD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$E3BE7D74-4AFD-442C-BBB5-E25C0F244277","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":"Q1383145$73562707-CD53-44D6-8223-1B6622403B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$3CE29917-8469-44DC-95B0-870C7C57F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$FE4FE85C-2848-46F1-B017-6DFFB2521964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0099e31e1dc5cd920c9effe974dd2b2026e19d8a","datavalue":{"value":{"entity-type":"item","numeric-id":685460,"id":"Q685460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$EAFA05EB-F3D1-489B-B0D8-8B53D3FAAAFB","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":"Q1383145$D5F99598-018F-4513-A086-42FB7AE9C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afca6a0bfe95374e05775132ba6a5aacdd8086f8","datavalue":{"value":{"entity-type":"item","numeric-id":800736,"id":"Q800736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$618478E0-12A3-42F9-A43D-BC645B3C9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1e8f8aa637b2d958be34bc9c921a3b84fc34a","datavalue":{"value":{"entity-type":"item","numeric-id":5881174,"id":"Q5881174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$CB403F3B-07A6-4A37-8181-A270EBB16AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0426e61a4750cf11d302b47b0624f9b4ef55cbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5287535,"id":"Q5287535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$56B1D0F1-9B3F-46DB-A5F1-FF21B3202C54","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":"Q1383145$FAD92252-9289-40CE-BFA9-A5E20DD03C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383145$511866B0-BC6F-4AE1-9FB8-73FA7D4E76C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aa106fbf85a823d90b65944b21151f5df8dde7d","datavalue":{"value":"10.1006/INCO.1997.2651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383145$C26F9F2E-3955-400A-ADB3-5DDA5A6C70C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1934f0eff8143aec43136d3d8b9fa60735b40d24","datavalue":{"value":{"entity-type":"item","numeric-id":5881174,"id":"Q5881174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9087b1f545a37e37df219b15e7fd7a2d580e85c","datavalue":{"value":{"amount":"+0.7922861576080322","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":"Q1383145$6B071421-1417-4327-97D6-7AC97BD3629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff865f3a29e2b7ef896f141228a5c7edc05eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9b88eb78eac7313e3268baabbe20372b910991","datavalue":{"value":{"amount":"+0.7890914082527161","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":"Q1383145$9F4C65C9-0DDF-4C24-8A9F-1D16EFD5CA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eea77e4b50346cd948046bdb90d98ad3567285","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19f049a6e915a1054c93c37a4dc1b7f96268b2d","datavalue":{"value":{"amount":"+0.7811537384986877","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":"Q1383145$BEC45CC0-038B-4B1C-92E9-7BCB69371C3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda calculus with explicit recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda_calculus_with_explicit_recursion"}}}}}