{"entities":{"Q2409746":{"pageid":2420489,"ns":120,"title":"Item:Q2409746","lastrevid":57908313,"modified":"2026-04-03T01:16:01Z","type":"item","id":"Q2409746","labels":{"en":{"language":"en","value":"Coinductive soundness of corecursive type class resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791233"}},"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":"Q2409746$D2B6A4E5-AB7E-4C90-B1CD-4A57D995B0B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83e892f1782478f24a433d0e6c8b91c2fca11f94","datavalue":{"value":{"text":"Coinductive soundness of corecursive type class resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409746$8D2D59AF-7EA7-43CC-B4E7-84A0C7A462AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"430a4423bdcaf04a010b575dac619180cd5530d1","datavalue":{"value":"1485.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$83E28183-41B6-45D5-BD36-F02FF356E479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29241ccf60555fbec6738f31bef2bc30322134ef","datavalue":{"value":"10.1007/978-3-319-63139-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$E8E0AAB4-CDBE-4212-B388-2CA9DE4505C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d52696cce5e5e7b30b955fe5f15748a5600173","datavalue":{"value":{"entity-type":"item","numeric-id":2119107,"id":"Q2119107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409746$FF5389D2-DC9F-422A-9F07-A5662AD6EE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409746$91FF3DB7-5A42-4D58-8E73-61094796F772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409746$6E08E076-CD9C-42A5-AD36-1937FA12EA05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409746$1D784C87-7A4A-4A6E-B787-E9E6BDC178B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb323753f05aadc927ea170c9837ff248e7d2dac","datavalue":{"value":"https://arxiv.org/abs/1608.05233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409746$027473E7-4D53-4BCF-9C06-671A35FB6266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$2BDF97C0-CB91-47F7-A7DD-46133C56F472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$797D3165-79DE-4729-AA9E-413063197B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$EDDC904D-FBE7-482F-B669-AC90AE3CC004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe3cf6bee00368360441dabaf9c320fa2369644","datavalue":{"value":"6791233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$3EDE4E30-7BDF-436B-8E55-55048B474272","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$6ECA3FC6-501B-4698-965F-6212FAAF655B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$D5875667-CCE1-4402-A669-8B43CA4A06F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$E0C4BF85-6C62-4140-B6F6-FD60FE7179F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$04138049-59E3-43B3-BB3C-383D10A2631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$946AF89E-8EAB-4CC6-9877-BE7D7CA50346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409746$FDFC1BD9-3C1F-4C81-894C-AEB05E9FA45C","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":"Q2409746$44A9D542-5108-4E1D-94E6-35ECA9AAEC9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"205b6890b135aafa5f7f571a0fb9e7dfa426ab6f","datavalue":{"value":"W2517303054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409746$36A7209C-8F10-467E-8536-94633F5F9A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed706a74a9f1d8ae113012030bb4559fd2e7c63","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa58f945038d5949ebd717d64b4b18832f2bc17","datavalue":{"value":{"amount":"+0.824295163154602","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":"Q2409746$3B15C789-FBCA-4C57-B322-61B351FA6CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95184a3deb447e059c5a798e81c8c44969fcd365","datavalue":{"value":{"entity-type":"item","numeric-id":5743587,"id":"Q5743587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca841a1fc419d27956411c97c2dbf037d071dcd4","datavalue":{"value":{"amount":"+0.6910338401794434","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":"Q2409746$D9EA25D4-6294-4649-8F61-A67E60B96E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe5a4cd1595103f157f2ca898dd4a7011a7f9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5151011,"id":"Q5151011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e1b00a6ef2850142687c059131df3f7bfaa991","datavalue":{"value":{"amount":"+0.681884229183197","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":"Q2409746$100ACFE7-3AB9-4D0F-860E-602C5B904D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3a7c6a959c5a472ec28196942b5d8779631b1f","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e95dcfbf4a4cd010da314c25c000c5a1c094ebc","datavalue":{"value":{"amount":"+0.6808566451072693","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":"Q2409746$31A96845-CA74-4E34-9484-B68F67023748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39459d3c3401cc65cd5ccce244b29e6e5e5df15d","datavalue":{"value":{"amount":"+0.6802462935447693","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":"Q2409746$6E7CD122-3393-4445-AC70-16B33A2E2CD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409746"}}}}}