{"entities":{"Q1919702":{"pageid":1930444,"ns":120,"title":"Item:Q1919702","lastrevid":71162712,"modified":"2026-04-13T19:53:31Z","type":"item","id":"Q1919702","labels":{"en":{"language":"en","value":"Combination problems for commutative/monoidal theories or how algebra can help in equational unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 909646"}},"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":"Q1919702$13F35FA5-BA44-43BD-884D-EB4653B18BA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c66169f6f0550b0bcd7b550b2a97820470f6cc31","datavalue":{"value":{"text":"Combination problems for commutative/monoidal theories or how algebra can help in equational unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919702$1B5E0B91-FDC1-4493-AEEA-A148B56461BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1c255837432491386537ff8b889818877ace4e8","datavalue":{"value":"0853.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$08F22290-7E4E-4562-9A69-CFFD689A935D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22a7839632f79b1ec6121df102775c715873411d","datavalue":{"value":"10.1007/BF01195536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$0F240AB8-50EA-498D-90D3-EA9A6E8CF8DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$4345EB11-D82D-4435-A665-62CC067BBFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f55492b021a80a5e4ecb0c87db8c14b8fd9724d2","datavalue":{"value":{"entity-type":"item","numeric-id":696965,"id":"Q696965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$88C2D5B3-ABDB-4949-9474-C7740EA7BFAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$8E8E270A-2818-4A42-A487-0DB6F84F40A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67f85cf71ecf4e4f8b75e8f9c41b44de26d27c15","datavalue":{"value":{"time":"+1997-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919702$CA424185-5082-454B-B379-68CB2F10BF40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$183F8B09-CCBD-4C2B-9952-10DD6D2C2D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$2BC8939A-963A-4375-88BA-8F006460589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$92B025C2-BE8E-469C-856F-0ECE4FBD1919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$2A3D1293-7006-4B7B-AAAA-EC3188A603EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$7573D63B-F87C-4EE5-BF1A-0AC969BDE915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a2f02ec6427f16c946e630b132ccc8389d5506","datavalue":{"value":"909646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$B2585042-6BBE-40F1-9A03-1AE242E25D8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$680FE085-D740-40C7-BBD4-2E94AB015416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$F1FCAB79-2BDF-4DCC-9FD2-C0EC6EC4ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6647c87ca597ba0fd37a5787180a46a9aa6ee6ca","datavalue":{"value":"semiadditive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$14639708-A7A4-43F2-9D44-FF5CE66DBC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$088C06D8-0C86-4932-BADE-60886BBDAA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f861c99abe2744aea3a3aaf52624672c2e707a","datavalue":{"value":"systems of linear equations over a semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$5970917C-8B36-460C-A6A8-703846C52B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1f2ce521e7cfe86404aafbfe0fad0d4b7ad5e92","datavalue":{"value":"Abelian monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$FC5EC2EC-A316-4102-8C6C-3A237B73702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a6ea5445f29babec0059a2b254099891191288","datavalue":{"value":"Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$5D15AA9D-33CE-4A8B-9578-6C06DC6716B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b946ee7e458c26dd0bbf3969221d62b7cbb362","datavalue":{"value":"commutative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$27BB99F6-F3E1-4481-93FF-472B86AEAEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f55256321535b69637bc73e6a72831883c90c171","datavalue":{"value":"monoidal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919702$46C8DEB7-75E1-4D42-83CC-B4F1BD8EB2C3","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":"Q1919702$2B8F6B3B-D10D-4318-96E9-0A56332B9818","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b04fb532b079e38fd281de5d93c0ac94f6d64","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$909960A6-3465-434B-BA16-D859BF5C8EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5350caf2a1c571bfb5eddddcbc9777cba40a148a","datavalue":{"value":{"entity-type":"item","numeric-id":3140014,"id":"Q3140014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$1A160E0B-1CA5-4EF5-95FB-70E938C4CADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298a25e3222cc80aaacaa2d4e5db311a67b52dc2","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$512D3FD0-B6FC-45B6-A303-7ABDFD7B7C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2982208fc0f6ac8534792493830a65f91c11f47","datavalue":{"value":{"entity-type":"item","numeric-id":4264733,"id":"Q4264733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$86264C3C-B76E-42B1-A1EF-28B4E52D50EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$488A1E11-114B-4F51-A9FC-9C10276CCAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$6D608E7E-B4D3-4932-AB78-51463D763C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd833b39da4bbfb545ee75e04b0eab6b1bce596","datavalue":{"value":{"entity-type":"item","numeric-id":3821637,"id":"Q3821637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$17B473D6-08E8-473F-86A8-658E72AB3103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$B4D4CE9D-2E66-4178-935C-0EDBD657FD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$19707B5A-A321-4293-94D0-72F6444E1A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$FB76B409-48B6-46A1-B74E-6895558C1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08494127cebe2a7e5cd00bb77f9a92192bb264cc","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$5B380A00-F890-416D-BBEF-6951B26C9827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$BA2DE8E7-C6E8-4B76-A7FD-D882E3B7386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$99D66521-975F-4E66-A0D0-9ED7CCA57BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$D14760DF-5E23-4B7E-9DFF-4A5216853F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7abb1a37fcb81a634dcf1216f786d92ca577fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4098673,"id":"Q4098673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$518E9CCB-E58A-4F6C-B34A-D97751927D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$5D769FE6-D222-433A-9780-17623CB24FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f2d70ed2fa8e11cff66a4c469100712bcb8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1181721,"id":"Q1181721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$68DEAED1-2A94-43A9-B708-0CF8A05B070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$55D1B14D-6565-4B09-A8B2-9AE6F29620D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$0FFD2A44-4E24-45F7-9F33-76DA15C7F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e123f2e3e5ea23e8be912e7e37a99a76e19b49","datavalue":{"value":{"entity-type":"item","numeric-id":5677651,"id":"Q5677651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$BE634D33-7D27-451A-B862-AD41C0BE25DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$DF7CF374-D3AA-4CD9-943E-134ADEF1CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$4452DC1F-CC9D-4678-B1CD-ABF5C21CD438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$86569F33-AB45-40E1-B1CC-91D294A496AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919702$34D88943-352C-44F9-BEFB-C846C8508938","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e53c430033f6dbe1d1ddd9393250d4a3a137718b","datavalue":{"value":"https://doi.org/10.1007/bf01195536","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919702$3A49F1B5-384A-4DD7-B88B-2F777AAD33AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6061ec632b5c59e796651476036ad3a2d3c4848","datavalue":{"value":"W2004460530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919702$405F07D1-622E-4DB5-93B2-4B18321F68D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aade5c3f358d30d7c3f0b40c4a343114bc349274","datavalue":{"value":{"entity-type":"item","numeric-id":5055754,"id":"Q5055754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502ae3be74d54add0c80af03e64c43b28dba7e59","datavalue":{"value":{"amount":"+0.9414196","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":"Q1919702$488DA9B2-E861-4287-96BE-6354306F7227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe19dbd2a6b80d805c9037c77f2056e7979e763","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e903712b0bdee0c561c2696ac81809b3472f413a","datavalue":{"value":{"amount":"+0.90018654","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":"Q1919702$3061B000-FD27-4629-989C-1F516BB36307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5e58559a9d39d0fa6f858caa879827cd4fb495","datavalue":{"value":{"entity-type":"item","numeric-id":5703875,"id":"Q5703875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b78c1b2532dbddc87a98bcc8ca761da3529efc6","datavalue":{"value":{"amount":"+0.89965343","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":"Q1919702$F54B64F5-CC5B-488C-B161-2E660E3B8669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1b7c07f0a96c9147c1bab4ef9db38c6e00ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1099654,"id":"Q1099654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed8a4118f37f5c329fd69be2bb1a0a1abd77baf","datavalue":{"value":{"amount":"+0.895488","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":"Q1919702$14B95EE6-E35F-42EB-92A6-B3D80E2004B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17933c17044f6249c98bbea6854df8139e935ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3703287,"id":"Q3703287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed8a4118f37f5c329fd69be2bb1a0a1abd77baf","datavalue":{"value":{"amount":"+0.895488","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":"Q1919702$201ACBAC-1AFA-49B8-9A31-FF66DF3910C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462747c6e1d3fc6057a8f329c2495cd82a8230eb","datavalue":{"value":{"entity-type":"item","numeric-id":3221962,"id":"Q3221962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a3658dead413bd0251e1bbbac5350937146b58","datavalue":{"value":{"amount":"+0.8889742","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":"Q1919702$C428DF05-6438-459C-82BE-938A3E2FCC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab4d4e087fbdf6473496a83c16828a5a5c8ac43","datavalue":{"value":{"entity-type":"item","numeric-id":722250,"id":"Q722250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d6f5ed17de20a5e758b860351fb5dd0c1b53f18","datavalue":{"value":{"amount":"+0.8870193","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":"Q1919702$AD9E802B-8BC9-4E0A-BB80-69FA9FDF913A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8074c1975bd09abeafde4674061df377001e043","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9cd23124781b876be87acd9b8b0273442cd5c6","datavalue":{"value":{"amount":"+0.88525575","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":"Q1919702$24189529-9354-4FF0-9D90-74FAB1288F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9cd23124781b876be87acd9b8b0273442cd5c6","datavalue":{"value":{"amount":"+0.88525575","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":"Q1919702$DE2DB6C4-53D2-4B3A-B0ED-C47EC559C683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b40f633ecc8fc46cadb369d77dd60cd23087ed","datavalue":{"value":{"entity-type":"item","numeric-id":3527285,"id":"Q3527285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67678346601817e8f78f6665bfddbf420b1234be","datavalue":{"value":{"amount":"+0.88337284","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":"Q1919702$6673AC2A-2844-4DB6-A298-B94091680E71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combination problems for commutative/monoidal theories or how algebra can help in equational unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combination_problems_for_commutative/monoidal_theories_or_how_algebra_can_help_in_equational_unification"}}}}}