{"entities":{"Q582270":{"pageid":584037,"ns":120,"title":"Item:Q582270","lastrevid":62937054,"modified":"2026-04-11T09:06:00Z","type":"item","id":"Q582270","labels":{"en":{"language":"en","value":"Unification in a combination of arbitrary disjoint equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130341"}},"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":"Q582270$9229AA2D-D45D-4F43-88A1-3F58E166B8AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95528019699462aaea2fe29185a48bd6a22aa10b","datavalue":{"value":{"text":"Unification in a combination of arbitrary disjoint equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582270$88D500EB-5173-4DF5-B6AB-C21EFE029BD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb04b0bd1d395d370550b6c4911ae0fd8f1bbaa6","datavalue":{"value":"0691.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$290F29B3-5D58-44E8-A3D5-26833AEA578E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcb5af9c5efad27c3304adc1ac0b84e568995d17","datavalue":{"value":"10.1016/S0747-7171(89)80022-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$2302E968-CDD4-4946-98D7-FFD821539F51","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":"Q582270$CDE20992-2245-47C3-9033-057F25B3DBB7","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":"Q582270$0766A204-FD73-4976-B58E-F9327193472B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ee466cd5bbd66e0253185a65b94ae9fc7dc1f60","datavalue":{"value":"The paper extends the known results on unification in a disjoint combination of regular and collapse-free equational theories (which are unification-type finitary) in the sense that arbitrary theories are admissible. The general procedure described is based on the reduction of the problem to the pure unification problem with free constants and the constant-elimination problem in the composing theories. It provides an enumeration of a complete set of unifiers, even if some unification procedure for a particular theory produces an infinite complete set of unifiers. It is proved that unifiability of \\(E_ 1+E_ 2+...+E_ n\\) is decidable if for every \\(i=1,...,n\\) there exists a method to decide unification in a combination of the \\(E_ i's\\) with free function symbols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582270$D05EF5D0-6018-4558-A249-DE4035A28406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$799BF6F8-661D-4C00-87D1-559CD3E2A43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$FFCB9D11-BF24-4F27-A1F2-E04C74F96E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$F86B7493-36B6-49D3-9207-660EA0E2D49D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab3107461f087f39f595a95a46b42850d746ab8d","datavalue":{"value":"4130341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582270$1C4CE02F-1F9E-4B2B-9DFF-85C44B7AFC6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd26537c258508ae5c99aa03dde1aebb52352890","datavalue":{"value":"unification in a disjoint combination of regular and collapse-free equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q582270$13CE501A-CFB3-4967-9D9C-4A9D079E4EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$1AFCE428-D8EA-4968-9BAA-52A98058912E","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":"Q582270$4482DA1E-57B4-4301-AE5E-8F9815036A78","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":"Q582270$85E07471-A46A-45FF-B30F-635E7FD6402D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ebe282e06ee5417251ceb207554999700031ba","datavalue":{"value":{"entity-type":"item","numeric-id":581000,"id":"Q581000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$F8D743A7-C810-4F17-B7E7-66F8B085B445","rank":"normal"},{"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":"Q582270$E134BB92-C361-4312-A7D3-181BDCDAD4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a24cffd41ef373432aa4b100a31bd9fd24151a","datavalue":{"value":{"entity-type":"item","numeric-id":582073,"id":"Q582073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$DF7FFFB5-ACEE-456E-B918-1EE0A217C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$0B9B602D-CE2E-43A1-B2E1-7993FBDE4661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6935dc55ba37c30b0106e3fd9b123c1fe0b814fe","datavalue":{"value":{"entity-type":"item","numeric-id":3779785,"id":"Q3779785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$4145F833-3387-4D8C-BC39-22AAE46DF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee85bdd68a367fe119a9847bb3cbe37c26807fa","datavalue":{"value":{"entity-type":"item","numeric-id":3786017,"id":"Q3786017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$EC826E9A-8907-481E-8C13-31B221BB28FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac55b3248a8edfa461fe652140cab8c3e6a73455","datavalue":{"value":{"entity-type":"item","numeric-id":582272,"id":"Q582272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$63E46DAE-EA25-4948-ABCF-0D06CE24B981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$2B50F4CD-6DC2-4B7F-992C-34A414DD0C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$FB44220A-8474-4732-9A34-90C9747DFF14","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":"Q582270$1C15CA71-236D-4961-8F5A-A981812E4626","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":"Q582270$DDFA0E99-BF91-4081-9102-8C1E84866E2D","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":"Q582270$34D00F20-863A-4049-86A2-FBBDBC35BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$1CB1A396-DD25-4D1C-BBF9-E46E5F43E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$A8432528-009E-4D26-A57A-AF3B5CCCB07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$4CFF8E8C-FC2D-4D17-8D3F-235D3ED492DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$720ABB51-5688-47A7-B61E-675E3BA1BE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c1ba27129d07dafebc0bafb7063cfc377091f1","datavalue":{"value":{"entity-type":"item","numeric-id":3786019,"id":"Q3786019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$51579754-E2E4-4A4A-B584-ED0AFCD286D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b0f814673578ca6c8ce1b6e3796018f2090acf","datavalue":{"value":{"entity-type":"item","numeric-id":3835440,"id":"Q3835440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$49B44408-F8D5-4A73-911B-D39F6A53083D","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":"Q582270$B01ABD23-A8C0-4657-91EC-ED9347A951A0","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":"Q582270$FCE6803F-39DB-4683-B88B-3FDB46164BDF","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":"Q582270$9624D62E-5BAF-4D7E-A0D8-D0378375BFF0","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":"Q582270$A01279D9-7181-416F-86EB-27D0D1920F63","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":"Q582270$6FC5BAC2-718D-4D6A-835C-7126C9C224ED","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":"Q582270$9F4CA734-6D69-4BF5-89DB-D41DA04E4FD4","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":"Q582270$4642FDE9-E293-4434-992A-070BE904806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$5E95FFC1-DFD5-4BF9-944E-ED8E497D2446","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":"Q582270$AF4C9523-47FA-47A5-9BD3-26F43F55E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa298589d0a81c6dd7d3df3e05f37dba27126ab9","datavalue":{"value":{"entity-type":"item","numeric-id":3338213,"id":"Q3338213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$E0897414-6FD6-42EC-B705-70AD8463EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$85F5EA9E-BB5A-4A4A-98D7-0053DF4011BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8739f9092383d4f5078d54b17a0a0313155a7ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4154619,"id":"Q4154619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$E097F587-DCF9-4607-804A-313DA1766885","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":"Q582270$CD4CEA45-7E08-4E23-A2BA-5BDA07F1E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea1e3bbd7bfcd33ccc11c2b2d5eccc4f0358d99","datavalue":{"value":{"entity-type":"item","numeric-id":3786022,"id":"Q3786022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$1B6B88DF-C004-41D6-92B9-2E1A67B66050","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":"Q582270$16ABB1F3-5119-436D-9F12-21981E2AF7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df215de52b8ed9be1b5d43c29310834a2b8b46b6","datavalue":{"value":{"entity-type":"item","numeric-id":1186723,"id":"Q1186723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$A335C26D-D4EB-4B18-A1F1-3C7F2CD8D803","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":"Q582270$E7924A4C-748D-4305-BFFA-2E00B1417316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$431B601F-F3A0-4043-8BA6-80D7C2212289","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":"Q582270$CF0788FD-1E4F-4425-A479-728D1614C4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a51164270badcd3e174126ba51dbea33c885c","datavalue":{"value":{"entity-type":"item","numeric-id":4159023,"id":"Q4159023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$094AECB6-98A2-42D6-8FE2-2F0FE4437876","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":"Q582270$7AE8B28F-9734-4A77-BDB7-4D739179A183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36616b185d46b86df03954cf9c690775b1d779e","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$759945D8-92B5-4129-ADC7-DAAB30552346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4ab424c7c716907b90b46a0a393fa512730584","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$6099C263-6B7D-4E88-B0A2-65517D51747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$E082768C-08BD-4C20-9F00-94E59FF029CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456271b1daa1011563d4ee9eaedd8c2523eab20e","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$37503CF1-E73A-416B-A69A-9E5485BFDBFB","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":"Q582270$3B394854-BBED-43A7-9F2D-94C245EC16C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$7AA60246-6ED2-4EA0-8E9E-1ABBDF266025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2267a122409f407ec5bd02689483fa4a2c8f1d05","datavalue":{"value":{"entity-type":"item","numeric-id":3030272,"id":"Q3030272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$D9C709AD-BEFD-4070-AA7B-8260FFEF048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e88635d4bbfcc4225b489e70aecd75b03442f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3785922,"id":"Q3785922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$1B4D24EF-5632-4310-AA27-F39FB726341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$D3DF840D-818B-4B57-8210-001EC7A11962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$08718B59-5E41-41DE-8D0D-DA6DB2002920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1318fd35d97fef2be195335af7baf6a9cc7c4ef","datavalue":{"value":{"entity-type":"item","numeric-id":1099652,"id":"Q1099652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582270$C096C1D4-DCC2-4CD9-A429-B5A7C1BDD12B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df786a5f9b1a51f2533cf53d5a6f7166edd2872","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6ae7919ea869b4f7a615c5815158e32a6e7f35","datavalue":{"value":{"amount":"+0.9197670221328736","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":"Q582270$06542258-DF5A-4CB2-A45C-3F4AE2DDE48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de619e000a21c3090da630279b4c9a756337b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1099652,"id":"Q1099652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6ae7919ea869b4f7a615c5815158e32a6e7f35","datavalue":{"value":{"amount":"+0.9197670221328736","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":"Q582270$F4CF7654-82FE-4548-9FDE-78BF4B13234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42011ab62695471a9d2250f0fa3696f9c73b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3811748,"id":"Q3811748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8715de6aaedd03316f3b46665a786049d831b4c","datavalue":{"value":{"amount":"+0.9134570956230164","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":"Q582270$2923125A-5927-4553-B239-2DFA42B40AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf96db696e749d4afe3c1cfb30f2132f3a57c145","datavalue":{"value":{"entity-type":"item","numeric-id":4266518,"id":"Q4266518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8494432eaec251d0457e1c4ffdd9eb256e50c698","datavalue":{"value":{"amount":"+0.8877803683280945","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":"Q582270$E999B625-5D67-4717-B73C-3F1604124A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d79496a5b9cbc1ddf50d5124a4c6d15373d0e2a","datavalue":{"value":{"amount":"+0.8858054876327515","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":"Q582270$5668124C-0BD8-4257-8046-0530B91A80DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in a combination of arbitrary disjoint equational theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_a_combination_of_arbitrary_disjoint_equational_theories"}}}}}