{"entities":{"Q2851085":{"pageid":2861805,"ns":120,"title":"Item:Q2851085","lastrevid":51837785,"modified":"2026-01-20T07:12:30Z","type":"item","id":"Q2851085","labels":{"en":{"language":"en","value":"On type inference in the intersection type discipline"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213323"}},"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":"Q2851085$0981842B-D845-49B6-986C-08F4FACF817F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3c9db3d18246430ac0d6e8506ca4ec5eaeeec81","datavalue":{"value":"1272.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851085$D556BE59-2685-464C-9D18-94954D26B867","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851085$BC229B4E-D0E3-485F-BEC4-454085D24C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbe8463f1d1d33534ce378806b20e8a6a95293f1","datavalue":{"value":{"entity-type":"item","numeric-id":2851084,"id":"Q2851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851085$24251C02-3BB2-4391-8217-AA747684338A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851085$65FD5FA4-909A-46E2-94A0-00802AC8D381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09601bec2e1560b93a4b701a79d038d40fbf6cde","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050589","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851085$7F7B65C8-C1E3-481F-9812-84235D13F0E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851085$F785BB0B-F156-459F-B419-2C389F1A1D65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b01c08c15e0dc27ecb5c55b2964d804dcc395b4","datavalue":{"value":"6213323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851085$BB271B9C-CEC8-4E6C-869F-527BB771A869","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":"Q2851085$AC5BE349-16DA-49F6-BB91-1B09D81444FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aefaf3ad3cf02c3563161b6b31ecd0c4a7627c88","datavalue":{"value":{"text":"On type inference in the intersection type discipline","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851085$6EBE3A16-B6CC-4BFB-BC77-51DE41F18D8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b60a48fccce9bd2910309eec203ab697e0a9d","datavalue":{"value":{"entity-type":"item","numeric-id":930868,"id":"Q930868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82289080345ae0dd77be5b60752531fc318b460","datavalue":{"value":{"amount":"+0.9191999435424804","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":"Q2851085$723DF68B-95EE-4AB6-9049-0AE38B57C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4fa3dc06a7ec04c149955b20385bac0a0d8354","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326935b88d5aa0195dba730f143b235a1918ed75","datavalue":{"value":{"amount":"+0.8660447597503662","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":"Q2851085$B6F23137-858A-41B4-83EE-D0955E7637E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a44ec3a25b73c5d8b9fa3fe2cf2ec7046dee8","datavalue":{"value":{"entity-type":"item","numeric-id":3786467,"id":"Q3786467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65c7d1217e995d8a2d241423b3d2644ff5ffa91","datavalue":{"value":{"amount":"+0.8492448925971985","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":"Q2851085$D9F3F847-A32B-4646-BC76-BE11AA005BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d559a15639c7c1533655c7ec0637ae7a9e9464","datavalue":{"value":{"amount":"+0.8389200568199158","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":"Q2851085$B5F1DA98-A2FA-442E-8941-94E600D148FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e21353a78c24d20becae17ce281191d3a8a723e7","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6474b9ac41590d5f09fa7e5e7ca85789f6f534f8","datavalue":{"value":{"amount":"+0.8329470157623291","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":"Q2851085$FBE9C25E-193A-46F3-BA46-5B302EE09760","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851085"}}}}}