{"entities":{"Q5878918":{"pageid":7908469,"ns":120,"title":"Item:Q5878918","lastrevid":101978255,"modified":"2026-06-06T03:14:23Z","type":"item","id":"Q5878918","labels":{"en":{"language":"en","value":"Untyped lambda-calculus with input-output"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656683"}},"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":"Q5878918$2344C6FA-EDC0-469A-A3DC-22618F5A2D60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a911344128beef110b0acb4d1be70f523cff8a6","datavalue":{"value":{"text":"Untyped lambda-calculus with input-output","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878918$0E4970F4-F405-4CCF-B132-F9B7FAD1A270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2a6850f9b24e559e5fc836cc7217f02e6f64509","datavalue":{"value":"10.1007/3-540-61064-2_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$0DF45322-03F7-4420-959C-8151C466AD57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$CCC8FF4A-230A-4AC1-B790-871C388467A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$B1A40B33-1DFD-46B2-85B7-F65254B8620D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$0924D309-7F20-4641-A80B-BC7571397D8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878918$AE35A252-0D3A-423D-A994-1852BBE503D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$0314D1B4-4FEB-497C-AD1C-D294F0DF32E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$D0169BA8-8080-423B-9B56-5ED5A7D57599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$9DB7DB77-4E01-407D-A544-EDF036495D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"276e50c4ef9db4dfbdd1c807a159de577cb0102f","datavalue":{"value":"7656683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$83EDCAC5-565E-42BC-ACC6-DD5B1CDC6647","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":"Q5878918$867F8346-F3DD-4246-9BA9-63A838349359","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5e998c72ac4d7d1e3d8d5a8d94ee222f527ff8","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878918$8F29F21D-C717-4BE3-AA1A-BC2B26E7EEAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1a32e998d7e1024f3b0b2aa93764e994cbbca7a","datavalue":{"value":"W2104356063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878918$F55838AF-2C4B-4E46-B20B-9FD57ACC41AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e931bab6524c19df841d82e431acbd0726513d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4856176,"id":"Q4856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$D8117D10-170C-4D71-9837-C3B3F86807FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd75c7353be06e140b223225de0ecd826d5d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$F3CD64AA-9801-401A-AFE5-430FEB0C93E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98daca76c57e932f6dcdc1d20bf8bc0f7e0881e","datavalue":{"value":{"entity-type":"item","numeric-id":1893729,"id":"Q1893729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$B056C7CD-D08B-4A76-BCE0-A73EB1416D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$96D135EC-A11F-404B-8E79-A6853B1A48F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$E77DA7F1-D314-4D9A-A964-E205A85022CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$51A34E31-D655-476D-9E3F-93C8EB2A2209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$7CF65783-BAD1-40B3-8AF9-EC2A3B29291D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$3438833A-A237-4B15-8BD4-FD03776AC80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878918$D4CBF2C8-9F6E-445B-A799-BD55AA7199ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10f58ecd2c4c1d4f7a1935ba2c97e6147b3539c","datavalue":{"value":{"amount":"+0.7536939382553101","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":"Q5878918$8C1AE87A-5633-4E26-B426-CCD36E6F1AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baee5609a1347c457c327f8b17093e1e6531237","datavalue":{"value":{"entity-type":"item","numeric-id":2210507,"id":"Q2210507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daa3cc689cc18e691d75a882ca0c5a18715fc7d","datavalue":{"value":{"amount":"+0.7493339776992798","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":"Q5878918$30F14CFC-2FDB-4B9A-8022-AAD1DE6A508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6bd9f3333a0cb2d7ffabb5730e4061c833614","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe41bcc460e86d05134ad5603445df1502c6a980","datavalue":{"value":{"amount":"+0.7429572343826294","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":"Q5878918$4EFC56F1-E572-48E1-A4F3-2F1FC4577B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c65f0090a14a2a86727463dd9d8638d1e947f38","datavalue":{"value":{"amount":"+0.7387338876724243","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":"Q5878918$7CF8B2B7-1E03-476E-82BE-43FAC9224B19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untyped lambda-calculus with input-output","badges":[]}}}}}