{"entities":{"Q582269":{"pageid":584036,"ns":120,"title":"Item:Q582269","lastrevid":62937045,"modified":"2026-04-11T09:06:00Z","type":"item","id":"Q582269","labels":{"en":{"language":"en","value":"Order-sorted unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130340"}},"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":"Q582269$BADDC8C8-2739-4576-9D11-BA6FDE471332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a2aea479ccacad7a32be9aa896cbda35579c4fe","datavalue":{"value":{"text":"Order-sorted unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582269$46E6157A-1FAE-4F20-8E05-0430ADFAEB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19515cfd140e43353ec1f0fea7bcf97fc46441ef","datavalue":{"value":"0691.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$62058363-F8D7-4D7C-86C6-EA1B980C8DD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e668e4906803c9b4aa53cd5069bda5990f9dcf71","datavalue":{"value":"10.1016/S0747-7171(89)80036-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$206197F7-D39B-4B87-BE7D-821B5BED3F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$CF2B48E9-A72E-4A73-BF51-3DAFDAA9CD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$01325BA8-05B6-473F-803B-A5031097E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$0A0AC269-AB31-4950-90C6-5BBF998F9627","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":"Q582269$460D24DF-01D2-4681-A098-4346C819F85F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582269$75680C9B-F402-4668-859E-F13BFC9572EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"083befdeae5b6aa24adb25d43b9f06b8db728c7c","datavalue":{"value":"Order-sorted equational logic allows a partially ordered set of sorts, the ordering being interpreted as set-theoretic containment in the models. A categorical treatment of unification for such logics is provided. Given \\(\\Gamma\\) (a system of equations) and E (a sort-preserving set of equations, without restrictions on the sorts of its variables), the main results characterize when an order-sorted signature has a minimal (or finite, or, most general, when \\(\\Gamma\\) is decidable) family of order-sorted E-unifiers for \\(\\Gamma\\). For unitary signatures, where each solvable system of equations has a most general unifier, a quasilinear time algorithm for syntactic unification is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582269$55322743-E213-4C81-B97E-17E7BB1A5DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$4480B9FE-75D8-4FB0-BB2D-0D2E03DE1E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$497AAA4D-4E15-4CBD-BF31-7E15EEF66BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c50b0fa4996ae70bc20771e0bfbbf819a67b2f1","datavalue":{"value":"4130340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$274E93D9-89E1-436C-B47D-FDD2989BAACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080f69d1694bea102e2392e20778f455544d01b7","datavalue":{"value":"Order-sorted equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582269$7D5B33B1-4CDE-4A8B-9A4A-079F12EF9446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a733138b9d507e3986233cf2b2679d548e87b9","datavalue":{"value":"categorical treatment of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q582269$A8DFA0A5-DF16-4889-AC9B-5120735D07F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$3D3A5D17-B5B0-4845-9A95-48765D4436A4","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":"Q582269$5E4A523F-8F7C-4837-ABFB-DDA88075A16F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9e296cae4bd5dcd155605a98d78ea4c1b35b73","datavalue":{"value":{"entity-type":"item","numeric-id":3769958,"id":"Q3769958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$C2AF5FFE-1FD5-4CEB-A15C-5EDFC040AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f20ecf79d81a3d3b5792afa45f1f4a9cee7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1093359,"id":"Q1093359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$0B75B917-DDB1-453D-93FD-4AD4F33E0BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345dc4f99996a1b863c21ef154f7cda58306b288","datavalue":{"value":{"entity-type":"item","numeric-id":485727,"id":"Q485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$939D6573-64D4-465C-B5E5-3AF84F92B266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517189ebeb1cc9884e1c2ddaba2f54a86ab4d405","datavalue":{"value":{"entity-type":"item","numeric-id":4951952,"id":"Q4951952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$D33A942F-599F-41E9-B02A-8CE1980C94E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$71F659E3-BAEC-4C9D-9A6B-60B44DF8B4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae532117f641c6cd3699efe68107bbec082a054","datavalue":{"value":{"entity-type":"item","numeric-id":4322433,"id":"Q4322433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$BCAFCD95-6735-4EAB-9FC8-0079F45616E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$8900DA59-4A2C-4F93-BB47-5E657E3C10BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$D49C2C54-636B-4F02-A7FF-5DF6EA60591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$CAB11506-864D-41D3-B166-5FACC22EBA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$8980CE26-F00F-4EEA-A8C0-CE44BB6BE9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$8AE8EF30-4C5F-4C35-8509-DC03D42DC665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$D31DC742-0EDB-46CD-87B1-E26296CC2478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$5E804AFD-FEED-40BB-9F1E-93CB91C460DB","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":"Q582269$68D5B459-3C53-4407-A7B4-38C0FB181E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$ED482D73-F73B-4E4F-8721-D77E2C1F5628","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":"Q582269$2E85F48D-6993-4485-8B3B-1C0B1DE61EBC","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":"Q582269$A51B119A-40C7-412E-9B7B-53E4DEF3B7EB","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":"Q582269$C0558D4C-E9B0-408C-ADD6-FD16E588FA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$883D2075-AE09-4993-9593-09FA12011892","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":"Q582269$25CAFCF6-15C4-4617-9B4D-49AA73E8D9BA","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":"Q582269$2FC29E5F-DD48-47BC-9D91-9E9C81851C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6d2a053c064f46255a86369491e6db14ea9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$EEDB8B1E-9818-4EA2-86DD-19F724EF5989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3e30bb8a3cfcb298e70e3ea0b5e365292cac0f","datavalue":{"value":{"entity-type":"item","numeric-id":3992707,"id":"Q3992707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$EA856B56-ACD1-48BD-A70E-259AE724C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$605106B4-27B3-4D52-BDE2-6AC4230C3496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd0a792c5209a7eb6e2eaa720b72a1181b68c74","datavalue":{"value":{"entity-type":"item","numeric-id":4364536,"id":"Q4364536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$F393D0B9-01D7-4DB9-90A1-C3726BD75C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4afef3b11d19d8db29962a36cde78d2d8af8733","datavalue":{"value":{"entity-type":"item","numeric-id":1124313,"id":"Q1124313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$BA609A88-34CB-4E2A-A68D-51B4E0ADDBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$011BA68C-D1F2-4DCD-9857-4A061688D948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d7c80c950acdb86856314f5ebe4b0b782a898d","datavalue":{"value":{"entity-type":"item","numeric-id":3786021,"id":"Q3786021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582269$BC2EA98E-36EB-4A08-BD99-A7D282F2A44E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"241a563414bc2f99b189fd67229358cfec18061a","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80036-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q582269$59B6B05E-63BB-4E07-BDB5-C08C7F347E9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46e55fbaabc28c0b422009a6762835904fc3481e","datavalue":{"value":"W2031327296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582269$0D53291B-CCBE-4AF7-B8F9-FB886C961D3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f926eeffb952d703e5ddf7c1e06b385ef96cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4365057,"id":"Q4365057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691b43236f76814e60d28ddfe96b23a6de13d305","datavalue":{"value":{"amount":"+0.90844876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$67EF98F1-BDF9-4BE5-B5DA-59857BED30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37a6a05bb97dbcd0142b9be54715d0dbf6c8aab","datavalue":{"value":{"entity-type":"item","numeric-id":1824410,"id":"Q1824410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975ef690505fc6fbabe0bc141f3ee6138518c63b","datavalue":{"value":{"amount":"+0.90595275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$91F162B6-93D0-4881-87CA-2A693C615F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb984d35bfcaed6a17c6eafead4da56a218195","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e6492c61092097ebc911b4998fb6bbd094afe9","datavalue":{"value":{"amount":"+0.90010405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$EB3EA59F-1CD4-4A37-8986-4573C8601CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf442b32a9f8dd346b9c2ef9220fe62a42162a7","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643b957958b17cf7bddc16aab96d9a070f63b903","datavalue":{"value":{"amount":"+0.89724356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$CE14610D-CC96-4616-B9F6-F4F3E08B4856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b356bacd32279899fcf52d3cf80d7e9ae7d1746c","datavalue":{"value":{"entity-type":"item","numeric-id":5389145,"id":"Q5389145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f777f688650d98a0da1116f601906f2660cd20be","datavalue":{"value":{"amount":"+0.8958653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$F3BEDDAC-B121-4AB4-B469-264941E584C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bbe562ca541c6e92e64e4d1cef17dc451f3b42","datavalue":{"value":{"entity-type":"item","numeric-id":1750614,"id":"Q1750614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5e7692a89a93a96d16874798ec2aa75665426f","datavalue":{"value":{"amount":"+0.8956111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$EE673693-2F1D-48AB-80DC-09BDEA8BAD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9391a23c3d66afcea3fb6420bd79b0f85dc16e58","datavalue":{"value":{"entity-type":"item","numeric-id":4536326,"id":"Q4536326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035ab428bb85808c1a0a37324fc1a3a736ba1a53","datavalue":{"value":{"amount":"+0.89421195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$38659459-8943-4174-8707-94A146244F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2edba6983ba234bf851e9fefefae2e677271f6","datavalue":{"value":{"entity-type":"item","numeric-id":1209613,"id":"Q1209613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2695f51e650557c2bf369d2be1e8b134828d923","datavalue":{"value":{"amount":"+0.87817645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$58F0DAAC-5051-4CFD-9AC8-6343E928BE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a7dcaa1877bf57d0f7d2e3218d3dc2f5acf8","datavalue":{"value":{"entity-type":"item","numeric-id":5055752,"id":"Q5055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2695f51e650557c2bf369d2be1e8b134828d923","datavalue":{"value":{"amount":"+0.87817645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$BB8301D6-4920-4D2E-932E-CB381D22873A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8e5364cfc790b66e4a3ba470a2911d1316b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":5166637,"id":"Q5166637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281a5ae181dc0a1b2852698e9260b1e456b6dd44","datavalue":{"value":{"amount":"+0.87485814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q582269$35F76905-A6CE-495F-82E6-884695F06CF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order-sorted unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Order-sorted_unification"}}}}}