{"entities":{"Q1014644":{"pageid":1016492,"ns":120,"title":"Item:Q1014644","lastrevid":66614328,"modified":"2026-04-12T11:18:52Z","type":"item","id":"Q1014644","labels":{"en":{"language":"en","value":"On the construction of free algebras for equational systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549393"}},"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":"Q1014644$0A7BCE62-B2D8-4F10-831F-81B20937F263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27d9b94a2544fae8830f05758f4db15be435ddad","datavalue":{"value":{"text":"On the construction of free algebras for equational systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014644$E78B1AB4-DBF1-42B3-8CD5-EC360777735F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c7195720bca10bc000ce75ef1fcc6863b226785","datavalue":{"value":"1170.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$887F4FA9-DAD9-4E2B-90A0-886DC948CC76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$19EF3A00-72E3-4DF1-9050-F9E233B6551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9977db334e09ca8242bf594e01c17b98c888abe9","datavalue":{"value":{"entity-type":"item","numeric-id":678838,"id":"Q678838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$2D6C1DCB-5F48-4E11-9898-CF902BEAB5B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$761EE477-F65E-4F50-9A57-0C3CF1EEECCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014644$8396B9CB-0CE0-49BD-A4FE-02AD2F99F2AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"859fcf1c8dcceb17fe6ac4abf6144df7696d07f7","datavalue":{"value":"The authors define a general concept of an equational system \\(\\mathbb S\\) on a category \\({\\mathcal C}\\): it is given by two endofunctors \\(\\Sigma,\\Gamma\\) on \\({\\mathcal C}\\) (the ``functorial signature'' and the ``functorial context'', respectively) and two functors \\(L,R:\\Sigma\\)-\\({\\mathcal A}lg\\to \\Gamma\\)-\\({\\mathcal A}lg\\) (the ``functorial equations'') with \\(U_\\Gamma \\circ L=U_\\Gamma\\circ R= U_\\Sigma\\) (where the \\(U_\\times\\) are the appropriate forgetful functors). The category \\(\\mathbb S\\)-\\({\\mathcal A}lg\\) of \\(\\mathbb S\\)-algebras is then defined as the equalizer of \\(L\\) and \\(R\\). All details are given to show how this (strictly) generalizes the concept of enriched algebraic theory. The main results give some colimit conditions on \\({\\mathcal C},\\Sigma\\) and \\(\\Gamma\\) sufficient for the free algebras to exist and be contructible in a certain carefully described way. These conditions also imply that the forgetful functor \\(\\mathbb S\\)-\\({\\mathcal A}lg\\to {\\mathcal C}\\) is monadic and that \\(\\mathbb S\\)-\\({\\mathcal A}lg\\) is cocomplete. Applications to concepts recently defined in the theoretical computer science community are treated in details, for example the Pi-calculus, the \\(\\Sigma\\)-monoids and the nominal equational logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014644$1C6DCFEF-5EE5-4C32-B8D4-C9126DB62022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$6D40E4B8-843E-4F65-80AE-1783203AC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$B806FC8D-DE7E-4B16-B72D-0B0D5038A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$BDDC623B-8A4E-46B2-8B0E-4C6D1BE7A19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$B3AAC03C-32FA-4D5D-8060-04A0AA0B74EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7af7243e39c4382451d889638afda181aeaf0643","datavalue":{"value":"5549393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$A23E1A5D-4A70-4938-A87C-F00C3B2D02F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c55faab83e4cf85ecc3f52e693b0fe3261c7b8b","datavalue":{"value":"equational system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014644$68BE1463-5665-4671-B3D7-92BBDEBEA197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014644$2B562940-65AA-4B06-816E-D9574964703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3363ab9a4708d11e9e6f4d17fe89356cb942e64","datavalue":{"value":"free construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014644$E2B3A48E-6DD0-4F24-A4E5-896B2F30CE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014644$AC94FDCD-C0FB-4F43-B4AE-C3C1D03DA597","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$B060D749-5E5A-4462-A07A-AC3CD547F9B7","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":"Q1014644$BFC7CA89-1364-4E3F-BA43-E8FD555FA212","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b926dba8418bf8af53f5a0ca69388baf6b1aedb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.12.052","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014644$838B4F5D-A271-466B-8A07-9A952A4155FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6f3b05e7972ac666476d37d15d7f2bd8e9530c4","datavalue":{"value":"W2102036964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$C16331B4-E16C-444A-85A2-DCC81A48095E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$5557A8E7-FBF7-4E16-BF8A-4C1EE52EEF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$B11DE6F3-7712-4486-80F3-56E12871DC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$332DC7E9-5B3F-438F-A2E3-93554E1F185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$B0FBCCDF-E60F-4616-82C5-6E2FDF253867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$B9B2DAA8-D4DA-4603-8663-8EA538594012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603c6b1fe43d7d619236ecd2ff3e6d4ebf437e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4499311,"id":"Q4499311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$01DFCDA2-6384-4072-8367-03B57893BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5adc47a96ca420bb12283570fe24dcdb71dd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$9CF0719A-BE11-4351-A92E-EAF4231EDDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9701c4e4a8a6a6373c23900beb1d6949083c86","datavalue":{"value":{"entity-type":"item","numeric-id":5603226,"id":"Q5603226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$614D74A0-EBC3-4CD6-9604-7B8B55D3E5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4d4d51eec50085395d381accdbc188dc3b4d39","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$AA1550FE-4E46-4A16-809C-9EB4C78F6A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$9D4F3BC2-6B89-41E6-8C60-6AB6FD698E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b178a749769d05e6b811f9c05f4c54497fc061ef","datavalue":{"value":{"entity-type":"item","numeric-id":4882491,"id":"Q4882491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$D57F8BFA-ED5E-4B62-AA2A-6231BEBE7612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b77c76291788d67b5cc53456f4160970986e99","datavalue":{"value":{"entity-type":"item","numeric-id":3612660,"id":"Q3612660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$529FE6A9-26A0-4EDA-8CBB-77391FE418A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$116669B4-85F1-475C-874E-4A7E87BA3FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7875d7ea39157b113d5f548125a22f295fddd065","datavalue":{"value":{"entity-type":"item","numeric-id":4825543,"id":"Q4825543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$FD5E1F2C-F84D-404A-8821-9F0DECCE8B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad604605d1a29b226be438b9060cd0726e1243","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$C06EF41C-7799-4195-8268-27F72D55E4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db59a8f34190362ca8d3ff9cc297a5b872ef504","datavalue":{"value":{"entity-type":"item","numeric-id":5464050,"id":"Q5464050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$5A1ECD21-FCC6-47C7-BDAB-DAFC326D6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$C40E53F9-71A3-4855-8FE4-7C90BD3496CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d9060cf421e0c2075d90927e72c1a502bf32ad","datavalue":{"value":{"entity-type":"item","numeric-id":2762218,"id":"Q2762218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$42C673B6-FFCE-4B28-9C9F-2D069ED87996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$779EBC89-B178-43E5-9A8D-ABDEDE3AAC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$1329CCDA-1F1B-4135-84DD-CC8E3555E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$2E095CD7-94C8-4C28-9162-6A32176E8841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$C318986C-63AD-4110-B65B-14581B3901E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$054989F4-E01D-49D9-80FF-D1114F504C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$7288E6E6-F69F-4D3B-9416-5A2F21263ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$1EBEEE3A-B974-4679-A946-EAC0A9580921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$602B2484-3220-4D7E-9C62-A9113D635555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905df8a88311db82e37f87e5596b4b57104bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$BFCB26C6-B6E8-4F81-BA7B-E3B99A91B92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed77c5e62052aba82b65d04f39d568dc334111ba","datavalue":{"value":{"entity-type":"item","numeric-id":5705870,"id":"Q5705870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$52005912-70CF-4CB0-A4C6-3B33FC6272E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014644$C084F08E-8040-44F8-843F-9BF3C619F098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b43abcc54c8a97d87611cc8b3806d9fc90ecf6","datavalue":{"value":"10.1016/J.TCS.2008.12.052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014644$4FD6867D-2A88-44B6-B0F2-9FA55FB733B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad376884e3682e272581f5a93ba92b63f6bf0ea","datavalue":{"value":{"entity-type":"item","numeric-id":5428843,"id":"Q5428843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3755b9562899ce0aca41d9972175dd1c9d8a78","datavalue":{"value":{"amount":"+0.9567018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$66F1A911-9D87-425F-89AC-76CC798DF115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb9b302733edbc2f5ed1f83c2ada2ac70674797","datavalue":{"value":{"entity-type":"item","numeric-id":4948534,"id":"Q4948534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef812e05f96f0b80f718b2647fcd762cb6fa359c","datavalue":{"value":{"amount":"+0.918437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$960B634C-1264-4508-81DD-8055A0E24CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe83c36d83169ea536a9b0566369306806a694ab","datavalue":{"value":{"entity-type":"item","numeric-id":952484,"id":"Q952484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da52a01b5432b49a74b889128547c31a28c876fe","datavalue":{"value":{"amount":"+0.9115514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$E1DCB427-54FF-4DE3-B39E-1BFD472FF667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011f66924eae67be01ea51e6f89fd264ef6b2651","datavalue":{"value":{"entity-type":"item","numeric-id":4793203,"id":"Q4793203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7deaad724c4dd5a830275d97561ce1eea899987","datavalue":{"value":{"amount":"+0.90257776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$937DFD05-83DE-425F-A227-3004045AD42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542061c5c55c836eaf98ce162ee67d77de77f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9458e7b1a4ecf6c221a167053486f2b6833255d8","datavalue":{"value":{"amount":"+0.8911408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$9793E02A-32F3-4DE4-AD6C-381ABA86B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96ecc7c783eedbc779b6c205de2acf059d83726","datavalue":{"value":{"entity-type":"item","numeric-id":1192202,"id":"Q1192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b492ce8a31667bc5a56fd217ec38f6e4aafc3b","datavalue":{"value":{"amount":"+0.89088976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$75061D83-02DF-4DF3-A910-CC20E6907786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0838bcd6d6e182a33a509d1e923c8b05bec541","datavalue":{"value":{"entity-type":"item","numeric-id":5479929,"id":"Q5479929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969f008190899e46b267b72b859e4d9ab4684133","datavalue":{"value":{"amount":"+0.8891453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$9C9AC25E-34B0-4542-BF6D-E269310F3DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6669dd9655390c61129dff53442b648dba32841","datavalue":{"value":{"entity-type":"item","numeric-id":3317089,"id":"Q3317089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ad2aa2a97c08c491647970582d01790bc02937","datavalue":{"value":{"amount":"+0.88896567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$B466E76F-785C-4B6B-80D9-EB44F7EC9ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f70f05f6363bbca8105322baa9de15d45a47246","datavalue":{"value":{"entity-type":"item","numeric-id":2289091,"id":"Q2289091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779e4c01f001f7cf4a11b5603a3f8ddda0e4a4a5","datavalue":{"value":{"amount":"+0.8886651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$FBD44CA7-D78B-4968-9ABB-77A4C4DBA55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48080e5f99870dfa5e8068ac9dbc61dc60e706ec","datavalue":{"value":{"entity-type":"item","numeric-id":1915125,"id":"Q1915125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0178e03cfc19a92595e7bd8da24742201fb95f7c","datavalue":{"value":{"amount":"+0.8878291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1014644$753C66E1-DD08-43D6-8B18-3596D08009AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the construction of free algebras for equational systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_construction_of_free_algebras_for_equational_systems"}}}}}