{"entities":{"Q1099652":{"pageid":1110404,"ns":120,"title":"Item:Q1099652","lastrevid":69639567,"modified":"2026-04-13T08:23:22Z","type":"item","id":"Q1099652","labels":{"en":{"language":"en","value":"Unification in combinations of collapse-free regular theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041331"}},"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":"Q1099652$0829A394-03F0-4811-8120-D0837F2FBFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4973ed85fbf663c2e35d1315293fd01b9c308b67","datavalue":{"value":{"text":"Unification in combinations of collapse-free regular theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099652$4237EE81-7287-4E99-8887-A2ED235E6FBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd4e98ded347943059135c2d3c872521b34802f","datavalue":{"value":"0638.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$1736055C-C104-447D-9E10-B1912BE1944B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4feae4595d89b9c8fe8fce4a7671895a323a812","datavalue":{"value":"10.1016/S0747-7171(87)80025-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$B399F136-6141-4322-AC28-735B5A1BE7BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af3be2e8c5c461922d33edbc1e354f913eb888bb","datavalue":{"value":{"entity-type":"item","numeric-id":1099651,"id":"Q1099651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$38491058-DEA4-4962-94AE-4572A1471002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$C66FD7B8-5885-4EAE-9CA7-BAB80F2EC749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099652$49D00441-0C92-4558-8F84-5A3293FB55B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d944649d1b5aab964a70aae4bed4b07f34c79c0e","datavalue":{"value":"This paper presents a method for combining equational unification algorithms to handle terms containing `mixed' sets of function symbols. For example, given one algorithm for unifying associative-commutative operators, and another for unifying commutative operators, our algorithm provides a method for unifying terms containing both kinds of operators. As a special case of the combining problem, our algorithm lifts a variable-only case algorithm to the general case with multiple operator instances and free symbols. We restrict our attention to a class of equational theories called the collapse-free regular theories. We give some results characterizing the unification problem in this class of theories, and specifically show the restrictions are necessary and sufficient for the correctness of our algorithm. An implementation has been done as part of a large system for reasoning about equational theories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099652$F5CED83A-B450-43E8-96E2-EDC634DE628E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$309001D6-2594-4721-B387-301C26466DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$8371C3FB-7242-4AF6-AD1B-AFCBB50EDE82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d431fae936a48f50b9c415bec704448297816a","datavalue":{"value":"4041331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$D5ABDF63-9F5E-4DD1-9104-F6DFD52C3BBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab30c7df1ff5129a7eb6134aa7e2e23c2e96136","datavalue":{"value":"equational unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099652$5FB4EAE5-5883-4EDD-B4AF-EC0EC8AA31CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b79de2bca1f4bced22c88f0bc712a74b5a8daa60","datavalue":{"value":"associative-commutative operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099652$12262567-A30A-40AC-A2D6-75BE161D14BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa3c63562b80b2beb589e5d1d39b6a97894275f","datavalue":{"value":"collapse-free regular theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099652$64C29CB2-9945-4D27-806A-C3486BA4EADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099652$E63B41DB-B279-45A3-9EBF-DF6AA58AF7F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$FC7B04CF-7C8A-4193-A430-E56212F93DD8","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":"Q1099652$1AFAC10A-1122-4589-B14F-4B05745DB2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$624239BC-D148-4EA6-847D-F1C167965160","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":"Q1099652$44525E2A-81BB-4C5A-8D16-C76FF379ED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$CAA833E7-AAA0-498D-AE88-7002A6E77762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052186b747d379b95536dd183092a6d28a9a4c59","datavalue":{"value":{"entity-type":"item","numeric-id":3338216,"id":"Q3338216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$7BAFAA14-BD9E-49EB-B2D3-30534B34E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b8ed970ae9ead4b64df5c04442bc49643785d5","datavalue":{"value":{"entity-type":"item","numeric-id":3335752,"id":"Q3335752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$B7DFFA8A-414B-4302-B233-C0D75A429798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$19259195-7081-48C2-B3D9-0E17D30D1E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$EDD70B4A-C765-480D-ABD3-0D864A29D6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$5AB16D36-78BC-4B3C-87C1-F40AFF6346AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$E541DC69-C501-4A83-B9A9-559701A853A6","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":"Q1099652$E4444E45-742C-4F87-830C-21EDFC23D191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$305E2F1C-58F4-404F-AC7A-EC6C6175D2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$243F1C39-715C-4157-AC2E-B76F6EBD5E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$0EA09C42-0E47-4566-9086-9C8AE0ED74C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae74153e0f085b8cfa1b39a51e5c7aa9c26c82d","datavalue":{"value":{"entity-type":"item","numeric-id":3338225,"id":"Q3338225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$326A4C03-390A-40CB-9910-D3759D588E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a593c2b1cca44214c3c8baf98230b85d08914fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3675552,"id":"Q3675552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$58274E7F-0841-42CA-9AF2-42871ED84BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad56206f631d7651cb12455ab2b49f36de156cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1097686,"id":"Q1097686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$2174BD88-AC6C-4982-B571-B502E5FE4691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$39297574-EE0E-48F4-B69F-E7CEAF5FF05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c90e66902948a1de1494ff23d31c3c16d32b1","datavalue":{"value":{"entity-type":"item","numeric-id":1153681,"id":"Q1153681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$26F7D104-0229-47F5-BD91-B870BE03AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abc42fc8ffc23569c13bf6c75648de9ca35ca32","datavalue":{"value":{"entity-type":"item","numeric-id":3219154,"id":"Q3219154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$CC09A7B0-F9D4-4156-A779-FB3D0541ED40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$AE5132FC-ACFA-4405-8F09-130DF94815B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$93CAD4B4-BBBB-4A15-ACC0-0A5319A29D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$D7BAE1A9-9E90-4D5F-AF27-B072CB84C895","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":"Q1099652$C8C4BF07-E978-4D08-B189-D964F1B687BA","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":"Q1099652$CD52B56F-A7A5-4462-909B-614EF35FF2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$03F0C196-34E4-4BF8-BB11-B10008114E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$062FB382-F967-4527-9E0A-053CA3DD4CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a7d163034968b8b573af486389b73d9c031e2e","datavalue":{"value":{"entity-type":"item","numeric-id":3707399,"id":"Q3707399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$C1AB2DB9-7378-42DD-B6A0-33F5ECC4FFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099652$CB27C9A4-81EE-44DD-BC7A-207D77F85CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d07030fb6a134451761b1682ef84d69c94527a44","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(87)80025-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099652$E6F72161-D8D1-4D23-B020-51A50243D1BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29a2b7cb25532967058707eec1b9661dcf01d490","datavalue":{"value":"W1968229471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099652$E066B2CA-502B-4D3F-9595-F7B2B87A1BC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61208d93249e3c543236daccbab8527fdf4aaa7e","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a6a499c225aeb19c9a0144f6e328966c8118cc","datavalue":{"value":{"amount":"+0.9157156944274902","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":"Q1099652$F398AC3E-5A4F-4FD7-B5A1-F222420330D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3217fad2b2a55e96468bff1b6244e89eaf5cdb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3785922,"id":"Q3785922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a144644f10349554599f6d7dec0e80619886b90d","datavalue":{"value":{"amount":"+0.8959484696388245","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":"Q1099652$D01E3461-0DD9-448E-A52D-87F94161EF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7913433f44e2a9c01500474b33479b53d6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd7a53600d5705918b968151d0c79c7946758c3","datavalue":{"value":{"amount":"+0.893689751625061","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":"Q1099652$896FB03D-AA7A-4315-AB75-947557A6A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1070e9eea2b21e37fa53e0f6442de7b766932d87","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6d5a7b960f30fde563420569155a4d8f350a11","datavalue":{"value":{"amount":"+0.8630824685096741","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":"Q1099652$85E96286-E437-4E59-A24C-321F4E9BD38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d678e70dc732aaed13466171f68f9279e9c9aa87","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a4dc98c683a89551ed9bcd7b91d44454745ff2","datavalue":{"value":{"amount":"+0.8582236766815186","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":"Q1099652$3C04EC78-94E0-4C1E-8C0A-74C0213F0854","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in combinations of collapse-free regular theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_combinations_of_collapse-free_regular_theories"}}}}}