{"entities":{"Q1392284":{"pageid":1403024,"ns":120,"title":"Item:Q1392284","lastrevid":46705194,"modified":"2025-12-25T10:44:47Z","type":"item","id":"Q1392284","labels":{"en":{"language":"en","value":"Unifying overloading and \\(\\lambda\\)-abstraction: \\(\\lambda^{\\{\\,\\}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178872"}},"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":"Q1392284$05729B0A-32D4-458D-89A1-375D43671FED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b29d85ab5c4a6fdd13c2a60f52c10bd60d0cc805","datavalue":{"value":{"text":"Unifying overloading and \\(\\lambda\\)-abstraction: \\(\\lambda^{\\{\\,\\}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392284$6C369175-8561-41AC-A3D2-61018D645C8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19a96c4f316af695adbf0b95d3483bfd8aba853b","datavalue":{"value":"0903.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$6C42498E-E57F-4240-B189-D1E08F2C07CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3fff3dbb2178653237154ce74fe521c817177fe","datavalue":{"value":"10.1016/S0304-3975(97)81497-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$4314A692-419D-47AE-AC80-C48825D8212E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392284$A168475C-2C76-4A52-82FC-28DE3B5CE26B","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":"Q1392284$8B2C03DD-C5B0-4AD2-AB15-D0B9FF652C4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-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":"Q1392284$EF8BC9EC-A5BE-43F9-A2B1-B27F212E7746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$7CA6271A-102B-4A83-AC69-057B1603EF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$EFBE823F-14E4-4777-8443-938129E431BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$33DFD647-6B16-4548-B774-5D90F5A118A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28446e0006913fe22a644ca13718341436613392","datavalue":{"value":"1178872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392284$0D8E9FF5-4F01-4B9E-99D7-F4FBB48B15CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4ad7026312524007bb07ffe74d6d67ddba4b4f","datavalue":{"value":"\\(\\lambda\\&\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392284$EF54654F-F964-4A17-9182-BCEE0A359899","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":"Q1392284$199E9EFB-69D2-4F94-ADAA-4DBCFED5FA7C","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":"Q1392284$456ACDC6-9501-4EDD-A962-CD0DEEC035F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392284$3B68DE9B-4721-4706-A2EF-FE98682CFBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5a5e3f3e3fc59098e2d5f65defb9e4678ccdd4","datavalue":{"value":{"entity-type":"item","numeric-id":4335420,"id":"Q4335420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392284$65E68BA6-F172-4712-B389-72AA0801B155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c96b01d157fbe2f56af4247c4c86597cbca22c6","datavalue":{"value":{"entity-type":"item","numeric-id":4281468,"id":"Q4281468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb9b3bbc5d854d13fde95e865bd07b00e4223e1","datavalue":{"value":{"amount":"+0.8202100992202759","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":"Q1392284$4416A371-1B05-4FC5-8E27-F5470FE5723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a727d8b405f20e0070ff7ef1b07339e2a669ab90","datavalue":{"value":{"entity-type":"item","numeric-id":2761748,"id":"Q2761748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d826240ed6e9b6de027c9c08ac4846fdea55007e","datavalue":{"value":{"amount":"+0.8055539131164551","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":"Q1392284$A578BAAF-3EE9-4723-91D5-C7A9A5112705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b409d3bf9e7845a7fa4723753b0f6d4d36bf285","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d213955ebcf0d94a056eec55e962138b9da91e42","datavalue":{"value":{"amount":"+0.775944173336029","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":"Q1392284$FBA45A9A-0CAF-4A6C-8265-8EBF1536745D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1392284","badges":[]}}}}}