{"entities":{"Q2941759":{"pageid":2952479,"ns":120,"title":"Item:Q2941759","lastrevid":85381457,"modified":"2026-06-03T07:31:35Z","type":"item","id":"Q2941759","labels":{"en":{"language":"en","value":"On unification modulo one-sided distributivity: algorithms, variants and asymmetry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6475347"}},"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":"Q2941759$0726F21E-8434-4C62-B279-11A90316D42C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80cdce2f3b6d24ed837dba415cce81446af9692","datavalue":{"value":{"text":"On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941759$9B550B33-27A9-4C89-B99A-717D270ECC20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"223851efe5c5f096f9bbe1150f16b1f88b7d2943","datavalue":{"value":"1391.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$9FCAAD6E-5143-460A-AE0C-61E3478880D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dfeb8a2bcf3b2ffe5ed854b9a0ee5b85f2e14e9","datavalue":{"value":"10.2168/LMCS-11(2:11)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$F77773F4-F357-419C-BD98-4C4162B21933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1817945597db5f66bb78adeb001d86c0c57c8612","datavalue":{"value":{"entity-type":"item","numeric-id":831917,"id":"Q831917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941759$60B949F7-2A4A-467A-89FD-3060D19F56CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941759$6BF0C4C2-9969-4154-974A-57B70991A5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941759$F76F5ED5-D498-4390-8BF5-62C308C8D09F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941759$826CC88A-B7DC-42E9-84CC-BAE208AD43B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58a31ea2ce845203d6a39244a5f91d2bbfe1b016","datavalue":{"value":{"time":"+2015-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941759$4155A8F2-0014-4B57-AC88-9A7E410B5E98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72590b0f0cf4671c666db38911646a2729235f6a","datavalue":{"value":"https://arxiv.org/abs/1503.06687","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941759$0BC0D487-D26B-45A8-BA3E-C801C63FC6FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$8CBFFC93-2FA9-4DC9-B961-4AC84C05A49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$347EA1BF-23A2-4311-B9F8-C80E4DA65E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$B7FC2801-57A6-41EC-B17E-CA5CA2FBBF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$C897A023-8FFC-45E2-8E10-E865152395DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81caffbb8d1b84d9acc6d96eb8aea41268b659bc","datavalue":{"value":"6475347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941759$DE11D0BF-ED50-4FB4-BB26-CEA66B29B543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941759$1CD7C1AB-0301-4FF8-A218-E6E270E7F92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44a1a3c2a66d229deed75104f784f4fc9da9f976","datavalue":{"value":"one-sided distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941759$AFDA02DE-13BF-4B64-B4B0-64FFFE4067D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941759$91802BDE-C331-4A4D-A2C4-1111B08ACB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e68d0dce52e67ad524db845ebfb9a96864e86f99","datavalue":{"value":"asymmetric unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941759$F6D9B62E-A7A8-47D2-B71F-A1DC1463A95B","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":"Q2941759$956A087F-9B45-4344-A7DD-9D51A1649701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e37e2c734bdc45b8c3b7789a6eff3d5ec1c0c53","datavalue":{"value":{"entity-type":"item","numeric-id":2908511,"id":"Q2908511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45de2e04b05cea6fc1765192e127fd8ee874fbd2","datavalue":{"value":{"amount":"+0.9005827307701111","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":"Q2941759$9A8D631A-D44A-47B2-A2E8-BE3199E7B627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdea5b3b77714448ddef7ac8643257273cedb3e2","datavalue":{"value":{"entity-type":"item","numeric-id":4928441,"id":"Q4928441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d293cfcaac121420fd66322bbb7d2e4f36c6c1dc","datavalue":{"value":{"amount":"+0.8325592279434204","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":"Q2941759$B8C5BFAE-EE97-4787-A6BE-A4AE83AAE93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce7f3ac921c8d836253d8bb64c9a6e7ec23075d","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3a66ae0fc42e0b058621e2a8a2df0a4c85d4f9","datavalue":{"value":{"amount":"+0.824712336063385","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":"Q2941759$AB8BF471-BB8E-4632-B554-3673FA7FF078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9400a58fbc504e6dfd7a75f10d28377c6eecdee2","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6543efeb813975fa678fda54af2fbbebdbfe19c6","datavalue":{"value":{"amount":"+0.8242605924606323","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":"Q2941759$797F6ADC-67B7-4849-B9C3-41227BEF5005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14ac514fbadeed2671d43af4c687f21fb724dd9","datavalue":{"value":{"entity-type":"item","numeric-id":674747,"id":"Q674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98582a9d009447c68a41734a5386e3ad0fdc3793","datavalue":{"value":{"amount":"+0.7998833060264587","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":"Q2941759$005CC98A-88D7-4BA4-8E95-3252B45899E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On unification modulo one-sided distributivity: algorithms, variants and asymmetry","badges":[]}}}}}