{"entities":{"Q3090883":{"pageid":3101598,"ns":120,"title":"Item:Q3090883","lastrevid":51324803,"modified":"2026-01-17T18:42:45Z","type":"item","id":"Q3090883","labels":{"en":{"language":"en","value":"Minlog -- a tool for program extraction supporting algebras and coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945243"}},"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":"Q3090883$7AB433DE-E5A8-4D8D-B3ED-B5788F7A7C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"727013457b268842b030f45c2bd889e853e5f35e","datavalue":{"value":{"text":"Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090883$135BCD21-1B87-48EE-9E22-8A38A27921F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f964acc32b2d5ffeb7c1dd49aaa0d592f6527f67","datavalue":{"value":"1344.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$EA6C58D7-B968-4FC3-A576-815B7A4B3EF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dfb239a0386428e621aa4f7a944ad5af32636e5","datavalue":{"value":"10.1007/978-3-642-22944-2_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$D933F5C2-404B-4CAE-9619-150A71CE18EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$8902CFE4-8550-4FCF-850D-A9035001A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e876e8b0b62c093be1b48036fdda4e6051620765","datavalue":{"value":{"entity-type":"item","numeric-id":3090882,"id":"Q3090882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$45BECA48-04EF-48D1-AA14-C341DFF1CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$A56A07B7-53B7-490D-9057-82798859CD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c1321f49508cea4a158e2ae71d33c1ecda72d","datavalue":{"value":{"entity-type":"item","numeric-id":693062,"id":"Q693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$6730EF48-AC40-4BF1-8D79-51EBE39AEC9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$C570690E-520F-47B2-BD08-80DD7DFBC468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090883$BF8C5676-4489-4D52-9A9E-A994FB4CE141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$A7ED58DB-662B-4B4B-8852-EE0CA985F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$546B718C-EB53-475D-9183-AC4EF84DF8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$695DE624-FCB8-487B-88BD-20F649E212A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbf8f8fc581771983d0c9759fc56e7ebc189c56b","datavalue":{"value":"5945243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$E06AE096-01A2-4601-8692-D9229993B3FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090883$CFC4EFCD-859C-406F-A44D-FB057FD2B015","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":"Q3090883$0718B267-BB7F-4A8B-AF93-76FD8912CD9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68b7c65b7bc3a9a71ad214d0e987eaf793655cf8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22944-2_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090883$9AE781A5-87ED-4056-8FB8-E95B17AEA2D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d11632b9fc550f50163a4d9a4591cde31f6c1cbd","datavalue":{"value":"W74548528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090883$D7F17189-863D-42CA-9314-1D07242D4004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d6f3a403368a1af24bf10f96a5943d76bd9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5327357,"id":"Q5327357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be207afeaf2a8491ba18d69b21c3f9809959db8","datavalue":{"value":{"amount":"+0.8290022611618042","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":"Q3090883$3783B1F0-1851-47EA-A457-39E21D998AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dd5ca55f4367f2ed1011304c47ad16fa789bc9","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee22425dee222fda371f2e43e12689a256023c","datavalue":{"value":{"amount":"+0.8253059983253479","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":"Q3090883$AFF46297-FE2C-439C-832C-B4091CC40072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b8292193628a188bc123acb459a17506e04796","datavalue":{"value":{"amount":"+0.8253058195114136","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":"Q3090883$72B4F7FC-66C9-47B9-BAA1-04658A9D698D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fe93515ee90668801f1372f364c5f34ec6d42a","datavalue":{"value":{"amount":"+0.7860941290855408","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":"Q3090883$BE380ACA-4619-4006-8A39-DF37D29F5961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57042e6a915a642ec02f732104489a41bd8f29bc","datavalue":{"value":{"amount":"+0.7837125062942505","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":"Q3090883$DED3AF9D-2B72-4F04-868A-08865B26642E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090883"}}}}}