{"entities":{"Q1774555":{"pageid":1785297,"ns":120,"title":"Item:Q1774555","lastrevid":72522780,"modified":"2026-04-14T05:29:36Z","type":"item","id":"Q1774555","labels":{"en":{"language":"en","value":"Unification modulo ACUI plus distributivity axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168286"}},"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":"Q1774555$0D4AB974-3FDC-433D-948E-FE993EE059D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24af15b58650fa7d76168e2c10424ca2e64f0024","datavalue":{"value":{"text":"Unification modulo ACUI plus distributivity axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774555$582DCB24-0E12-46F4-89BA-932753BB4665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de9881dde607b5d5385b8fb45fb912c51a0c31f3","datavalue":{"value":"1063.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$F4906DC9-A275-4497-ACFA-16CD78E964C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d66928e7f941233a38d3104e0405cbb2b577305","datavalue":{"value":{"entity-type":"item","numeric-id":437034,"id":"Q437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$ECD94D6B-5A64-47AD-81EE-B1EC5B58FD15","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":"Q1774555$D10F885F-8C03-4AEE-92FF-26C5C0283536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$55E02944-3141-4318-AB59-7DEC69023198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$34D35705-54D9-4844-806C-0C4BCCF2022E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ee0106d888569bdcc9b3d8e1252f7ed63c68c81","datavalue":{"value":{"time":"+2005-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774555$43CD39B9-8A1C-4AC0-AECE-13CBF8E0DBCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$AABF1CC4-B30E-4C52-88E7-29714773F0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$0B57A06D-1A3E-416F-A3C8-FED5641D9A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$F0C507F4-33F8-4B75-8B7B-4ED7A5741A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$8F449CDD-5F37-4C98-B19E-9FBCC66B1782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$454C9357-CDFF-4DC9-B553-D7BF5889CE3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa08deb0483096b6250ae0447380a18093f852d0","datavalue":{"value":"2168286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$DFF3924B-76F4-4928-A5D9-E6BCF8FC4A3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$109C9B63-2ED8-4DAD-93CD-62E5A95674DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$AA8462BF-C52D-4DA3-91B6-982A204D9484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$9FE37365-A7B3-45D4-BFD1-88FFEA536858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$8E9B1DE7-CAD6-400A-89CC-080BC4D032A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4532818dca91c0a5ab224b4fe1077e3a94a99bbb","datavalue":{"value":"set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$A0A63E7A-E0E1-40BD-B783-F83A828EB1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$ED53E2BE-B0E2-4FCD-A794-FDB83F62E15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$BF77F35E-547D-4974-94E2-87ED9FFBDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774555$2513DD38-2CC3-4363-9C97-8C358A1D5E83","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":"Q1774555$BDD1CF3C-8A70-4821-9235-D429BD9E2000","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d47510454c5200195d012ddeac0c53cbb5b9886","datavalue":{"value":"https://doi.org/10.1007/s10817-004-2279-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774555$7AFB3B1F-E36A-4101-883B-EDC4ED1CD3B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34cca3a9008595f8c380c025c25f04a8c3974a4d","datavalue":{"value":"W1975341792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$DAFFA9A8-7E2F-466C-887F-46E8B8B0F067","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd6e5fe7b0ce21ee3d0c33d6486157ae53e98b3","datavalue":{"value":{"entity-type":"item","numeric-id":4525271,"id":"Q4525271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$5715EB38-ED19-4AF2-8565-D7191993566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc55cd9ce9260af0e46eed0a4f5640031ae63c41","datavalue":{"value":{"entity-type":"item","numeric-id":5900732,"id":"Q5900732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$4AA7A306-7DFA-442C-AF2B-AF624420A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c0176abd248217dbf772ea84190ca22a894956","datavalue":{"value":{"entity-type":"item","numeric-id":5431302,"id":"Q5431302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$2D24132B-F6C4-4593-9BC1-846E7435B5FB","rank":"normal"},{"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":"Q1774555$07E20B13-CEAD-425B-865F-F349387C59CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d62405ccf45cfd5cf25dd4a0bc605b3b3cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$33482281-385F-48FD-97AF-CAF5AF33E318","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":"Q1774555$3B69F7FE-41AE-490B-8D88-B56F63F99D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d1a4f947fa872ea38eb5c749f0304803e02b3","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$C85BD0CC-55DB-4254-A4D4-2420D43A00E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6d89263b354e03150f06a5a14bcaca875c9a93","datavalue":{"value":{"entity-type":"item","numeric-id":2506490,"id":"Q2506490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$ADBF58C8-AAAA-4109-9AEA-1EC15137075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c608f2712373eb91c0a78fe01a013fce3791ce03","datavalue":{"value":{"entity-type":"item","numeric-id":4281553,"id":"Q4281553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$11EA5F29-0025-40D8-A850-26988CAFB831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e8576cb115f05ee5f7617af633c90284de149","datavalue":{"value":{"entity-type":"item","numeric-id":1286366,"id":"Q1286366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$86150A6E-9252-4E82-8BCA-846AEAABAABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$47CD1ACD-BC61-4127-9B05-1EA8EE8586D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c628ff52abede3b151ab9a84b4dbfa41be244","datavalue":{"value":{"entity-type":"item","numeric-id":1357668,"id":"Q1357668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$364BB898-E1A7-42D6-A3B4-BEA7B238BF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923c81803f75ff1649e2a37da59c13d4bfcadba7","datavalue":{"value":{"entity-type":"item","numeric-id":674747,"id":"Q674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$0BA18F93-7F63-462F-91CB-42421F6A65D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36a71b29d604eef73543c48ebaf0f67c4b252d3","datavalue":{"value":{"entity-type":"item","numeric-id":1275018,"id":"Q1275018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$470ED6C6-9FDF-4115-8D77-1504393AE6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$3E53C4E3-1935-4755-8B7B-EDE18A4AFCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce402837f17f44d455d6ba0d7432153f93f5fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3478395,"id":"Q3478395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$B1B5E967-DA46-4F16-9EFD-2216FEDDB759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bfcc11e66ab70a9b8ed573f859d4ca00fb5ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1975208,"id":"Q1975208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$B2C56530-0E75-4CAA-A8EF-2F95C5B04C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c554ed5d15a766bb2fb9ed51f6e955854f5f519","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774555$D513E48E-3A14-446D-ABC2-CAF5008B7C4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bf853841ce69020ae9991215d06aca54b23cda7","datavalue":{"value":"10.1007/S10817-004-2279-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774555$1B6DFC66-C3A9-4768-81A1-8F0833AE074B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb4afc175ef8e7b41ce467192bd6110a48eba28","datavalue":{"value":{"entity-type":"item","numeric-id":5900732,"id":"Q5900732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc7866b5855c0c8a19db5a9060681a393d2ffa5","datavalue":{"value":{"amount":"+0.9206849932670592","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":"Q1774555$64EA107F-D0FA-4EF8-9A27-C42EC3F87C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b0cfb29b8b177089ff6f479a90fc8a60a6e65f","datavalue":{"value":{"entity-type":"item","numeric-id":5139274,"id":"Q5139274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe2e45e4a8fb193061ed29935d3c5862ec8ba53","datavalue":{"value":{"amount":"+0.8680095672607422","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":"Q1774555$B94EAC8E-E599-44B2-9BA4-DB12EE91D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a1b911135265e14039f027252fe1a524dd5d50","datavalue":{"value":{"entity-type":"item","numeric-id":5431302,"id":"Q5431302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6506d8027c12f849c2f9276245680538183b6e","datavalue":{"value":{"amount":"+0.8604781031608582","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":"Q1774555$50A20DE0-A8BD-4932-9FF8-E76E30F81F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b06b031134b6fabac31e5d2d837e077e4d09a2","datavalue":{"value":{"entity-type":"item","numeric-id":1322774,"id":"Q1322774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cee063a5de9d04b7479a143c1cfe416eb85489","datavalue":{"value":{"amount":"+0.8518156409263611","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":"Q1774555$C752500F-5B6D-4DA5-9E8D-33DCFE9DCD88","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":"df9dbef6e1987ece8d6ebeb3080796d6ec886911","datavalue":{"value":{"amount":"+0.8320247530937195","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":"Q1774555$DC165215-E397-4729-90B7-7C80E583071A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification modulo ACUI plus distributivity axioms","badges":[]}}}}}