{"entities":{"Q1694026":{"pageid":1704767,"ns":120,"title":"Item:Q1694026","lastrevid":57466659,"modified":"2026-03-31T01:17:30Z","type":"item","id":"Q1694026","labels":{"en":{"language":"en","value":"Reasoning about algebraic data types with abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833264"}},"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":"Q1694026$3E05C57E-75F4-46F4-85AB-601451D18EBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c970123d22ffca142ebd46f065b31aebf534536d","datavalue":{"value":{"text":"Reasoning about algebraic data types with abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694026$33D2985E-A74E-4023-AAB6-AA20AEDE430B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96ee49795bc8ce5e99194a85aceececcd144cdee","datavalue":{"value":"1386.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$4A563FC6-0B63-4047-9FCA-42B3E82E146F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d76b5772d88636295353d713db8099fd30c9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1694024,"id":"Q1694024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$433901FE-0D83-4E18-BD77-CE399F0C111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bef8972131bb2d404ab73f1778b26b1f419d104","datavalue":{"value":{"entity-type":"item","numeric-id":617713,"id":"Q617713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$4418E09D-007D-46CF-99BC-22347E47DF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65191862b1e49d35d5ac78419fb25bec955bf14e","datavalue":{"value":{"entity-type":"item","numeric-id":1694025,"id":"Q1694025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$7D92E269-64E9-41E3-A4A5-C072C4AFC1FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$90388447-15AF-428C-9EA3-E4CC9CF05E38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383a9803196b62dd313ef881011fb66cc1ed491d","datavalue":{"value":{"time":"+2018-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694026$C3FE1877-25EB-4BFF-80D4-5EB4EAAF8999","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5430ec601edcc8a77903daf22dca8f709e73e2b7","datavalue":{"value":"https://arxiv.org/abs/1603.08769","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694026$37185439-5697-4C49-8111-6C29916D416E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$D0112CB8-2AAA-4F05-AA36-32C928CF31AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$CC9498DB-238E-487A-B85E-4FFD3D4AFDB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f29b47c5a086f93bca901b263a70776dfb72b32e","datavalue":{"value":"6833264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$566F5E5E-8851-4355-974D-140F1B6883AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694026$50A91C3E-BD4F-4DBD-B0C4-617F7F6B789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694026$E7B85965-1DB7-4E71-AE00-14FEFF2D31C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694026$DAFAA980-B852-439F-BC1B-D0A40EB8342A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$D86A33B1-FFA8-4F30-8BEA-58916777DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94a83aebbff287adfc2566cf5a58d543fa9638cc","datavalue":{"value":{"entity-type":"item","numeric-id":21152,"id":"Q21152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$063AF457-F5A4-451F-B959-7E6577591AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f36b54767691a71775cf671bfcee6471fb07b30","datavalue":{"value":{"entity-type":"item","numeric-id":32549,"id":"Q32549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$A5D9CF9B-9D97-4EBC-90A7-B220798267CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$5DBCE1FE-4322-4466-9041-28898BD35F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$7E6EBDFA-4D00-4049-A1E0-6FC5D5F407C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$695A0A16-24F4-42C6-9D56-C40B5092300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72ea0df959c902fb2bc6b786844724316d581c1d","datavalue":{"value":{"entity-type":"item","numeric-id":40257,"id":"Q40257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$D114CA3A-CB14-4A2B-A8F1-97FECFAC8BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$AAC1EEBA-1751-4D2D-A4F6-FB1093679E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$3DABBE48-F027-424F-890A-158C752C57A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$3A66C1FC-EA62-4E38-BEF9-36EF913DC7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$CA2783BD-A265-46B6-ADF1-5FEB8432CA3D","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":"Q1694026$21B89460-1079-44F5-865F-44DFF343F17C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6db022fd8fe3a1b5d5f67f6ec1c704e01756620","datavalue":{"value":"W2331781799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$DE4B9F66-7ED1-4317-9CA3-7A7E476D3BE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed02573663da68744c881b10967b1f1f843cd08","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$9868B695-2003-4425-9CDB-F413A3864499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$FD89330C-0C27-479D-A0E2-B8A06723622F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620e4e63cec9d7a183b3bc9b7082cb1e2f14d371","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$DA2C7F2E-2664-4FBF-94A3-08C417D7AA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46cc81367c8631f377658123ef0e15c7d8efe64","datavalue":{"value":{"entity-type":"item","numeric-id":5505175,"id":"Q5505175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$74E3064D-922B-40FF-9150-E36B2035F752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$3A0311B8-93B5-4484-AD39-CF18BA8E52F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$65453B91-40AE-48FD-ADE8-C897098157CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359902a223f2ffbc7e18e5d836332573e45d8c6","datavalue":{"value":{"entity-type":"item","numeric-id":2942864,"id":"Q2942864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$A078532F-A240-42A4-86B2-AF1F4E0E43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$08D55815-3039-44F6-99BE-86B7224EFEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$67084AC4-1718-47DE-94F2-3A1CBAC36526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$3B81E5B2-044A-42D4-9E04-2EF4B5E6BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f425d2424dea3c24ef7c01081663e6200bc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5191097,"id":"Q5191097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$F969FC21-636C-4713-A00F-869703942A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7b98debcbcc8090e087621f8cc1dd99bef9d11","datavalue":{"value":{"entity-type":"item","numeric-id":2732561,"id":"Q2732561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$E9877474-7583-4770-A195-C3609B5AED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0896ea051424571856b7af2d59c1ac59a09686","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$3FD92A63-892E-4FFA-914D-75B288F603D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6489cf91e9b20f63ed7456f579d1977e07a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$9B489656-8C1A-4819-9AC7-95E43358D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9449c19c7b5c1f51949e3ece7e9c1d43e3d4ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307055,"id":"Q5307055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694026$33929EFB-5560-4418-94D4-4F8099993E3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c392a7a36f4c77aff850866021ad58595ddacf","datavalue":{"value":"10.1007/S10817-016-9368-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694026$4314E3A5-5B41-4687-B41B-03C6969E3954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951d8f9e4dca86608cf14ef2ff8c919896ab86a","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a2e0717dc8d8f6fb623fd96a917e679bccceca","datavalue":{"value":{"amount":"+0.8071572780609131","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":"Q1694026$71DFFB87-2035-435F-99D8-CB8E523604CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2736b661563708670c0260aac3786ab930b183d","datavalue":{"value":{"entity-type":"item","numeric-id":2360873,"id":"Q2360873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2ebb98b73e672c4a72954b27bc51ae8ffcb6d3","datavalue":{"value":{"amount":"+0.6937865614891052","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":"Q1694026$B4988011-D390-40E6-82DA-D493C90F5092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5192e189433aa3c67746a2f4880b6830d9d2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93dc3a547e88a64285aef43ad531ed7f1030008","datavalue":{"value":{"amount":"+0.6928861737251282","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":"Q1694026$EAC0067E-DDDF-49A7-AAE9-EDD36D4414D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bde2ffc60870b352ef1df4d2d7f377f5f1c11ad","datavalue":{"value":{"entity-type":"item","numeric-id":1201295,"id":"Q1201295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb4bc2a1026c8089ec21787f8c55a0134ecd5c7","datavalue":{"value":{"amount":"+0.6835883855819702","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":"Q1694026$033E667D-F854-489A-861F-2E77A59F3376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c0bf4dfbc1752f4a51097e56384e068b46526","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63593ce15bb84e7facf8e1853cafb24cd64d3b07","datavalue":{"value":{"amount":"+0.6782413125038147","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":"Q1694026$CC9AFA76-8BAA-4329-B4B2-E4B1E1D3ED30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1694026","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1694026"}}}}}