{"entities":{"Q1336737":{"pageid":1347476,"ns":120,"title":"Item:Q1336737","lastrevid":47277208,"modified":"2026-01-01T05:19:34Z","type":"item","id":"Q1336737","labels":{"en":{"language":"en","value":"Haskell overloading is DEXPTIME-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 681754"}},"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":"Q1336737$7E80FAAB-76DD-452D-BF85-AC9DFB18C3AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b844c8949bfa2c0bee37440aaeac590f4b087d6","datavalue":{"value":{"text":"Haskell overloading is DEXPTIME-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336737$26B6E1AF-92EA-404C-85E9-95179DFE41E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e668d95cf21a5aee8604d690b24f361ca74fbfa","datavalue":{"value":"0835.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$74CC4580-1097-4AE8-9C07-DAD564E596B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8da186cb1afc8e742e1bc796858872184c9e78ee","datavalue":{"value":"10.1016/0020-0190(94)00130-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$D9419216-E501-4667-8113-71C9EC11ED45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336737$A48FC5F1-BE77-4608-88C4-7A1017D7873E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336737$67754CB9-1DE1-40E2-939F-38F21D9EAF9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c4e5afb6084c75f4f8878bb3bd337019ced071d","datavalue":{"value":{"time":"+1996-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336737$EF3CADF2-14F2-4BC2-838B-B2CD104EE8C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$DCDE6E2C-D289-4B84-8E12-F99F611F6149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$E6481AE3-CEC6-411F-97C0-907E846F00A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee38ff44376e936c4e4575cb222bfc7356e26d2","datavalue":{"value":"681754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$CBC75EBC-5B99-4BB6-BAF2-0D8C640A732B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b2b9a08371e7fbf758264fed6aa8d7d21497cc4","datavalue":{"value":"DEXPTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336737$91F73751-D761-4CC7-A4CD-78F8C06EED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336737$E71216CE-0F14-4B5E-8B4E-CEEECF3563CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95118d2ab5563474b28040f0d23d220838befd4","datavalue":{"value":"Haskell type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336737$F051042F-511A-4B37-8611-5035416F1323","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336737$6BEDC862-9179-4547-AB01-EBAC9F446F69","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":"Q1336737$7F9E18A3-6D0C-478F-AAB0-200BD676CAE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054948e5d964835cdbf5946c58eaeeafe944db35","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00130-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1336737$496FF366-E913-4377-AB4E-064FF576FC18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b999be652d7b280f7b8db8f49a88d96dc3e4676d","datavalue":{"value":"W2001621593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$1843E424-431B-424A-813F-D14564B619D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bb26f80db37b9b4d2cbcccb135ebaceaff472c","datavalue":{"value":{"entity-type":"item","numeric-id":4027630,"id":"Q4027630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336737$60DE1042-34A4-400E-92BE-1C6F33AC2C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91565b5283557fd2b7530b87e8d42c5559562888","datavalue":{"value":{"entity-type":"item","numeric-id":5096180,"id":"Q5096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336737$772F631C-53DA-49B3-B166-7C10E5743883","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"66b8609c60a595f698d8364f6496473e64b31329","datavalue":{"value":"Q126322776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336737$DD027B50-846E-421E-A835-8B5130D4397B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f359aad6b0f5cbb483de14888812c2baac36b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":4027630,"id":"Q4027630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94447380150d5b7a4e147a18dc18bd78b0a8fe3","datavalue":{"value":{"amount":"+0.7912855744361877","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":"Q1336737$C0598027-188D-4E69-A2D1-475D0F6B643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f297914d6d3b3e91d0fe8565663a95a616cac83","datavalue":{"value":{"amount":"+0.7900703549385071","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":"Q1336737$3E2ADC9D-D97A-42D2-A0F7-97AF8766AF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d643c021e19b7639cef1e7815884a6ac1a10ec10","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a397fb1643e3cf87d70a2166b15049a7bbd5af0","datavalue":{"value":{"amount":"+0.7674530148506165","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":"Q1336737$3C15E196-1F96-471D-9C43-68149879CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbfa16fdd5061786ea870f01821880e254c29e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1350740,"id":"Q1350740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3ddd91938e74db8d6f59adf3c3c08301375c9e","datavalue":{"value":{"amount":"+0.7279486656188965","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":"Q1336737$30AF356C-D559-42F5-9995-AC395ED10935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651539920e00353d6d3183d2d3668b67d057be2d","datavalue":{"value":{"entity-type":"item","numeric-id":4632418,"id":"Q4632418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99372cbe9d93b96429bf39d43c40b90a4c49220c","datavalue":{"value":{"amount":"+0.7102232575416565","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":"Q1336737$E34640D7-3402-4040-BF70-F2BC65BAA3B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1336737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1336737"}}}}}