{"entities":{"Q968531":{"pageid":970379,"ns":120,"title":"Item:Q968531","lastrevid":65797230,"modified":"2026-04-12T05:26:15Z","type":"item","id":"Q968531","labels":{"en":{"language":"en","value":"External and internal syntax of the \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704034"}},"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":"Q968531$43E72182-16D7-4296-B33B-F5031B1F9AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7f5e027ca9801d4bdef20c1d59787922ce04fb7","datavalue":{"value":{"text":"External and internal syntax of the \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968531$15AF0D30-61C3-4ABE-BDEB-05932A22A917","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f1a6ae465874a3c7c20791ff8e6740a5acee2f7","datavalue":{"value":"1192.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968531$623AE90A-95E1-412B-B408-4C86C0B16D85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$A310F732-293E-481A-819F-2D73BC8EAC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E372858A-993D-4F9A-8003-E1FAD15B6B38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$4FF13D0D-F802-4273-91A3-AC813803590D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968531$9ACB8B6E-B5C3-4176-9537-F94ABAB5B76E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968531$4119F1E2-EBD4-4474-83F9-50D6F8A9BD2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70e2e73e4b45f91f2919046d61975992b696c24d","datavalue":{"value":"5704034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968531$24AF5890-DE96-4C60-A560-1308B11009E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q968531$E904F62C-168B-4F74-946A-02D9C05B3BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q968531$2AE267A2-750E-4DF8-A349-400FF79C58A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q968531$E6303203-F499-46E5-A504-A4F81F349775","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E51CC486-0666-42CB-B32D-9C47B26C3644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$602F3C46-5EAD-470F-8BCA-B4B489D48DEE","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":"Q968531$8DD2BE2B-4BDF-43E3-A573-44C1CB302ADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1d08f914a37fa41fd337f7df53d2df9b2afec2c","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.01.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q968531$D91F2506-C5EA-4FC5-B102-49E5EC57E0EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce8f36e55dec1aa71698e5bd7f6ac634accb6527","datavalue":{"value":"W2033368611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968531$23FC1E95-72C2-4474-8056-3AE6F4A703B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$C9C5CF12-C2E6-4BC9-8A01-51E4B1EAEC55","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":"Q968531$4A7215EA-7DBF-4B3E-AAFD-0C4A6ECF6DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee900a14eb345f1ec6416bc370340cd0e2c18c0","datavalue":{"value":{"entity-type":"item","numeric-id":5565097,"id":"Q5565097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$C4157796-4BE7-446A-B9D1-EEE624C9887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ea7e81c6de0065717c066fc903d6beef24bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4647573,"id":"Q4647573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$22C6A225-FD76-4868-8C7E-21CAFA88944A","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":"Q968531$1A171554-F64B-421F-9FE2-4BCC6A1D6488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$37348BC2-CC3D-472E-8451-D080F861494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$4018A6DB-5915-459B-B664-5647B7E08FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$6E5111F4-05E1-42AE-889C-E7AAA9A1524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E93A3BCD-4A6F-401D-AE03-B80322266355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$6F2973B5-03D7-4FAE-B96A-8DF156861A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E7211B54-4F2F-4EFB-B421-3FAE754A9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$0144D446-730F-4082-BF84-30F12A979B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$C2D0243F-8593-49B5-9E48-852D5E89E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$12544333-1255-450F-BD93-00489AAE370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$276FBDD7-8CC9-4165-929F-6E166CBC125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1851616a00610aaeabd4291b4d22573878184fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3546313,"id":"Q3546313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$FC616B40-69A5-454C-8706-6C346A2DFF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$6ABF33C3-452A-43F4-B13E-FCAF39227687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E9E4CAB1-0FC3-44F6-9B12-C0FEB43B1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd3fac23f7e9918f6f84e833afc703f24c2b241","datavalue":{"value":{"entity-type":"item","numeric-id":791311,"id":"Q791311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$7D271DC5-E785-405E-9EEC-952249C83862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a83e10824abf968c6a065b8344998b39e81d39","datavalue":{"value":{"entity-type":"item","numeric-id":1075757,"id":"Q1075757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$2C4792AD-03BD-4ABC-B5AD-2ECA4CF1D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554adc74f8f7440360b5744bfd93d4c0a72cb53e","datavalue":{"value":{"entity-type":"item","numeric-id":4016562,"id":"Q4016562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$E86599C7-8D7A-4F34-BE45-EA5AA748BCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6f59ac9631adf406f790f6a598df250a02f213","datavalue":{"value":{"entity-type":"item","numeric-id":3044486,"id":"Q3044486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$A9045B14-8B25-4D2B-91E7-4B984C3EABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f149ec444851c81f8f28cc669b90ac06bcf6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1106190,"id":"Q1106190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$5370B8B9-C33F-430C-A10A-5CFA4B4E0B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$CCD108A4-01F9-4091-AA80-4ED85D658F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$04D047EA-F723-448D-A8C8-B1B9861F9565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dee98229347c3ff5d61b43b45d8e001f181167","datavalue":{"value":{"entity-type":"item","numeric-id":3608761,"id":"Q3608761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968531$B269ECEA-B2B1-4056-9CE0-0723CE8F0EB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"786084c02eaea10dc9232970fc40f65ea0138829","datavalue":{"value":"10.1016/J.JSC.2010.01.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968531$CA2CD44B-46C4-44BB-B0E8-84CAA902E686","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8ad2f2b7a83e9a7996737eae82dbc7d18f64da","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d75eaf11c4effe4c55823d40b7f4cdc9da25cb4","datavalue":{"value":{"amount":"+0.779456377029419","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":"Q968531$32F722A5-7769-45A7-900B-020421225F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70124600704120650b3399879cba7e852de047","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb1b6108ef3e476c7289557723dba3502ac4e42","datavalue":{"value":{"amount":"+0.7516034245491028","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":"Q968531$E93B94C4-FADB-4B6F-9693-AFD8BC3DEA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4710ab823047963dca88071ab76a8a2caaf6530","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dca8b543da1d7c47ecf59196765e8b597659a3b","datavalue":{"value":{"amount":"+0.7503334283828735","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":"Q968531$FF8CFB74-1BA1-4C21-9C6B-C01B2575E148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3bfadc87aa784383f1330b41823d9863817eb9","datavalue":{"value":{"entity-type":"item","numeric-id":740485,"id":"Q740485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6be1ad45789c3120ae7f8e1068952e3a0fae4d4","datavalue":{"value":{"amount":"+0.7417116165161133","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":"Q968531$9FA562E5-D3D2-4C0C-A144-EB682FD049B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eeaae1eb61838e216b7cb631cce5179e6612116","datavalue":{"value":{"entity-type":"item","numeric-id":2804945,"id":"Q2804945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68695e95aa1f9a154fefda1120fc9d4ff0608e16","datavalue":{"value":{"amount":"+0.7391695380210876","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":"Q968531$A8F45BF3-D233-4DE2-8654-B0F55BB2D0E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"External and internal syntax of the \\(\\lambda \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/External_and_internal_syntax_of_the_%5C(%5Clambda_%5C)-calculus"}}}}}