{"entities":{"Q6159943":{"pageid":13294804,"ns":120,"title":"Item:Q6159943","lastrevid":58737660,"modified":"2026-04-06T13:07:05Z","type":"item","id":"Q6159943","labels":{"en":{"language":"en","value":"What\u2019s Decidable About (Atomic) Polymorphism?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700632"}},"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":"Q6159943$7DC0BF0E-85CC-4E05-A610-9F41578C6732","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"833b94707d11d9754b30179a565d9345a149561c","datavalue":{"value":{"entity-type":"item","numeric-id":2117747,"id":"Q2117747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159943$3B1472A7-37A9-43CC-B337-90A8FF4E3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff00a37020abfb1072c98141396d6673e6995d93","datavalue":{"value":{"entity-type":"item","numeric-id":694490,"id":"Q694490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159943$A62A7B03-A7E3-4276-BFD0-73DE76372369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159943$F22D4EE9-ADD1-421C-8039-9681ECE4FF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e909a00d5c31dd639ba1ac5c834a3dce45c3df7","datavalue":{"value":"https://arxiv.org/abs/2105.00748","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159943$44BF27FD-FCDB-44B8-A159-F958EA6997DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$510DEF83-CE50-47BE-9E6C-F0ACC63820E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$4E208BBA-490B-4B95-8E04-65F6290F67B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$64D4FF31-4C99-4016-9109-EBF256EE9519","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d95c0c3e2388faa40174ee43d5b700b57c102562","datavalue":{"value":"7700632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$859D7E19-A636-43CE-8124-995268E64FE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be20eb1b052ebf4a91604414a9c233588695fd3f","datavalue":{"value":"atomic system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$1835FAE6-9C25-4516-897A-28DDEE10BFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$5F82F09D-B863-431C-921A-3CCF5D569109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f352a9f52f6f52577a34034b3dd932759c1369ea","datavalue":{"value":"ML-polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$BCD17B35-8BF8-423D-AA5B-EAAECF200728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5e78b438b6b1c09f22af7529224da8edd3a394","datavalue":{"value":"type-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$4243029E-9F9A-473A-B892-0D068C91A532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$482525D5-8490-4CCF-BA1F-2EE66E990521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573dd28224472be702c32f92d9f2e6fd28822f8a","datavalue":{"value":"free theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159943$AA6DA9A4-D078-4272-AB5C-2B4A1C960CCD","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":"Q6159943$148EE6A6-A1EB-445C-BC72-D4951A29C86F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59821e0ee733db1bd0096e852a22917caa5c11f","datavalue":{"value":"W3187018013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$37AAE755-E92F-413D-8B4C-DC5090C2D297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4401c00a07afebbb8c24d1eab6e0228da3916946","datavalue":{"value":{"text":"What\u2019s Decidable About (Atomic) Polymorphism?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159943$9D35B014-86A1-4742-A72F-EC4BF844ECBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc23f3664bd6e719b6ba4636f8271736a5968a7e","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159943$B8B65A84-0EC6-4BA2-B4E8-2026C558466E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7795838457f6bfd7aee37a311c829cb505538df6","datavalue":{"value":{"entity-type":"item","numeric-id":5101355,"id":"Q5101355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e8da9a3b4cfff4d768ebae55a81eaa14352793","datavalue":{"value":{"amount":"+0.8582912683486938","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":"Q6159943$6E8AB08F-EC32-499B-93EB-38E109C442A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2da25202cf31d51bf3b5ead736f10c3ab5e6620","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6d0bcfe4e4255add5c87125205464abfc5cf23","datavalue":{"value":{"amount":"+0.847827136516571","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":"Q6159943$5AA48FF3-C742-4D9C-909E-DA7322F6B481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5fc02249d7fe072d2dfa32926af06efc19c9","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a177dcdf2feac4fbb3971d8ddcc3b691ff0ace79","datavalue":{"value":{"amount":"+0.8130295276641846","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":"Q6159943$B673F519-BEBA-4DBB-A3AE-077BE7C9FB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3092969ca9643ca76d6fb233e82cb29400a6fd8c","datavalue":{"value":{"entity-type":"item","numeric-id":690505,"id":"Q690505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e223e62c20e4e7acbeaa158b432bf191524fed88","datavalue":{"value":{"amount":"+0.7954139709472656","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":"Q6159943$EB52B3F1-B5F6-42C0-B3B3-D8CB68E88709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff30d0d30f9664fc19a9db65fe235c61fdd7274d","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d631247c4044d26a39da6de75962e5366a8d12d","datavalue":{"value":{"amount":"+0.7890242338180542","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":"Q6159943$25A80324-31E0-46F6-91F4-5702D2F94EEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159943"}}}}}