{"entities":{"Q5168928":{"pageid":7198500,"ns":120,"title":"Item:Q5168928","lastrevid":52044758,"modified":"2026-01-20T20:02:25Z","type":"item","id":"Q5168928","labels":{"en":{"language":"en","value":"Inductive reasoning about effectful data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318897"}},"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":"Q5168928$788D9CF4-8988-4996-8F56-847EFD0E0A35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db38be6d562d65e2767565a68b47270742ce986d","datavalue":{"value":{"text":"Inductive reasoning about effectful data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168928$50E7E308-38E0-402F-A419-2A2650673F10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65c007af40c8ce51147b24233013db4c562a0ccf","datavalue":{"value":"1291.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$3DE15C24-F612-40C5-B729-22888C9FABB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b41a3f25fb218e59e95bedc1a77a0d936c6b940","datavalue":{"value":"10.1145/1291151.1291168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$B0696841-89A8-4E5A-9A8E-00DAD1613F4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28211cb415fd8eb70c4bc98df367168868aeff5d","datavalue":{"value":{"entity-type":"item","numeric-id":879353,"id":"Q879353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168928$48D9BEA6-892B-466E-9AF9-B0D0CCD45038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35399beeafcf6ceacecd20cc40f92da70c2d6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":444498,"id":"Q444498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168928$58F6554E-B2F0-47B8-9DE2-A94C5E8D197F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168928$9E6E4159-E22D-48C9-A0D6-E737B85EE24C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168928$EBD7034B-7B1A-4D5C-B187-F3CE77A119B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$A76AC86D-CAC0-46F9-9336-2AD756424C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$C300F9FC-BAC2-4CDB-9327-6A1A8EBC8D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$F94ABAB8-1B8E-4447-BD02-BD69A1C324B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71419807112034a717b579445c1bac0ca4c34a76","datavalue":{"value":"6318897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$6436142E-D0F3-4BAC-8EB4-0ED502B6ADFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50fe4153a9991a66aa4dd5d49bf115ef049c455","datavalue":{"value":"abstract effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$A802734E-A7DE-4509-BEFB-B2D7B844F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$D52CE05E-3DB4-4A80-B4CD-F926912F57AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$F68F3439-AEE2-4A41-B893-F44843A5EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$C164A350-7BAF-4777-850E-496414F86CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$5BDA325B-5714-41AA-8BD2-CF3C9635E36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$F83B7963-2B44-460A-B63A-3D8AD6556767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168928$F513CDB3-44F7-45BF-8404-13D302C663D6","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":"Q5168928$C4750F1D-A0C8-49A5-AE10-6C029D448F4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"809b84eb1f0f943b77c2b98f355e87d1b2fb15a9","datavalue":{"value":"https://doi.org/10.1145/1291151.1291168","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168928$08469704-2920-4CD2-BF64-1DAA809A4F02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6bce7eef14e31093a7311676a00f33efb609ed8","datavalue":{"value":"W2106256381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168928$F7CCB42B-2855-4C47-A3C9-610186CCFA16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163de49cec43416857e5f066df8dd0ac03af53c","datavalue":{"value":{"entity-type":"item","numeric-id":2892757,"id":"Q2892757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6809b7d32579b3cbe6b02379ba9dce466a5dcc4","datavalue":{"value":{"amount":"+0.7513977885246277","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":"Q5168928$3FC248D2-DFFA-423B-9193-93CB303E74FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41b9f03876870add070e0f6113b1b0ac957ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":5371955,"id":"Q5371955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bca69d883117c7631759afb883c2045de24c59d","datavalue":{"value":{"amount":"+0.7254979014396667","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":"Q5168928$2CF6A850-09C2-43E9-9370-6F255D89CA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef375055e128d5ce974effc663bf7f3f9384c84c","datavalue":{"value":{"entity-type":"item","numeric-id":5018775,"id":"Q5018775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1417bd6ccb39c03b9557d6b8cfb3c9e8f4a25e6","datavalue":{"value":{"amount":"+0.7020182013511658","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":"Q5168928$CD28D57D-AC69-4FCF-B2FE-25C733239E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3746e0fab7921b7af377dceed9bf8c5ca69c7fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2037435,"id":"Q2037435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22f3295de23555968dd548c237a9c0965627f03","datavalue":{"value":{"amount":"+0.6975112557411194","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":"Q5168928$C60FD176-4AC6-4D40-822C-227F74D6F099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd29fa1b1ae9f629423860529a9b98cd61d4cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa96eaf0d908c29fa274bc917ba1411978a4fb2","datavalue":{"value":{"amount":"+0.6925964951515198","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":"Q5168928$4B229C9D-D64E-4BC0-9D2A-FECCFB3C799D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168928"}}}}}