{"entities":{"Q2851092":{"pageid":2861812,"ns":120,"title":"Item:Q2851092","lastrevid":51837803,"modified":"2026-01-20T07:12:31Z","type":"item","id":"Q2851092","labels":{"en":{"language":"en","value":"Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213330"}},"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":"Q2851092$4DFFB528-E351-4786-9DDE-68EC3F3BB02C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e8b1fba16d3101eea3d9811fe2cdb64904c805e","datavalue":{"value":"1272.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851092$AC197508-AC4C-4F07-85EE-FC34B4F7C222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad6c36eeadbaf812f18dab5a1c1cce93e853d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2842833,"id":"Q2842833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851092$B15B94C1-5569-43C5-A9BB-58131E9A4052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851092$64130A55-AE7C-4418-9C9D-9DD324B88EFC","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":"Q2851092$5477A238-7738-4C19-8B8E-BCBF6C5229C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a2513cedcafcfc9b040ad7fd2a70ae75154bfc8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050656","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851092$8AB67690-A2EB-4020-805C-BBC6B0D4B4B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851092$F4367B7F-B9BE-460C-9F1F-02A160B50170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851092$6BF76FEA-0C80-474D-ADEA-FDB071CD0D8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb6af77cabd386857a39e4bb8ed4e92d8fc6d79","datavalue":{"value":"6213330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851092$78DA9D7A-EE83-43F7-B57B-258AAE9A1ED8","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":"Q2851092$51A2B29F-0E76-4372-8203-A172D62C524A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8cf056df0e77ec5231d5b36ae5ee1d3a6e4eb5f","datavalue":{"value":{"text":"Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851092$E0327CE6-2564-4B0E-A867-1392802E2AF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e1ccc017489cccd5b4637866f94f85dd0f5b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2892745,"id":"Q2892745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016671a8d75b7e24cea04a8032c0091428fdf562","datavalue":{"value":{"amount":"+0.8635740876197815","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":"Q2851092$E2DDEF15-70FD-49F8-A183-7EFA56AB8C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343efb3c93a1d0726dc89e08a5875cfa708ff09e","datavalue":{"value":{"entity-type":"item","numeric-id":4903714,"id":"Q4903714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d787d4be66f0dcc79cdd4efe4c11612a04f2fc","datavalue":{"value":{"amount":"+0.8530340790748596","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":"Q2851092$49B968CB-EAF3-4131-B7FD-04261E0D350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241fa85fab1fbb8731063dc0d36ef24d03c1f1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5308705,"id":"Q5308705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac63693387e5a81538c6e951ff550d00c8a270f","datavalue":{"value":{"amount":"+0.8313562273979187","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":"Q2851092$7C80C8BC-43AB-48D2-AB20-B40769971FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565e4b3737d792654d3469ad4ab8768df765b615","datavalue":{"value":{"entity-type":"item","numeric-id":4903717,"id":"Q4903717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285d596bcbf6aabe93f4d4077396938d3679a124","datavalue":{"value":{"amount":"+0.8210784196853638","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":"Q2851092$8B4AAEDC-68DB-4D1B-ACBC-0FE6282BFE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6917a9455ca51f549bd39d4dccf9a6ef30cf","datavalue":{"value":{"entity-type":"item","numeric-id":5505601,"id":"Q5505601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bdb517d68baf3846917e84f5cedeb65a19fd8f8","datavalue":{"value":{"amount":"+0.8070019483566284","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":"Q2851092$555A3F68-EB0B-4D30-B812-22494E54B066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851092","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851092"}}}}}