{"entities":{"Q5055849":{"pageid":7085426,"ns":120,"title":"Item:Q5055849","lastrevid":47786020,"modified":"2026-01-02T16:51:33Z","type":"item","id":"Q5055849","labels":{"en":{"language":"en","value":"AC-complete unification and its application to theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631280"}},"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":"Q5055849$25ED7A29-34C2-4730-AE42-FD130D5FB3CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"826f76ff0e864306c1bb6d710cd94b1fc7562a57","datavalue":{"value":{"text":"AC-complete unification and its application to theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055849$04E6C2B8-4283-4588-A564-A997ECB94597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1086c12a445f0a044bbc147974efa03d141966b7","datavalue":{"value":"1503.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$B022C8FC-ADF7-40F2-B23F-2857C6391F4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4f205ddbc9834c3f1aad00b1d92bcc539689df9","datavalue":{"value":"10.1007/3-540-61464-8_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$889DD487-2814-425A-833B-F1DD3EB190D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"788ac89b31e2c7aaa535692b5b9e6f1abe572f70","datavalue":{"value":{"entity-type":"item","numeric-id":582072,"id":"Q582072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$6A9EB5C4-F7DF-425F-BB19-08F75E7077A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$C1405BEF-01D9-476B-990E-76B56E187DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$064D1A83-1998-47CE-B16E-43DBB71C2F19","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":"Q5055849$489221DA-C892-42EE-8BB4-58A0DA8B84F9","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":"Q5055849$8E94A5E2-6722-42DD-95AA-96E4B12F4765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$52C8BFE8-D4E5-403B-8E4B-707F30AE24E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$FBD21193-EDC4-4904-BB51-A80A736C9C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46473b202ee818a11150987d4b07a8869d0b0761","datavalue":{"value":"7631280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$BAC49EAE-D152-4A4E-B012-902A8DDCF0FA","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":"Q5055849$349B68A4-5990-427B-90E2-EADACB1DEEFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"926a1c3047130e746d43cf7fbc7eecf6e6533630","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055849$6EF8EC5F-A91E-405D-9211-0DF3232765C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00576267647ea69e2656ede0ae6337970f9e4d8f","datavalue":{"value":"W1482593535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055849$24BB6313-E8FA-4D84-BA21-9A48EAC83D3A","rank":"normal"}],"P223":[{"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":"Q5055849$C644AF42-3BD1-4287-8F1C-E322DD359971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$FC9CBDFC-C1BD-4BAE-B6C1-C4B24F9C7DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$232D2C10-D8EC-40E0-A203-1030C26CC884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$3E05E62D-ED45-4C4B-B7BD-4A8B06BBA87F","rank":"normal"},{"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":"Q5055849$7359BEA6-E788-447B-B85D-88E1A176D952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e35b05acb946cff9836402c683e31e61c64b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$76DD15A2-5DE1-4152-B589-CC6F8A3939D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$201F596A-259A-404C-AFC2-0A07608BAF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$D0A4ECFA-AA0A-4A1C-81B3-FAD6D8E483E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a2f042bce831ceb861d6edacfa33cb83e3369f","datavalue":{"value":{"entity-type":"item","numeric-id":3818292,"id":"Q3818292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$88831C9A-4730-4634-A3E6-7AF89C36A3C1","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":"Q5055849$3833F5DF-C9CC-48B3-8168-6073E88AC974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$A83FF232-02A1-4087-98A4-6F28486759DC","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":"Q5055849$FFD4A5C4-D72E-4B7F-8ECA-4AB7651003FC","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":"Q5055849$3C3165E0-7A5C-4B9A-BE31-1BD67C5F2043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d15513196ac5812dda4740f218d50ad21eb90c","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$7D147124-FDF6-4B22-BBB0-DC4D6B5745B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$0890677A-B1C4-4A82-8687-2F100073B323","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":"Q5055849$DF1F5277-8735-4138-B814-8E981607007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$17523FF3-FDF7-438C-B97C-E113B97D07C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$204DAAD1-BB6A-4D17-B67C-FD461ACEAF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$C4A047B5-E405-4C1D-84A2-D03225A5AC7A","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":"Q5055849$A10D061A-4D0A-4D3B-B51C-30B59B9F7E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055849$FEC5F1EE-1932-4A6E-989A-1671DCBC6521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8db861cd2105856b13ff15b9c2860da07a54331","datavalue":{"value":{"entity-type":"item","numeric-id":3780487,"id":"Q3780487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d069f1df1bc7a639d16d7ecd229f9d6f44707af4","datavalue":{"value":{"amount":"+0.8236605525016785","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":"Q5055849$21CBBB31-3B88-4B47-A9D4-7BA57F87A32D","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":"a509218c414451bc070e2fb32be759e34af53774","datavalue":{"value":{"amount":"+0.8138351440429688","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":"Q5055849$C3984EC9-CCEF-4FB3-A88F-0DBFE6CB3D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a3013126c88788e1f2abca5dc5b703dde202bb","datavalue":{"value":{"entity-type":"item","numeric-id":3805960,"id":"Q3805960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa130ff1e503e010ff9bc052e3f0c6ec624f58bc","datavalue":{"value":{"amount":"+0.8109209537506104","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":"Q5055849$7536A020-BB58-4C45-8927-88BF74A71198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a7dcaa1877bf57d0f7d2e3218d3dc2f5acf8","datavalue":{"value":{"entity-type":"item","numeric-id":5055752,"id":"Q5055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d8f9e4a8b008ca61591f39dbeda7045e6e3e83","datavalue":{"value":{"amount":"+0.8068569302558899","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":"Q5055849$9F1B5128-2F3F-4AE7-9688-852A4FB576CC","rank":"normal"},{"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":"8cb88bacd2912234b07679b8efce72028f91f88d","datavalue":{"value":{"amount":"+0.8055661916732788","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":"Q5055849$A8D4072D-6EEF-4A4E-BFD0-6D6F087087F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055849"}}}}}