{"entities":{"Q1798330":{"pageid":1809072,"ns":120,"title":"Item:Q1798330","lastrevid":72981825,"modified":"2026-04-14T09:10:27Z","type":"item","id":"Q1798330","labels":{"en":{"language":"en","value":"A purely functional computer algebra system embedded in Haskell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962577"}},"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":"Q1798330$D63EA243-944E-4E02-9CF2-0BBC130A7C4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"376a726565800f5fe42d7699311448f30ea89e37","datavalue":{"value":{"text":"A purely functional computer algebra system embedded in Haskell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798330$33FF519C-325C-4D95-9CA7-1EAC853D2FD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1291baaf09d14d190f4180e1a346367a40dd96c","datavalue":{"value":"1453.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$28CB8189-C7F6-4949-A6F5-63440EA72CBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44b33badc32bc91c458421e58aa7ca9974fdf8e3","datavalue":{"value":"10.1007/978-3-319-99639-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$D05082BA-FDBF-40D5-B242-6B2EF7FEBA0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8affaca4a9f8abb3084e4c9e940d06a2e779a02b","datavalue":{"value":{"entity-type":"item","numeric-id":831979,"id":"Q831979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$6EC681E0-6143-4BEA-A1CA-5C125FFF8D9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-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":"Q1798330$46D9EFC6-B388-4312-97BB-9A6B1F7D6FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d159a194c1f4e1ddfe302abc7a6cbde5acde46dd","datavalue":{"value":"https://arxiv.org/abs/1807.01456","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798330$45C47520-F3AB-4B38-80F9-B6C57617B180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$0A7D21B6-D83A-4A7B-BE44-F97B16F43F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$658CA0B3-BBF9-4E8D-A62E-704B3DC92DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19fe784f6dd3150b0766b20c7d42832e1f60835f","datavalue":{"value":"6962577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$7B57F800-2458-4BFE-AB65-73D414EF13BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$38F82EB3-0112-4296-9C6A-591DE256FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"783e623dd5e268aa4411cfda34b497a533d05a59","datavalue":{"value":"signature-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$93D7FA27-0E2F-4167-99CF-41C9F25754F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4ab60c16fca7d682f612ebf48e93b938ab385c","datavalue":{"value":"computational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$B4EC4935-1D76-4C8E-A093-57281DB2FE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$16F84C83-F103-47F8-88F0-3F7C59832390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$781F6C46-9DC6-4DE7-A8DF-ABB5091FE64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$0BEA9EE9-78D6-479C-845A-E40D0341C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$8103C88F-1E91-4356-A862-27AFBE4FEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd0bc2de9be614357048753018b3bdfb79d97a1","datavalue":{"value":"property-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$B86552AE-4A28-4FEE-A458-A4C7875FFA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b87966da4a8cfe98fcc3308658b38cd72cf4a581","datavalue":{"value":"implementation report","type":"string"},"datatype":"string"},"type":"statement","id":"Q1798330$88D719B2-1ACB-4035-9E9C-30C5AD03E93D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$2FB68B7B-E5B5-42C0-AAE7-BDC66C80A667","rank":"normal"},{"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":"Q1798330$09683851-B026-4D3B-942E-B42485539D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1829b8a12ca60a3ed31c62f2bfbc6bb40d3c6455","datavalue":{"value":{"entity-type":"item","numeric-id":38081,"id":"Q38081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$23B538EE-9BEF-42F6-9D7A-B7E07952FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cbecc4392c6f2e0bdc553e09688d407abd5e0b11","datavalue":{"value":{"entity-type":"item","numeric-id":38082,"id":"Q38082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$61015A89-72E7-4D66-A72D-1332508C0D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"48aac82f70ef8809d8f2a71d5a4406396e38a4bd","datavalue":{"value":{"entity-type":"item","numeric-id":38083,"id":"Q38083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$B7A2062E-101B-46D6-9113-B6B394E88BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$0682C876-98D1-4ED6-8E04-E5A3B88F9CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$08732F32-430C-4700-ABFB-8259ED1556D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798330$DDDABC34-2EBE-48B8-86DC-DABB96753C21","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":"Q1798330$7F0991DE-467C-48C6-B56B-FA6199557DBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b91ec55fdb09a33244aa3f8e9038580d774c0ed","datavalue":{"value":"W2810463395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798330$D28FBF74-E02D-4C4A-9724-7A6E855725A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336bf179638d13d5719d112f3075612fff39af34","datavalue":{"value":{"entity-type":"item","numeric-id":5505495,"id":"Q5505495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c97c89a6bf79055fb323831ffcb17cc590bebbe","datavalue":{"value":{"amount":"+0.7852412462234497","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":"Q1798330$48C493C4-756B-4999-B13E-490B376FC1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27520adf3b1a8800b5df59ab65c5ced3bba38a70","datavalue":{"value":{"entity-type":"item","numeric-id":990498,"id":"Q990498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4954c9f2b653d59d086973f54b27f375220c042c","datavalue":{"value":{"amount":"+0.7600739002227783","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":"Q1798330$773B83CF-CAAB-49D1-B3B3-9D558830B582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fa174be350d15f32719e74a3c9677639f35386","datavalue":{"value":{"entity-type":"item","numeric-id":5394418,"id":"Q5394418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab66708bdb247206dd25103560ef160ab036125e","datavalue":{"value":{"amount":"+0.7245099544525146","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":"Q1798330$A0D86C2F-60FA-4AAA-9AEA-D1EB735D0CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e628734b5f02473e853aa25483a7c8b3fb6063b","datavalue":{"value":{"entity-type":"item","numeric-id":1012152,"id":"Q1012152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20044bef1d5359c709f3b9d332d40d975cb444a9","datavalue":{"value":{"amount":"+0.7086450457572937","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":"Q1798330$532B3701-DC05-4335-8C4D-934148A78BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a676858b53e53e933153883b9fc0760d4709a544","datavalue":{"value":{"entity-type":"item","numeric-id":4493234,"id":"Q4493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5bdeb47717c2e79812491fac470338920bf13f7","datavalue":{"value":{"amount":"+0.7077382206916809","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":"Q1798330$882434BE-7CC9-4260-855E-3B4A24A1C7F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A purely functional computer algebra system embedded in Haskell","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_purely_functional_computer_algebra_system_embedded_in_Haskell"}}}}}