{"entities":{"Q4593023":{"pageid":6622608,"ns":120,"title":"Item:Q4593023","lastrevid":52952666,"modified":"2026-01-23T21:37:44Z","type":"item","id":"Q4593023","labels":{"en":{"language":"en","value":"AC-KBO revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804581"}},"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":"Q4593023$D6FD3EBD-E223-43F3-BDAB-76E0A163666C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4997a2d6d1d39a20357b50d6fcc5f3e8cd87860c","datavalue":{"value":{"text":"AC-KBO revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593023$D8D24653-4E4D-428C-8F62-9BECBC979F18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f8bcb97b702e7da4521e4654636cbab6f79f13","datavalue":{"value":"1379.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$4E6708CE-E53C-41AD-B713-57E5B0ECAAAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bc7a82fef5184c7f423889648e6f5f38236e0cc","datavalue":{"value":"10.1017/S1471068415000083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$BB3D16D9-51C1-4F03-A61A-49862BC86A3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$76F3FE95-A2FC-4C8F-9F0A-174F8ABC6E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$A4914D4F-E450-4B99-953F-81B01BA87BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$4B94FBFB-8130-4B61-A2E4-A8AA317CE92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$427C6BAA-53F5-4CB2-BC5D-8E3A4DF1F898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$A0F29BCA-216A-4BFA-814A-62D922C5EDAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-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":"Q4593023$CBC17B0F-B7AC-4CAF-B5AD-81A3505678AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$6EF98CFB-A318-422E-8E92-EE00505AD85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$CA6B6811-A949-4EF9-9D89-BC7082831FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$FB8206C4-3743-4AF8-BDC0-C0E828A90BC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f88dff21dc2d4e435bfc06ecdd3f5edb08f5298","datavalue":{"value":"6804581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593023$8244E373-E5CF-456D-981F-61848E4D20C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593023$EA3A0A30-4165-4734-9FB6-9A010718B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593023$5FC0A8F8-8992-49BE-B848-B6E99070E58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe4c24de7ff15c55571b291f7bb83a7ba1b64b7","datavalue":{"value":"associative-commutative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593023$080F3D23-5F1A-4AF2-BE96-D40C156B28FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d7cec9561b2aff7939cf2d4db95015f927af8","datavalue":{"value":"Knuth-Bendix order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593023$19B822F6-FD77-4F5B-83C5-B7C6BC5B7BD0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$8A521DBC-5B79-4E6A-8919-DCFBEDF1BB11","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":"Q4593023$EACFC010-BDD5-4C17-A24D-054E58D72584","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28df93d2f1ffc0e63be30b9121b171d24a4878e3","datavalue":{"value":{"entity-type":"item","numeric-id":4933277,"id":"Q4933277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$5480D1E2-FE53-450A-B283-2FFBF023AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f52fcdbe4ede6f8e4c5f41a8b11ac00ff7c5133","datavalue":{"value":{"entity-type":"item","numeric-id":1572592,"id":"Q1572592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$34DC3802-7B08-496B-9B43-FB02ACFD595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$284310DC-E450-4ABC-BC96-8A7699B8D403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$AFF7AE6B-CB49-4E04-8576-740480E30329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdad75be26f92322fba2c4fc34166d0428ef05f5","datavalue":{"value":{"entity-type":"item","numeric-id":2392415,"id":"Q2392415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$D80089E6-040F-4CAE-AE44-52A1BBE65B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$AC060A00-F5E3-45DF-96BE-0760B4E39E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6816a809c0eafdc95cf8e2d66409da79e457ce5","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$6C5F4C9E-B142-459B-8D55-F1C1EB2B6D10","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":"Q4593023$F72687B5-A734-48F1-8FE0-31DF0D51FE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d784e9c182b8b03311b797512c2cc1543da28ba","datavalue":{"value":{"entity-type":"item","numeric-id":5900709,"id":"Q5900709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$6EBCC0B6-36C6-4D33-9953-29EAE7C33998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509562d7fc2763f459538f26ff91c9605252e482","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$B1CB994D-A7D7-4E97-9512-EC63011FE6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4febb634b64d2f4bf70a6faf5990dbefd157552","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$68FA0935-6EB9-469F-BF09-DB39514263C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a359e0c4194dc29e9a7f915c69fa31db62513","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$A3645FAC-ABAF-4D92-A313-F6F74DCD867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$6901122E-4B06-4BCF-B14B-3296FDF3A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$538C98AC-3F19-402B-850D-ED58CF6F7141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd39ad9f1e6c17f7f45f17270bce76faeca3cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1392146,"id":"Q1392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$D674CC6D-093E-4CD5-9DCA-13028A723B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1399d85040ecbfbd989e12fc58a50c94b5c35675","datavalue":{"value":{"entity-type":"item","numeric-id":1400715,"id":"Q1400715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$5711D016-EA1A-4F2A-9C00-BE905DD928AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$EC105FF9-B3F8-4298-83AA-5E87F4974542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c87de7a8821d098913d45c6451eb478a18030be","datavalue":{"value":{"entity-type":"item","numeric-id":5096208,"id":"Q5096208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$D8E63B63-E753-462D-9FA5-4FF1A2522D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8191cf0bfbb217d8b509ce0cb8681f64b916ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5111915,"id":"Q5111915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$53C17683-5B84-4395-A9CE-3A68370B6A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bd2cf6fd4a9089f57b640424bc06972aea0a25","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$09CA7319-9534-4506-9097-128090AA137C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff819d22ac4064eb0be69a54f133690e1895c78","datavalue":{"value":{"entity-type":"item","numeric-id":5170721,"id":"Q5170721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$52031E37-75F5-4AFF-83BF-C98356D864F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77128970ef1ae7664b1eef0de5f0b57e43899ac","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593023$7D56CE98-A10E-4D40-A2E0-140C7483E9C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c63a6a9592caa0540f29f129a7226132cc4145cb","datavalue":{"value":{"entity-type":"item","numeric-id":5170721,"id":"Q5170721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ab2b440714aa290f14aac5dfa6d42828d14f97","datavalue":{"value":{"amount":"+0.934781014919281","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":"Q4593023$FB9E40E8-3A91-42E8-8B2B-13AAB15058CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe93a025bbacffd202c0b7afb9874ae942a8ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5900709,"id":"Q5900709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0cee86c676de72559aaaead662bb07d9a890c72","datavalue":{"value":{"amount":"+0.8800715208053589","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":"Q4593023$8159C94C-EDD2-45BD-8EB4-768A070E13AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90eba00a0e38e067627c942fd82a2ce1e15148f","datavalue":{"value":{"entity-type":"item","numeric-id":5096208,"id":"Q5096208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d78be5541eeaedd6c2531adba8ab555a6330a2","datavalue":{"value":{"amount":"+0.8426743149757385","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":"Q4593023$C056FBD1-094A-46FD-BA28-7D6408D96F56","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":"be47d35d1737bf1b2bd190dad4f3eb79bdf6d075","datavalue":{"value":{"amount":"+0.8196686506271362","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":"Q4593023$2C71462A-5508-4BCD-93EE-07974BD45A18","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":"d9202d22da46dcae33cf13f93bf2007d4c168830","datavalue":{"value":{"amount":"+0.8034123182296753","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":"Q4593023$87E8CD0A-80B2-4D0C-AADE-E484CB25B72C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593023"}}}}}