{"entities":{"Q3677139":{"pageid":5707045,"ns":120,"title":"Item:Q3677139","lastrevid":50022844,"modified":"2026-01-12T16:52:49Z","type":"item","id":"Q3677139","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3898200"}},"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":"Q3677139$1405DDB7-1206-4DFF-8372-0F0EF7B4B81D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c2888987924f68bd734c85889997be6e002e66","datavalue":{"value":"0563.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677139$36D9A352-F2BF-4873-935C-3C740C50B0A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ce89a28b8751be49dfde7a8a71f1ba0108c6fee","datavalue":{"value":{"entity-type":"item","numeric-id":1260642,"id":"Q1260642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677139$0246C8C2-7890-4805-B4B1-803068404B57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3677139$0BBFCC7D-6AA0-4D0D-BB7C-C651935FFB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677139$4A47B004-A071-4E28-A776-E1B37C76DAFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b779cc2912213cbae8965e224a1f1d1c950450","datavalue":{"value":"3898200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677139$FCD5981A-861B-4D78-A335-0F67D9CF77E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f4516e3368927b33f9ce03496cc25e438665aae","datavalue":{"value":"type structure of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$63891E59-6E42-432B-AF1B-4522D4727F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a55d401c2da62c7e7fc71300e1b84e14ff8e689a","datavalue":{"value":"type deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$0A499758-4CEF-46D5-A591-04506F38F910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ba4d5965c0a8e17295c2731ed305edeecec40f","datavalue":{"value":"polymorphic let construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$9C001822-BDBD-4987-BD18-713CC6973C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$A4B15A92-6BCE-41A3-BE9F-328FB88250BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381d3cd79e63c3a13152c3141e9c5491c033a472","datavalue":{"value":"generic operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$18095515-3FE0-43B5-866D-24A25915BF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7589ef2cad103239280b196961fc5bbc9f7377f4","datavalue":{"value":"second-order typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$C7B744B5-CF34-4AC7-9D0A-BFC38F4BD76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$28D22F2B-5FCA-46D3-88A1-7D9289387A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0071ff321034fda164d9f480d0156a7cbb3afe6","datavalue":{"value":"type inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$ECD5B430-2CC8-4217-B22E-AEFB3152CCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677139$6BCFFF9E-676A-4EDA-96DA-F6B3A63AF57E","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":"Q3677139$333418CA-CE29-42AB-ADA7-12C4EEA6D3DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d690071524619d74f82ef2f5eaf8f65e9b01a","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bff75b62d34b55a37587a2271a24d34a909e2a5","datavalue":{"value":{"amount":"+0.7555992603302002","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":"Q3677139$EAD2914E-919C-4D28-B3C1-6007A30E2965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aea3c4aa8917dcc29459870e01261312124b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bff75b62d34b55a37587a2271a24d34a909e2a5","datavalue":{"value":{"amount":"+0.7555992603302002","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":"Q3677139$E6358673-08F8-438A-8479-23D707BFF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02332199122e89470495cf5626c3a366d0791bd","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284d3027a3a7c8c14abda0882cba40b23f764a41","datavalue":{"value":{"amount":"+0.7548872232437134","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":"Q3677139$41BC80AD-B9F8-4703-8346-A43E6231DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c7b9caf2f13aae607a846ee9a2f616b2d8677e","datavalue":{"value":{"amount":"+0.7526865601539612","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":"Q3677139$D3553951-71A6-4CB5-8821-013C5540F975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08590c69a8505a2e723dbf87903623411fae0d7c","datavalue":{"value":{"amount":"+0.7502400875091553","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":"Q3677139$B1334B5B-3CD6-4EDF-BF92-DDFE6EC47D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677139"}}}}}