{"entities":{"Q2409738":{"pageid":2420481,"ns":120,"title":"Item:Q2409738","lastrevid":57908391,"modified":"2026-04-03T01:16:26Z","type":"item","id":"Q2409738","labels":{"en":{"language":"en","value":"CurryCheck: checking properties of Curry programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791228"}},"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":"Q2409738$15AE3087-B231-4A06-B2D7-78AE65298EB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ab3c815ad913ea8e9f29a2a493045586cf14852","datavalue":{"value":{"text":"CurryCheck: checking properties of Curry programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409738$11DD37C5-87E5-4AFE-8F77-DB2EB13111AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"516bf9152df276ebc008160ff6295baa45130436","datavalue":{"value":"1485.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$AECF79B8-CD71-49D3-B735-5774F2671ADF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17c2f45e9af430aff489ee7cd65243498c30e731","datavalue":{"value":"10.1007/978-3-319-63139-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$8638051B-16F4-40D9-8B45-A2DDC58F1693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409738$0578D960-0C5E-4284-8967-27DEFADFB9F8","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":"Q2409738$34C3C703-3141-40C4-A9CF-CA7E19721943","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c42552bafcc4c08a4129f2a448e5edd80e87b69","datavalue":{"value":"https://arxiv.org/abs/1608.05617","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409738$1A160FE6-156D-420A-8B1F-2164E55FF1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$76846446-504B-45E9-A399-E9C59349E607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$17C5B012-4331-47AB-AF84-602E43C2C8B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c0d4f92aae1fc4e3790f055998a04e6e1c8c00d","datavalue":{"value":"6791228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$8C12FECF-20E4-41AF-A1E5-E0CAA577E495","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":"Q2409738$5F7B8A26-845D-4352-8DD7-152DB9A029E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c8e71a476b4536289f50026b5addc74c503fe07","datavalue":{"value":"W2515274237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409738$8F7E871B-16A3-4062-8667-7B2EC035A344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b27df0949931fd68a0eff63756bc2b84649af01","datavalue":{"value":{"entity-type":"item","numeric-id":5390283,"id":"Q5390283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee091f84e900de56d55d1ed5f5a0869f8c6e51a","datavalue":{"value":{"amount":"+0.7330291271209717","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":"Q2409738$26DDD305-6535-42DF-AA75-4847BD132D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75b5a1756f17a1ed9c80bc2fba24de6780695ad","datavalue":{"value":{"entity-type":"item","numeric-id":5134280,"id":"Q5134280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f65c9ce111ce3950abd8ff584fd526d3e889a0","datavalue":{"value":{"amount":"+0.7135930061340332","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":"Q2409738$1E610332-2E6D-4C25-A991-8E4374A44FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27101cbebd1eb92ea8415aa406c2e80bb69927a6","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d34ab51fc223a1c04a3bdc9bb45118cedd058c63","datavalue":{"value":{"amount":"+0.7111534476280212","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":"Q2409738$A62D0599-A978-4706-BC45-1D873E6337B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4b2dbfe6ebb3270e2f8dadfff8752a99e2ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":6102253,"id":"Q6102253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b9820056f7d061507c20ba359e721f82516ebf9","datavalue":{"value":{"amount":"+0.7034817337989807","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":"Q2409738$B51926FC-19D6-4F22-BFEA-6382D9A83A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896e4cb924f5559b0c9344c2fe92f4c8cc87cb56","datavalue":{"value":{"entity-type":"item","numeric-id":2864514,"id":"Q2864514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc8857516a542889ac9976ba1f81521d8a91999","datavalue":{"value":{"amount":"+0.6947401762008667","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":"Q2409738$409F21DC-4325-41F3-8517-C5653461D62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409738"}}}}}