{"entities":{"Q2889577":{"pageid":2900302,"ns":120,"title":"Item:Q2889577","lastrevid":51485234,"modified":"2026-01-18T11:26:13Z","type":"item","id":"Q2889577","labels":{"en":{"language":"en","value":"Soundness and principal contexts for a shallow polymorphic type system based on classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6043653"}},"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":"Q2889577$075A8B85-A426-4809-9416-F1E18C19166E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd03bd7ca27c878ee752cd4933bdbc393574e468","datavalue":{"value":{"text":"Soundness and principal contexts for a shallow polymorphic type system based on classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2889577$3FE98E36-0699-4417-A9EA-67538CE87EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9f52b06a67a07307e07e1e5a94f46ef292a13f","datavalue":{"value":"1259.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$94EC004D-5EFD-41CE-A347-4B0E9FB08969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889577$A220D892-C82C-470F-9EE9-8D10ACF38CE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2889577$98952AD3-F806-40CC-8C6C-E3925C55F10C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbb1fd18169fe8353f96ea31fc452a5f4c392a51","datavalue":{"value":"https://semanticscholar.org/paper/8257bf256f8bab68ce985b367de5b89ac2082c8f","type":"string"},"datatype":"url"},"type":"statement","id":"Q2889577$1370CD7C-4EC2-4586-8CFD-F35FEA82D08C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$38A54777-32FF-4323-A711-D1DB92B1659B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$C7928CF5-09B7-4A5E-862E-220CDD56E7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$D54FB59E-A4D5-49BC-B42A-E9EB87573127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e558cdd41d12761cd8e251386b41867e2b24c01a","datavalue":{"value":"6043653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$D36B7E50-856A-4BD5-84F7-A56D1D2A73E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$86D03AC3-404C-4FB3-8F48-8F506C1B5342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$46966E92-EF2D-45FC-BC6B-FED4144E06E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911297505ae94ee81fc05f3492f97c8df32edd26","datavalue":{"value":"generic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$028CC5D6-073C-404D-96E7-3112B55516DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b617518de0fe07cd6b2eacf7ca8fcc56d8879437","datavalue":{"value":"principal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$4CB02660-92F8-444E-9F54-72EF282C9751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$25A24B5D-DA49-47FD-A685-A5AFB156B6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29320729c2b88bd4f2fe138797188b019a9b8dbd","datavalue":{"value":"shallow polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2889577$1977F845-7727-4F9B-BADB-35460C85A386","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889577$5CCFD05B-8130-40FD-B612-96D09A2D68BB","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":"Q2889577$3FC0259B-CC6C-4124-BCBE-66C2C63B99F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"516cf75c142c9fbb4b78a6e61708abc4196e2e60","datavalue":{"value":"W2108441139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$F799CDD1-28BD-49A7-A8A6-2F8FC8725C81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a86bc76d0cb76d9507105479badeba5f3d74687","datavalue":{"value":"10.1093/JIGPAL/JZQ013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2889577$4AC33709-185D-45DF-8B31-A685A3BA3926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2889577$C5F92C77-7294-4C6B-9AD9-510FEC1B2026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fda9281cf90c653508787bd06b0f5edf6250721","datavalue":{"value":{"entity-type":"item","numeric-id":5899010,"id":"Q5899010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d3182f2b4e37a51fcbde9947803ee6a858e67c","datavalue":{"value":{"amount":"+0.8217372894287109","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":"Q2889577$E41E9B9C-F43C-4435-86DA-1BD2C2CD9B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df86000dc11c8983e74e53323da7dc7b011efaf","datavalue":{"value":{"entity-type":"item","numeric-id":4217956,"id":"Q4217956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be794d1aae695668d433fd0e0aac2b4c64861dec","datavalue":{"value":{"amount":"+0.74050372838974","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":"Q2889577$BDEE76F5-2066-4D78-B33B-DCE4AF408F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a1e465d9cf947edf3cb473af5303a9b11bb64","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c6834a47e3a3178cf79ac532f3bac25a996581","datavalue":{"value":{"amount":"+0.7356878519058228","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":"Q2889577$6CE69274-545E-438F-830D-CEA47F574E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e56fad770b21aac099f7fcd075ef7eb694223e1","datavalue":{"value":{"entity-type":"item","numeric-id":1854408,"id":"Q1854408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd396b770ce8bd07f8d868899f601899776a8d4","datavalue":{"value":{"amount":"+0.7224515676498413","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":"Q2889577$4EC84CB2-F452-40B6-907A-F3A05CE60409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66118c8bd507f5c048a8e4141ac25ef6374d2824","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed774eafcfa10acfc26c5569a6642c85ce711463","datavalue":{"value":{"amount":"+0.7194898724555969","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":"Q2889577$16A37033-973A-4722-A35E-ABEF65E30C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2889577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2889577"}}}}}