{"entities":{"Q4376079":{"pageid":6405678,"ns":120,"title":"Item:Q4376079","lastrevid":46997868,"modified":"2025-12-26T00:41:30Z","type":"item","id":"Q4376079","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114357"}},"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":"Q4376079$F7262A6B-5BD2-4662-9F42-73AFF05E2602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f4cb66e5090984bf2ca54873e48069aacf475cc","datavalue":{"value":"0888.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376079$5E9214FD-71EA-4F06-89C4-1D53004C3C83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376079$1401E9D8-3EB2-4F9A-B21A-629DC8D7EA3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0945be59467e332804dbbfa87487f2b5f7412c0b","datavalue":{"value":{"time":"+1998-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4376079$E6F0DA70-9B0D-4441-997B-787444AC8F93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376079$06AB62D0-3166-4538-823B-A1AB461B5C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a815fee00a3cd55f561557a6a9e6e3bfd82e4e39","datavalue":{"value":"1114357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376079$14E76EA6-0CF0-4978-B7B0-1FF9A9B91FE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fb1e06e7e34055c4baa1b54b651beab924a1d","datavalue":{"value":"simulating \\(\\eta\\)-expansions with \\(\\beta\\)-reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376079$9AEA0AED-0CA7-4A28-A24F-6D0C2CC08EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d7c70b1bb497b48d27ec7f5bbffeb23bd945d3","datavalue":{"value":"second-order polymorphic \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376079$DB42DEE6-A42C-43F4-97C5-DBDCBB53EA4E","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":"Q4376079$1D0C9B30-0364-4BC8-B30C-7E3F51482D9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4a3833fc9f6f9573231f8da51476628663a1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3024832,"id":"Q3024832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883005c06f6372ea28c8980341b228cc62f343af","datavalue":{"value":{"amount":"+0.8536607027053833","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":"Q4376079$053327C4-D8AE-4B9C-9F96-DA5D3C3F9F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e49236ef4577e327e5f733a306da93b7f09b8c4","datavalue":{"value":{"entity-type":"item","numeric-id":1873755,"id":"Q1873755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69629aa0e54b1f55072dfac414e24e4c54d9f7a7","datavalue":{"value":{"amount":"+0.7771456837654114","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":"Q4376079$A98A50AA-3BF7-4560-85CC-CA06101DC514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5b92bb01f4edce6861859d9c6b819deb58cb91","datavalue":{"value":{"amount":"+0.7754843831062317","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":"Q4376079$18146003-3671-460A-83A1-BB16A1841A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71c90c31d98cc3363d3bfc38825cc6cd8b87279","datavalue":{"value":{"entity-type":"item","numeric-id":4362917,"id":"Q4362917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfd847685d4d9a702f2b192eb49696d1cd91830","datavalue":{"value":{"amount":"+0.7740704417228699","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":"Q4376079$1AD119FA-56A1-4B2A-9EE7-5CACB0553AEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376079"}}}}}