{"entities":{"Q3540070":{"pageid":5569974,"ns":120,"title":"Item:Q3540070","lastrevid":81044327,"modified":"2026-05-06T17:35:20Z","type":"item","id":"Q3540070","labels":{"en":{"language":"en","value":"Automating Algebraic Specifications of Non-freely Generated Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369267"}},"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":"Q3540070$E30BD8BD-1F07-4C13-B567-0970310D6284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26bc0d19e18a5c54df3ad96a566e96f75ebc96d7","datavalue":{"value":{"text":"Automating Algebraic Specifications of Non-freely Generated Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540070$58824D58-D70E-4125-9C16-F99EFAB917FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805c975b17040a6350551acee590713233fb6e9e","datavalue":{"value":"1183.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$E9FA37C9-A1CB-4290-8D7D-80B81FE1D398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd98a5c747e679232c49cba75fbe1e5cee9e15f6","datavalue":{"value":"10.1007/978-3-540-88387-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$69A4B5FB-39CA-4727-BC84-94A22CE342CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92085f665e1691633e521f7598972e8cfede053f","datavalue":{"value":{"entity-type":"item","numeric-id":616852,"id":"Q616852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$A0F4384E-2C9C-4BB3-9C64-AE249F3DE7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$89237C77-B5DA-4DB5-8B67-C0D685D920EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$CA846BA7-9CF3-49AC-BB45-A089047D6E8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$2750C0BC-74D8-412F-9199-CCEA872AD75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540070$DF712FF3-9323-46FB-9793-DD43E522C333","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$2B3C6F0C-F41A-4A48-BCD8-BB90C3844F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$A60AC728-7722-4E53-AB34-5182E42A0C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$BDB5352D-1F90-457A-9F62-36C37BE61784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49f657e5449fdabe6fb83e36469d280cda9fd331","datavalue":{"value":"5369267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$1B15AA8B-5CE2-4FA0-AD0E-6E31AC26FD78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$2C14A1E4-864B-4E34-8AC7-46EF35AF75D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$675CE76F-741B-46F7-866C-99C499FCA123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$CB0E5987-8E45-4693-95E8-0439CE06699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$308B25C8-1F7C-494E-91C0-08B2BFF7CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$CD569DB7-F91E-4FDD-8C91-2C5C314435AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5389df221eda7fcd8b42e7cf74a666749b83f4f0","datavalue":{"value":"SAT checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540070$D2916B1B-8278-4120-A8A1-F5A6510A4076","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$3347EC6A-C527-4257-B064-49058AF36472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$A49A502E-8B59-4796-BA3C-C3F6F4A7505D","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":"Q3540070$DCFF38A6-AD29-4E3F-B959-EFCF248D3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$E4E6A03C-DEA8-4190-9589-662CC77B67DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$080E0250-930D-49B9-B8BE-BB28AD0C114D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$7A114F97-F1DF-44C3-BF47-CEF351FA11F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$1B9DC0CA-A7D9-4ACD-B63D-A010ED25732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$ADB3003E-686F-402C-9154-BE2159EE6CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$486E874F-854B-4093-B55D-DCD53CE2A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$A1A13ADB-BA5E-4061-9A74-E2E7949FF6B0","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":"Q3540070$C45420F0-1406-4093-9D87-5F8D44F3C25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f071d490e2d7d3f6d3d61ccb175442a49705573","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540070$B2360E01-4C80-4B3B-ABB0-0A77C46CCA69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dad42727dae20c0bfcf63339051d4d0e7d21612a","datavalue":{"value":"W1526091374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540070$B745F0B6-89AF-47E9-9523-7F22DA130FDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fcbedbabd2b8bb762509e3130cecb2f506809a","datavalue":{"value":{"entity-type":"item","numeric-id":4809057,"id":"Q4809057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$A3F39497-1347-4C71-AFE9-995F529E68B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba3487c15800f36ba9934c0e12cbed912934b3","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$A282615D-D2A5-4517-A78B-51C7369764A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f017fef6a8054b97a88728b63dfe512ec7f57b","datavalue":{"value":{"entity-type":"item","numeric-id":5291078,"id":"Q5291078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$D6DD723D-D5C2-43CB-8B9F-269CDED94D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d296e63a202e1cf24711a66ebf7b8faacd8e1f06","datavalue":{"value":{"entity-type":"item","numeric-id":5458813,"id":"Q5458813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$E2A49F3D-E7D2-4536-A833-CEAA40C3F8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$FEF5D61E-8DC0-405A-B656-58A8CB8EE51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866d52d81f513a3274b059955e642288b252d431","datavalue":{"value":{"entity-type":"item","numeric-id":4790385,"id":"Q4790385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$CDE083C9-22C6-4241-AF46-1B2EECE35021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$0C2D0BF6-EC92-43C0-A873-3827B80F14CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d233e67344072737d280f066a9993fd208f9a94","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$ED6D06B5-407D-4ECF-980F-EC620327525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$7E605094-1500-4E19-8F19-0D2B6A51E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$D54100C0-62A4-4A00-B5EF-D0CDFC512908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$1DDB40C7-C418-458B-91DC-5C8A25258B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac251759e4b8b56a8b5131e077a39711e974270","datavalue":{"value":{"entity-type":"item","numeric-id":2702602,"id":"Q2702602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$757F27E3-3799-41A0-B042-44AE4CCCED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0c89bc5058478efe6521cbd23c3ae75b17e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539647,"id":"Q4539647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$BB2AB5C9-1344-4CDD-A6E0-03AF35EA6B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c78eba5e5fd5c0a92eed25371302058474624","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$0ED36E1F-E360-4085-B006-7AB9DFB3D586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540070$C14A3852-0F33-41BF-82ED-4E5260F86D81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f08514e105308ac9bf863ba3ff7906e104af95","datavalue":{"value":{"entity-type":"item","numeric-id":616853,"id":"Q616853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c4e65e0060bb14ae6d284f2720475d40447fab","datavalue":{"value":{"amount":"+0.8106827139854431","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":"Q3540070$450C98A5-86BF-42D1-A669-6C0D06BE4A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fee325c3ee8683351d6f8f9da6fb181525c18ba","datavalue":{"value":{"entity-type":"item","numeric-id":5458813,"id":"Q5458813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3a6cdfd7d45a84073b967a17528703d5045de3","datavalue":{"value":{"amount":"+0.8012952208518982","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":"Q3540070$B819A101-CB6F-499C-9DD1-3C391F8442C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f652a405339abeeecf5154866ba04ad769056025","datavalue":{"value":{"entity-type":"item","numeric-id":4809057,"id":"Q4809057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48191470c22dab3561a72636efaa3ebc05173592","datavalue":{"value":{"amount":"+0.7120906710624695","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":"Q3540070$8F1E3A5D-49EF-4153-8DE5-2A9DFBEE5FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f425fed38cf235f799151c1bb281e2606d35af","datavalue":{"value":{"entity-type":"item","numeric-id":4539647,"id":"Q4539647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b9485a2632da2f2744b05064c7a6b9e0ab3bfb","datavalue":{"value":{"amount":"+0.7031351327896118","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":"Q3540070$A474F09D-2510-4A88-96FC-C2391D74CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2736f35d7789a8d25016d311557b7ab4a81e1","datavalue":{"value":{"entity-type":"item","numeric-id":4933301,"id":"Q4933301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f39ed8d20b038254fd8fb0219da877a1158e208","datavalue":{"value":{"amount":"+0.6778842806816101","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":"Q3540070$FCDA3FC0-6619-464C-B706-A7E81C7D1951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating Algebraic Specifications of Non-freely Generated Data Types","badges":[]}}}}}