{"entities":{"Q2945524":{"pageid":2956244,"ns":120,"title":"Item:Q2945524","lastrevid":85129304,"modified":"2026-06-03T05:59:28Z","type":"item","id":"Q2945524","labels":{"en":{"language":"en","value":"GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481725"}},"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":"Q2945524$C9CE4DF3-DFA9-47C9-BD8D-991841D7044D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2606b5a3dad4bc8b28e0183f817c8ac9740fb86","datavalue":{"value":{"text":"GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945524$40E28560-1904-419D-80DA-89929A03F4ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"149c08cabe213d204dc6c8d05aec4b72fc6287f4","datavalue":{"value":"1320.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$9CD626D9-08BB-4E91-8540-F0DE95FC0FD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f851ecc524edf6d4ba03332f379b500ae46894b3","datavalue":{"value":"10.1145/2784731.2784748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$058C850B-2B0C-4DFE-BF31-255031082862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945524$C66D54C6-BC65-481A-B152-87A39D04F842","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945524$9AC63F81-0B34-426C-A50A-3DE0D26F81D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$9AC6479B-B73A-41AC-B9DC-8CAC97A3D4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$72327087-6C1A-4183-8E31-D9AC07FF7C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$1FDBCDF8-9F4D-41A4-B702-27725BD5AE74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92061af37329da15bbddccffe089c65c3b9a8017","datavalue":{"value":"6481725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$328BBB15-B60E-4F78-9007-AADB70436F60","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":"Q2945524$2802FDFF-8C2A-46A7-BD55-DA6BE9973A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945524$9B5B2CA7-F5B7-489E-925F-E45FF5000D5A","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":"Q2945524$632E0BAB-5910-47F7-B00A-B9B0372096EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ed08810e6dac20e0db57a073f3015230d2079ee","datavalue":{"value":"https://doi.org/10.1145/2784731.2784748","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945524$184C4AD7-1966-4B6B-A2B3-7E4F5257B8A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4024c0ced77cb8039a8f82e11ac921dae36c6937","datavalue":{"value":"W2074096153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945524$3F79498D-CFE6-46F2-AE1F-838F0E1C036D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness","badges":[]}}}}}