{"entities":{"Q1085152":{"pageid":1095904,"ns":120,"title":"Item:Q1085152","lastrevid":66883821,"modified":"2026-04-12T13:30:30Z","type":"item","id":"Q1085152","labels":{"en":{"language":"en","value":"On solving the equality problem in theories defined by Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981149"}},"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":"Q1085152$99EB751E-C1A0-4BAD-988B-CE1355016EB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4208cf76f5b4aae29f4f37967ca1954eaa2756a","datavalue":{"value":{"text":"On solving the equality problem in theories defined by Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085152$3DED6FA7-4EFC-4764-93BE-715C1BFE426E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2778a1ad2fd140e1693a8736645d06d85465c6bb","datavalue":{"value":"0607.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$DAD9A84E-D420-4AAD-A6D9-9A93BEE11A4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f18a098883db1c779d583fd1c8b7ff427bd1d7be","datavalue":{"value":"10.1016/0304-3975(86)90114-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$274430D8-E138-401F-A694-F26FDA8F5C2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$108600D6-FD44-4620-844B-1641E3B3AA5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$227012B3-DAFF-4E18-93C5-4070B53B5E1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1085152$F4994A27-BB9C-41CD-918A-1B336FBDD012","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e38382660d58e681e185952b4f90e4441f74064","datavalue":{"value":"The Knuth-Bendix completion procedure for solving the equality problem in equational theories is adapted to nonequational theories defined by sets of Horn clauses. Completeness can be achieved by endowing the procedure with a weak axiomatization of Boolean calculus and the reflexivity axiom for equality. It is shown that the procedure can also be used for inductive proofs, i.e., for proving universally quantified formulas in the initial model defined by a set of Horn clauses. The relationships to some resolution and paramodulation methods are discussed, and experimental results are appended.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085152$9C8F8E68-4173-405F-B04E-522FF032F3FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$E7DFD405-EF31-483C-ABAA-06B6282BACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$4DF383F5-80C7-4729-ABB4-F76ED7F14BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$B7015C7C-D2A0-4BCD-AAF9-E6AAEAFCC1C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c4c9fd32ae9b0f92150f8ab19710adec9df0ecf","datavalue":{"value":"3981149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$99DBEE0B-0B07-4629-9205-16591EFA80DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085152$FB394ABF-5957-40FD-9344-280F7DBDA8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15af875203f61841e74b691292cce7ea18c7c754","datavalue":{"value":"equality problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085152$7CF7CEB2-006A-4D1D-A9A8-D0DDBD7195CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aeb0350b3a5105d9edc103d111f5b670621dd9c","datavalue":{"value":"nonequational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085152$4B64F3C0-52E9-44BF-BAA2-F94BC8B4C562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085152$07ACCF52-B313-4C8F-B45B-BE492CD83EA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$4A59B184-AA76-4483-944E-A1A998CADF62","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":"Q1085152$84CC2674-79DC-4DFC-BF04-4DB95DFE4520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"723e1af99ba1a859715f1c3890bdf5222cc42e16","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90114-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1085152$66106174-F7F2-44EB-8AA3-ACC27309CFE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc05e4587194e5b27a94a1cb6b26b5f22e606a35","datavalue":{"value":"W1991348109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085152$66F485CB-2F49-45D9-A990-B503D10A85F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$94CFFCC7-482F-495F-9194-2A7B54912DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$F79AF5B4-3089-444E-A889-B3965ECD0743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$B7B10D61-EF7B-49AF-B196-EFF589314BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$43124D4D-035F-4F4D-B70A-7B2B833508DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b55d8f43ca125643590f04b775951f5864389","datavalue":{"value":{"entity-type":"item","numeric-id":3692850,"id":"Q3692850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$F57089DC-FABF-41DD-A0CA-E54BCA041F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabd8f3595e1331a44dc7a6dd5f7e7d6bff224f3","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$70E90606-B733-47EA-A4CF-2CC1D7C648E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$CF9D5BA1-5B67-4DC3-BD6B-B1674E4DCF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$04F35FF5-481C-4EB2-B294-A480DEAABF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$32A3374B-93DC-4137-BEBC-8ECB57A5B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$D7B08A2C-95B3-4E93-B23E-2FC5BC4C6F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$526D7562-B640-4F0C-A2CB-AB4330AE9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7819d4cde146b169662c83aab32ea4e5414cd355","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$AE49CF54-664A-403F-8B52-C3DF40FF8A09","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":"Q1085152$5D3758F2-56E1-4001-A6C9-B192A442CF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$959F69B1-EF02-433C-ACAE-5CF303AF9ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407daa1c47ad4e1b7bcdfae46df97a17606dddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3338226,"id":"Q3338226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$CA7DEE8B-19E0-4634-B66D-77F2FD441577","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":"Q1085152$D019A46B-5EF2-47B9-8752-3F1BF98ECB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$0B56F830-2069-41A3-BD4B-4794D8801068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1873cef4ed5c17f275ba3068a5476eb9365c9573","datavalue":{"value":{"entity-type":"item","numeric-id":1065783,"id":"Q1065783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$78B95DCB-A3FC-4FD8-98F5-EF05B3F7125C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5fd915bbf4da0911503e75e957b53a75a17cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$40484F59-4168-455B-8779-E5124C903138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$93A335C2-5643-4ED8-B544-F7974CB44454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$4B21E53D-1601-411A-831E-C0A560B44056","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":"Q1085152$A30B8E7A-A163-4650-AD7C-E81ADCD90D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$CD19F796-CBED-42B4-BED5-ECDF4902CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085152$05121E94-71E2-4BE2-B6D6-7005AC4F92B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$D941F6C1-6FA9-4C73-AB7A-DF537CF3487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895f98debbb36f0e5b8591d914488e33344fadf8","datavalue":{"value":{"amount":"+0.91054463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$55B8BEEF-B546-45A7-90DD-7C615EB0C948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052bcde754cf8683c81cf5f85c8973d608f4850f","datavalue":{"value":{"entity-type":"item","numeric-id":2145867,"id":"Q2145867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea756ef19f0d65fe499154e4c520e353d70d590","datavalue":{"value":{"amount":"+0.90693724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$7AC719F7-3960-4F0D-8FBA-89D23542D8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3966dce8b90f1bca0716e4a59e5a5e2e044e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4487250,"id":"Q4487250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf3e784290b1c6855cc28d0f7633ab8d22882e3","datavalue":{"value":{"amount":"+0.9035187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$59BC4628-96B9-4374-AE8B-126A1BA653A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b58fcda1a712845f81cffebdd13ddac02af0ed","datavalue":{"value":{"entity-type":"item","numeric-id":6160501,"id":"Q6160501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9591f1db719e73fccfe7b121c520f0fb30d46bc2","datavalue":{"value":{"amount":"+0.90337676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$08985B63-86F5-4F60-9427-BB1CA5496BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b8df760bc45fa43e92570f3b098869866fb300","datavalue":{"value":{"amount":"+0.89657426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$F6DE1C61-6CD5-42C2-8EFB-0CAE87C3390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39875765283c770aacf6a5acf46d64516796d33","datavalue":{"value":{"entity-type":"item","numeric-id":689280,"id":"Q689280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c677bc71c02e7e0616dc429b46254f1ea48d959d","datavalue":{"value":{"amount":"+0.8963604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$E176BD5F-6C5C-46F9-AAA9-39D429A71B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f36ff9ac44cff62d695c21359737c98ca98b122","datavalue":{"value":{"entity-type":"item","numeric-id":2277873,"id":"Q2277873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f9029c904e6643eab167407c62065cb5edf086","datavalue":{"value":{"amount":"+0.88787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$C81A9BFA-095E-4D7B-ACFD-EEFA7532502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5776978608195156dec9577206d62b1a5a5e5df4","datavalue":{"value":{"entity-type":"item","numeric-id":3212269,"id":"Q3212269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c803488e0f2b031cf7f55852d8321364b0f6c56","datavalue":{"value":{"amount":"+0.8838012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1085152$BBF2907B-21FE-4328-A7FA-12419870DE68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On solving the equality problem in theories defined by Horn clauses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_solving_the_equality_problem_in_theories_defined_by_Horn_clauses"}}}}}