{"entities":{"Q5055752":{"pageid":7085329,"ns":120,"title":"Item:Q5055752","lastrevid":41234163,"modified":"2025-04-22T16:08:40Z","type":"item","id":"Q5055752","labels":{"en":{"language":"en","value":"AC unification through order-sorted AC1 unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631160"}},"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":"Q5055752$398713AD-8D80-4926-BB86-EF9372FA4DB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d472a5324a900df0f222e1233366e45d4966115","datavalue":{"value":{"text":"AC unification through order-sorted AC1 unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055752$163E8350-C7C7-4FFB-875B-8D0D7BC46480","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c467175dc2ccf8101d457db4121b0c5577b8c6d5","datavalue":{"value":"1503.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$F4D59BAA-7171-4B4D-B61A-7BB3F4728724","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd89ab29acd86bf2303dc36c25ccd4335c28c91","datavalue":{"value":"10.1007/3-540-53904-2_89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$9C59BF61-A9D5-40A1-88BC-A25F6BDFB7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4b906111384f1ade3ca3ecf77e1f6202350172","datavalue":{"value":{"entity-type":"item","numeric-id":265051,"id":"Q265051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$4C20EF3C-CABD-44D5-B591-515ABD030BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$7FF80843-95A4-4DFA-B420-D5CA1DCE66E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055752$0766A62E-B4CF-4398-9ECD-EFDB13A77E58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$DB9A6F3E-1F67-4E66-A091-0C7343D5F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$6E7DF0BC-594F-4874-8F42-3B924CFB30A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002826e35bea4672bab0264b48d30fb7d4b9219b","datavalue":{"value":"7631160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$79D8DE43-D628-440C-8B18-A97CDB4CC146","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":"Q5055752$FC22D15C-937E-45D2-B1C4-264CB596FFFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2e9e1529f89ff7b839583801b455ed4b25390fe","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_89","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055752$4E4FF2E0-35FD-4D0B-A787-8BF2771F80E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a92af9344eb7f77b0f22f9e45ed003a1d39ba8","datavalue":{"value":"W1820316515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055752$20D0B133-2CFC-4A86-A806-28D8CE2BBF1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f756b9197ed68879663f9ba58f4a875c32dd2b","datavalue":{"value":{"entity-type":"item","numeric-id":5055710,"id":"Q5055710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$5D6A1222-3E9B-4999-8C5E-2713F0A7046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e39938f79996c64228894f0e77554726610ea25","datavalue":{"value":{"entity-type":"item","numeric-id":4310836,"id":"Q4310836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$40D17361-FA85-4BC2-9331-E945A41897B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4861404e50c5efca67ce9accf62570167fdaba","datavalue":{"value":{"entity-type":"item","numeric-id":1121310,"id":"Q1121310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$2DFB7A98-1277-4405-9E8E-5DAA318E8381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d51cf9f277acecb635a6fb92703afa45d81beb5","datavalue":{"value":{"entity-type":"item","numeric-id":3359655,"id":"Q3359655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$04327DBF-2EBC-4BC1-AA96-1CD21FA968EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4102c67ba16d24addd68819635164389a69ecb0","datavalue":{"value":{"entity-type":"item","numeric-id":1209613,"id":"Q1209613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$2EB02D8B-D997-4F08-8B2A-C3AD9C3B7A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22721c9f9d7acd782039555457472cd130b8d08f","datavalue":{"value":{"entity-type":"item","numeric-id":4035235,"id":"Q4035235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$BD32440C-3D0E-4BF2-996E-DE47A297385F","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":"Q5055752$E872B9EE-542F-415D-9746-BF8F468A66C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442fda286202e664a839f93dfc76b2cb5fb8ec94","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$20C36CD1-FE2A-47AD-9005-149C2337163B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03955cd9d1b12f908e9f0d19d305e55a944b1","datavalue":{"value":{"entity-type":"item","numeric-id":1246557,"id":"Q1246557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$8E1F4562-36BB-4CB5-AEAD-EC30DC80E92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fee6eaeadaf3094aaa93acbe2a93c0f4df3883","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$C89C1D94-79EF-4940-BD15-5AC0C4AEB486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf0f62686d3faa87cccc100d8e545eae1a413b2","datavalue":{"value":{"entity-type":"item","numeric-id":4723808,"id":"Q4723808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$2E8F5920-8975-4591-A2B9-F7E834492622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c1fe6af1ad9dd1496ee735838fc8664bb26ea","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$0A496F6C-4D19-4383-9301-9827815C1A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055752$C7DD8A26-F847-49E0-8249-083D8830BB03","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":"Q5055752$3BE93C26-4E02-48A3-8D33-491720BC3527","rank":"normal"}],"P1643":[{"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":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$3F70D33E-8F05-43EF-A190-155F3B3F43B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c3356a6b67234d78ca0df57e082652071416d","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$8CF1BC1E-F02E-40BA-8E8B-BA458194A405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e20c3e805256bbc71175fa832cc3b417cb3d20","datavalue":{"value":{"entity-type":"item","numeric-id":3820054,"id":"Q3820054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ec6cf5a40c1791425a87bdc954c506d044104f","datavalue":{"value":{"amount":"+0.85940063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$7C1E0298-9C44-4092-85C2-C0F46975D194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18180d3039b6f161722017fff075dae6bd054f1","datavalue":{"value":{"entity-type":"item","numeric-id":5055808,"id":"Q5055808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1628838d5fef2b4ef2880fe8c816d798bdd6117","datavalue":{"value":{"amount":"+0.8457339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$898A3CF6-DB62-4113-8A9F-3BE038B1319A","rank":"normal"},{"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":"fc74cb3fead2eea66665c9be3b166a569753a285","datavalue":{"value":{"amount":"+0.84432405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$28CA39C7-653A-4481-BA38-590AB660A1B6","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":"215165e77fcc89548c0868b9dd0ee6f62e047ec2","datavalue":{"value":{"amount":"+0.8392578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$C3F90054-88A5-4AFB-83FF-D70639647418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b5d5ccd5724faa46164f85d36cba615e6dfb52","datavalue":{"value":{"entity-type":"item","numeric-id":293311,"id":"Q293311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1261b260446ea041dcb9109157181989fe37c7a","datavalue":{"value":{"amount":"+0.8383548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$24A25982-67B5-472A-9A17-5745FA966F2F","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":"67d3a6c3b59657426fd4d3a89af8a49353efd2d3","datavalue":{"value":{"amount":"+0.8381345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$1C26428E-6EA2-46EF-B881-109367495213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed43c7ef06dee030bf4fd7991a0499549ff8af5","datavalue":{"value":{"entity-type":"item","numeric-id":673623,"id":"Q673623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16aff2594577660af4168dd763b0dd68c9927a74","datavalue":{"value":{"amount":"+0.83486587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$B7957C86-30F1-47AF-AB73-B83B76C587D8","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":"1af7e87866bd8617fe3cfb4d522f47070a931db2","datavalue":{"value":{"amount":"+0.8332307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5055752$B83D8688-F823-47F8-856E-20C54849F41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055752"}}}}}