{"entities":{"Q1900315":{"pageid":1911057,"ns":120,"title":"Item:Q1900315","lastrevid":71736648,"modified":"2026-04-14T00:12:51Z","type":"item","id":"Q1900315","labels":{"en":{"language":"en","value":"Principal types and unification for simple intersection type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 811004"}},"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":"Q1900315$15E5A6A3-D63A-4D22-AB33-0DF8AE12531C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adb358ef62f679024da169e8b6a909481d4be6c9","datavalue":{"value":{"text":"Principal types and unification for simple intersection type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900315$6B66880F-73D1-4D07-A0ED-9F0F4F7ADD34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"120186804f2f5aa78b83aa824d9daa1535f63814","datavalue":{"value":"0834.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900315$FE1DD2A4-D426-4D58-996A-3AC36A96F323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900315$CC6603C6-1A65-4445-B5B1-5E807ACE658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900315$03978063-2884-4B2C-804A-B62AAA18A47C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900315$CD205872-3C62-4D55-B6D5-300BB7D1E339","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"070a70caded07d3199a9b728c1f2b1773cbed9fb","datavalue":{"value":{"time":"+1995-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900315$F624EDE0-1FA5-4A2F-B237-FE20533A3EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900315$A953A526-E3FB-4012-8CE4-7093A09CA335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfaef4e1d667af506afabf8a87c36f06d8053305","datavalue":{"value":"811004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900315$189FC983-902D-48A9-A4A4-F47C236C3654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d782c9bdb3b7204d4dbd0275cc322993f5f7c94","datavalue":{"value":"intersection schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900315$4C952AF0-9062-476C-B4E5-A1205F2ECF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5fa9301ffbdd72e7e8698b5d894d4eb561b03e","datavalue":{"value":"inference algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900315$15829AB9-C1DA-44D1-9C84-1ABF39CF625E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900315$E9FFFC5C-1108-4B01-AC8C-B713C874210F","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":"Q1900315$16EA36BF-8979-493D-83D9-23C5B7FDBFBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caaab6ade2d00399c0fa4d5e9c3abad55a37da13","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1141","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900315$DD5E810F-7821-47B9-BAD7-9BA6687529D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3bcb2dda3e0c5a9533940a85d333d85b54ebc7c","datavalue":{"value":"W1994139214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900315$96EE8350-0004-4F76-9CD5-D64FD9CCCA30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87494f6cc21a19859d6035909321be3bc75e0a97","datavalue":{"value":"10.1006/INCO.1995.1141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900315$6175A187-D96B-4369-8AE7-C9E70F369591","rank":"normal"}],"P1643":[{"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":"48e436c38006f57ead03b4e2385750e3e085808c","datavalue":{"value":{"amount":"+0.8591144680976868","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":"Q1900315$3906F932-6B4A-4C4C-BA7F-A536D4425C32","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":"c4369dfd6f8f650851b736a178ac1594a8f88322","datavalue":{"value":{"amount":"+0.8436993360519409","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":"Q1900315$C250E9B9-34D5-43BC-8541-ACF497B82B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"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":"Q1900315$2A5D994F-0D66-4B06-A894-D1B88E106DC4","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":"5e92026606790454be29046c50339dcd4d37dddf","datavalue":{"value":{"amount":"+0.8328989148139954","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":"Q1900315$F5A0F206-8B6A-44F0-BABD-422F65260BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e580dd738879786e1ecfa8dc2115c1331ef374","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff82c112f3c444052adcedc6fd40cfec44e024ce","datavalue":{"value":{"amount":"+0.804631769657135","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":"Q1900315$D00F7198-960D-44DB-952E-E77A2CAF0EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal types and unification for simple intersection type systems","badges":[]}}}}}