{"entities":{"Q5111914":{"pageid":7141488,"ns":120,"title":"Item:Q5111914","lastrevid":53742284,"modified":"2026-01-25T15:47:10Z","type":"item","id":"Q5111914","labels":{"en":{"language":"en","value":"Semantic evaluation; intersection types and complexity of simply typed lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205341"}},"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":"Q5111914$92D7842D-A18B-4CBA-A1DF-8C060E803FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2f500b906cff6fd8a1aa34e66213f2975b81974","datavalue":{"value":"1437.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$42D85F93-2603-49DB-9EF7-8CB77780D7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111914$DA9B5AD7-498A-40CB-B252-4CCA9ADB0E47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111914$86CA7F52-24E8-4F28-A04F-7644B0B0FAEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$0067FFAA-7B82-4BAD-9EC2-F7C2D74B5972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$DF6A7B24-7C36-4839-8D65-A0A5A35A3DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$6B84BD9B-322F-448A-AC9F-048FE9E5A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$7F03C20F-93DF-4E8C-96A2-1F11E96B08D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4d7fa65c4cd105f73260371b921ae32ca5d883","datavalue":{"value":"7205341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$9E60C379-6239-418F-A7A8-A9676AEEFF2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111914$724A986F-CB66-4612-8C77-513D07E2A6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111914$C0452190-56C2-4722-A8B5-D05748FA8FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111914$9DF34838-6F86-4B49-9780-FBD54D14F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111914$88D24A38-C8B0-4DC4-ADB9-E46D51843423","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":"Q5111914$D998B6A9-F86B-4A3B-9732-C0CFC9E55591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e720eca1a4e93393a2d5f33040188219c0f1a235","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3501/pdf/24.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111914$003658CE-D0B5-4A4A-8844-C5EBBA19FB3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a8d4b2ba4d3440aa0190446adccd6fc5ea4fb6","datavalue":{"value":"W2246934006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$7281EA7C-8E96-4DB3-88C7-FD634EEBBF74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"167a94360e67b4c328ca6b5e596a7b7c40f8c8b5","datavalue":{"value":{"text":"Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111914$FA2318EC-E04A-497A-8CDE-79757AD0282A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc5137a96908a9770a8401585bdd1e052b1d1b60","datavalue":{"value":"10.4230/LIPICS.RTA.2012.323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111914$676838CF-8770-4620-B515-74A878B486BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcfa93fd42706fd250b86c0229ac5eea7f43930","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d2a6d22b88c0db4c11cb8d5fbe7fb1873bdc9c","datavalue":{"value":{"amount":"+0.7549431920051575","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":"Q5111914$D0EF0B2D-8946-4A09-9EE8-789F43ACFA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6311ab4f259f1ff1759e1de1653c6e01e6fc9204","datavalue":{"value":{"entity-type":"item","numeric-id":5308026,"id":"Q5308026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9f5e230694e7121018bc5ef403c28d23abe914","datavalue":{"value":{"amount":"+0.752120316028595","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":"Q5111914$9EB2EF6C-4F09-42E1-9D5B-78A6F4D03E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cdad27cec952b4a067ef178a26a1ca88d8989b","datavalue":{"value":{"entity-type":"item","numeric-id":2841227,"id":"Q2841227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf95e19ead8bf73e0be490eaabd393385be8209","datavalue":{"value":{"amount":"+0.73884117603302","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":"Q5111914$85322951-AD0D-41E9-A2CF-DED9D7D95751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1baed9d8be44c4fdc43c2e3c2fd092767b20f18","datavalue":{"value":{"entity-type":"item","numeric-id":3638274,"id":"Q3638274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f4949ac53acfa01683ac595b774bdb86f0533","datavalue":{"value":{"amount":"+0.7346231341362","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":"Q5111914$727F0428-06FC-44AF-8270-6838CE3B2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcffa8894e2339f068fc5f5814ba951cff769c6","datavalue":{"value":{"entity-type":"item","numeric-id":2566033,"id":"Q2566033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc16976446780b63b420a13891e5b944c1b2c92e","datavalue":{"value":{"amount":"+0.7312041521072388","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":"Q5111914$C5D8790E-31A9-4422-9285-CEE230209DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111914"}}}}}