{"entities":{"Q1337466":{"pageid":1348205,"ns":120,"title":"Item:Q1337466","lastrevid":67615617,"modified":"2026-04-12T19:02:42Z","type":"item","id":"Q1337466","labels":{"en":{"language":"en","value":"Efficient inference of partial types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 682621"}},"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":"Q1337466$FCC76EBA-4CFA-4FE4-A60D-452A0CE6CD72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4755592128cf269521dea060527619dbcae408a7","datavalue":{"value":{"text":"Efficient inference of partial types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337466$18472A13-DC2B-4C39-BBBB-A5AF73C1AFBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dc637892269e57d8d1a882536cae27173a550e1","datavalue":{"value":"0823.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337466$1B717BD4-EAC3-4067-AAA7-80B6CD72762E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5032cf19151d73517caecad529023d7257906a1","datavalue":{"value":"10.1016/S0022-0000(05)80051-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337466$75C0205E-0FC7-4FE1-88C7-D731F994C73A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$A16A0D05-F3F1-441C-B363-0A6288779CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$CC4EF21A-0625-4DD3-B8CE-99245D17C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d335d38758832e72d934ab76956198e7e084cb","datavalue":{"value":{"entity-type":"item","numeric-id":685349,"id":"Q685349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$8B2593F5-8B12-4200-B334-0B025244E1B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$3C201D7F-02A3-43C1-893A-ECF625DD1D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32d1d77beb5f3bc65c221a38015efeb024af2386","datavalue":{"value":{"time":"+1994-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337466$E92DDDC5-0D60-467B-B5B5-89A42C1E630B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337466$EEA97294-958D-47A6-8316-68991050C696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337466$0C2C570F-A0DF-4392-9E2C-4AC59536AF15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e54de3ea33105c174fd8030da5fecb80c3cf415c","datavalue":{"value":"682621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337466$AD448F59-1454-49B7-825A-6BD37ABF9C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337466$9B354103-3B23-4857-96DA-DBAB958F337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337466$4C8E8F22-1F8F-4B4B-8077-77F3BD9625F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337466$86A9CA21-5F0D-42C0-9D19-9DB520408DC8","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":"Q1337466$723B1012-467B-4377-B609-76D4CEBB084A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa8dec78cf9714947fbc461b34df1004eb25079","datavalue":{"value":{"entity-type":"item","numeric-id":4230360,"id":"Q4230360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$9F7F9DB6-1FC4-4867-A39E-3B626716E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471316f95bbb8eb37581266344d3aada2d329919","datavalue":{"value":{"entity-type":"item","numeric-id":1209305,"id":"Q1209305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$4B789F91-CFD5-4CDC-B19A-91AC432636DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3ec01883f9afb7f64445e0b4904ccd7aa4c19","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$C2F82C98-E0F2-4C95-A471-F0B756E78A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a3c56a9c2e26fe22a7a8fa0ec9218029f11576","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337466$2918B335-E6ED-4124-A9D7-EF0ABBCCF53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d02231aeb39857815f22824ae75085d08119697","datavalue":{"value":{"entity-type":"item","numeric-id":4230360,"id":"Q4230360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1911770439b7693e0c45431d0074668011a37bb6","datavalue":{"value":{"amount":"+0.9955531358718872","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":"Q1337466$4F8D54E4-E4CF-4601-BAA7-071FE79356A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12544f651698ceee095f0e7c8b99ef30d7867413","datavalue":{"value":{"entity-type":"item","numeric-id":1908346,"id":"Q1908346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b6868eb1b42f71a8fce046e4f7269827975745","datavalue":{"value":{"amount":"+0.8275823593139648","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":"Q1337466$B79935EE-D9AB-4083-B298-3D2FA6E6AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2bc2b6d9b58447a0281751fe48adb24e7cb0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4448357,"id":"Q4448357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee6784cee11a5ba030fc471d70086c882258cd2","datavalue":{"value":{"amount":"+0.8179947733879089","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":"Q1337466$CD5FCE99-97AD-4F54-87A9-B902105705B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83df61e89b51ff6494133e009ccf697c9c8a8feb","datavalue":{"value":{"entity-type":"item","numeric-id":3474631,"id":"Q3474631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f76021f3889efee8bd0250439c8e3b0920a094","datavalue":{"value":{"amount":"+0.7951557636260986","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":"Q1337466$B3BF7DEE-E21E-487B-AFBE-22A9D82B510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58187aa1ae995c54bf02bfe4d502a8d55c027855","datavalue":{"value":{"amount":"+0.7882941365242004","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":"Q1337466$53AF23B8-06DD-475C-BCDA-098F776F44DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient inference of partial types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_inference_of_partial_types"}}}}}