{"entities":{"Q4492862":{"pageid":6522455,"ns":120,"title":"Item:Q4492862","lastrevid":47497471,"modified":"2026-01-01T21:55:28Z","type":"item","id":"Q4492862","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1482191"}},"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":"Q4492862$5057D804-6D49-4E9E-847D-1A3903E7C2FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"804fd55af99de9af5ef7b11ba5037519bf52015b","datavalue":{"value":"0944.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4492862$87D3BC9D-7636-4A77-A41A-8306AA638B0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4492862$8B5B01AC-AC34-403E-BA3B-D438B8368352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff549de5c6ce5b4225ab7822aed4075af58e4092","datavalue":{"value":{"time":"+2000-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4492862$A3ECE9D1-8A74-4444-8699-D5AA536B0FD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4492862$C5D8AE22-1965-427F-9B51-A51EC7074367","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"553bc3b5ea0257a6455c76f64ee132e6ef242716","datavalue":{"value":"1482191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4492862$6F9A0485-D6B0-4DCA-8213-31CE3098BADE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6a6d75828a20389b95fb4f379abcc0f827e58e","datavalue":{"value":"untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4492862$7DE73B3F-4583-4057-8534-0C39891CD2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4492862$40384D3F-8D26-4467-B272-4937CB9A5F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4492862$88F7BAF9-5583-4F0D-B133-797E56C45F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768c4cc984ad8efc15fe2a624cd526c6e9b540d","datavalue":{"value":"type topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4492862$48C079AD-F8E3-4A90-A59F-4DC9A0D3165B","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":"Q4492862$0DEFDB32-051D-49CF-84B6-DD63E6537CEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb57edcd74e3543ce2b4bfaa158ade414a30ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":5943119,"id":"Q5943119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75314dd7234204b7d17d85c1943e5404c63808d","datavalue":{"value":{"amount":"+0.9101555347442628","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":"Q4492862$36514A57-4B89-49E1-BC33-B67BA32BDACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2570c79aa4f9a46962505ec353cd66f3108ebfb","datavalue":{"value":{"entity-type":"item","numeric-id":4946631,"id":"Q4946631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547242ef6b36691cb830a9c66b04e60ca13e6c7e","datavalue":{"value":{"amount":"+0.7835619449615479","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":"Q4492862$27A7914C-6B94-424E-8F9E-48A240A77D2D","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":"fcf96b5a93edebdd27960bea1b45801335e07a16","datavalue":{"value":{"amount":"+0.7781184911727905","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":"Q4492862$1D871267-6DBD-493D-B31A-BD0DA4BD3D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8677b2b828eea0ca5be41048639c5d938345f0d2","datavalue":{"value":{"amount":"+0.7608095407485962","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":"Q4492862$C97C8BB5-112D-4DD5-A6B5-A69FB0EBF21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73946db163c480d268d3d9363a0e42dcec5078b3","datavalue":{"value":{"entity-type":"item","numeric-id":4532620,"id":"Q4532620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0ed04238af6569fd30e9412b81c5e91d54fce9","datavalue":{"value":{"amount":"+0.7601699829101562","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":"Q4492862$E72CDF1C-470D-4239-864C-2024F36E4691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4492862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4492862"}}}}}