{"entities":{"Q5900732":{"pageid":8007048,"ns":120,"title":"Item:Q5900732","lastrevid":93573665,"modified":"2026-06-05T04:37:52Z","type":"item","id":"Q5900732","labels":{"en":{"language":"en","value":"Unification modulo ACUI plus homomorphisms/distributivity."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695423"}},"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":"Q5900732$3AD28222-3E67-400E-8D20-8D3925B49205","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900732$24907CBE-A440-4E4D-8151-8F78FE0DCB6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc041fb02660e6ebc226a840899e6f12b6de5632","datavalue":{"value":"1278.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$47CE8FA4-0DC3-4DA9-9421-E480ECCC87F7","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":"Q5900732$F213C471-9CEC-41F6-A567-57217A458F5E","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":"Q5900732$B3EECF70-B408-43A8-84F6-70EA22B4130F","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":"Q5900732$ADF8F554-DD5E-449D-B833-8CDC843202D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900732$584ED97C-2B26-44EC-BA54-32D80CEF1FF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900732$1EBED976-7AE1-4458-A2DB-3B54C0C6D429","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$7DA4CC64-2036-4B8D-A8DE-86B5C1D75CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$0CDCEFB4-7804-4290-A9F8-D105BA95FF1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3e852de1f10595b588295db7ebba9e14505137","datavalue":{"value":"5695423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$2E22E7FB-888A-4E6B-9A89-0E260122877B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$7AE76FD8-0EA8-4428-ACC5-564D52F74329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$CF443F87-0AE5-4BC1-BF92-F7DE2F85C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3272c844a96d21dce6652f0c3a72258dd635ecc0","datavalue":{"value":"rewrite reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$EFC275CE-037C-4DEB-860D-0849FA604533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31eae7b4103c2d8f09de63a339b891ce1e0e4e9e","datavalue":{"value":"Minsky machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$E1F719C4-E179-4327-9C5F-A3BC44CA575E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2089572f0fb6132b1f06d0e9b780ef433f22f2b9","datavalue":{"value":"Post correspondence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$6271F548-7F97-4B32-A050-AD2FB65240AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4532818dca91c0a5ab224b4fe1077e3a94a99bbb","datavalue":{"value":"set constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900732$EB561724-B3B7-47A7-9129-1B42C0C18D7B","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":"Q5900732$7A353157-0259-4D4D-9AB1-C5391EAB6536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900732$069C1FCD-5100-4328-B3C7-29C437D4B2A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$72F27133-EF6E-4D49-861F-9D86B3C88DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900732$7B675084-1734-43E4-8B4F-C6F6CF2E4728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4f67592cf7c311b48fa4d87b98ca84e05c12ce","datavalue":{"value":{"entity-type":"item","numeric-id":1774555,"id":"Q1774555"},"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":"Q5900732$22F584D4-6CE8-4F8F-AA5C-33A7A1960FE3","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":"dcae68e268007dd9a649fd0be984d8f0e34bd46a","datavalue":{"value":{"amount":"+0.8765057325363159","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":"Q5900732$F5E085D5-8CE6-4F60-9DBD-28A472787F21","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":"b7172cae60bd75a0a72bcf49993987662d8e00a6","datavalue":{"value":{"amount":"+0.8325588703155518","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":"Q5900732$ED4FFAE7-62F2-4429-9338-9450202862A4","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":"b2d536e6b39ced4c72cc3a7f0afa37c4be77675d","datavalue":{"value":{"amount":"+0.8297195434570312","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":"Q5900732$FBD0680F-EAE3-457F-956B-3BFB2A5E5CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9598f228917d55fab079951fa71fc7d0e1593e","datavalue":{"value":{"amount":"+0.8146395087242126","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":"Q5900732$031C3281-6EFC-4178-A870-3DD4A850B1BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification modulo ACUI plus homomorphisms/distributivity.","badges":[]}}}}}