{"entities":{"Q2835881":{"pageid":2846611,"ns":120,"title":"Item:Q2835881","lastrevid":83457509,"modified":"2026-05-07T08:01:56Z","type":"item","id":"Q2835881","labels":{"en":{"language":"en","value":"Efficient reasoning for inconsistent Horn formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658170"}},"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":"Q2835881$3A5E7D8A-C3BB-4A1E-984B-4C6A78436439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42c4dc8aac3ddc8c448bd681c3c2675d675e4d2","datavalue":{"value":{"text":"Efficient Reasoning for Inconsistent Horn Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835881$C815E121-17A3-4EF9-8D64-0282044710ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e2b47ca572ce83e45b3a561a874c593f682b15a","datavalue":{"value":"1483.68381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835881$F417108F-7883-4544-9C5E-89AFDB4CEE36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31bbb0adab96f6c7f843c437aaadb55911babcb7","datavalue":{"value":"10.1007/978-3-319-48758-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835881$B5137584-90EE-450B-A25D-86B4BE82D82E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$192A321D-9121-480E-B57F-535B0367561E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467860733bf369e6af27f18b03d9d65162ff29a0","datavalue":{"value":{"entity-type":"item","numeric-id":363572,"id":"Q363572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$C7E9EA25-139D-4E79-AA53-F5C874E23705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e484f66b2d4d80476efc2741bfc7b501692ca02d","datavalue":{"value":{"entity-type":"item","numeric-id":465591,"id":"Q465591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$78B72DEC-9FDE-441F-BF96-0A15AEB7F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$201E05D8-3735-468E-BFA7-560CB62ACBB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$25ED8109-85C8-48F4-AF8D-73ADCEA67D3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835881$FC9BB2CD-75C1-4DD3-BC27-F0513EAFF5BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835881$EA3308FC-4B3B-46ED-B86A-06D9EC8AEED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6874b2d02b3356d59d83f11054b5357bc186081b","datavalue":{"value":"6658170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835881$DA42E147-3CDD-46A8-AAFB-E1C49978CAB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e790e34c1124eab87f8bae09bccd11990af9eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":55821,"id":"Q55821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$955CB042-D11E-4AFD-9F7C-870A671453D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5a242de69c79c07438513990ae78359ebba9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":28610,"id":"Q28610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$DD044B96-B899-4059-B33D-C6661162BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6aae6760cdeb57b68e285044300308c5cb20712a","datavalue":{"value":{"entity-type":"item","numeric-id":34716,"id":"Q34716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$5C1016CB-9477-49AB-BBE5-371888181A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$D7C7D7A9-F999-412C-9A8C-FE0D01CA8D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"000a59c76fe8271e045a72b8e028e7c0252cfc1d","datavalue":{"value":{"entity-type":"item","numeric-id":40338,"id":"Q40338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$8840DC75-9530-4CE9-93F3-6772F20CE153","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":"Q2835881$57770FBF-D329-4D83-B852-563BE372DF75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92899a4bd529033a2e980c11fce6477145d0f249","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48758-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835881$AF14F391-F61E-407A-807B-175DE92A98AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b64b91746015da3de096dfe769b924fe2b3487f","datavalue":{"value":"W2540198404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835881$873AA866-EE4B-4446-8EE4-B54C8C9C2923","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"276fe82052f6c92547ac9b5da86c471f20217705","datavalue":{"value":{"entity-type":"item","numeric-id":2818038,"id":"Q2818038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$4036A641-71DC-4887-84AE-DCC373B1CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8901f28a910eab4e88b7744745bb5e25d76859d","datavalue":{"value":{"entity-type":"item","numeric-id":3453236,"id":"Q3453236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$CED9E02C-BE78-4617-B2AB-A787B7360CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a719daf5fb0c0d7efb4db15da2d4a13f1a6fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$C5CAAF5B-C2E9-4FBF-B0F1-D6BC7593B3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$13F715C7-9F38-478D-8D86-F93A2D3226D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$6C4FA335-2ED9-4F89-9AF1-4FAFCA77313A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351e6790b87d174878f83df2eb0842ae7e7104f3","datavalue":{"value":{"entity-type":"item","numeric-id":4025905,"id":"Q4025905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$D6DF6659-6C50-4589-B121-7958316F55F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$D0406DF9-B99B-4CEC-ACF3-29CAF17CCD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$61A720B4-DEE1-4A3D-9F91-71039EA68163","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":"Q2835881$321D2AC3-C3AC-4F3D-94D3-4EB5BD7ED57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$7ACCD030-68B2-4FD0-877B-FCD51C8905E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$2BA83A54-3C8B-46A2-B54B-BD45560BF302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b7f7779aadc9cefe2009dbba333f074f618352","datavalue":{"value":{"entity-type":"item","numeric-id":253999,"id":"Q253999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$3E8D681E-A142-40E7-86CA-DA4764B632F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba7598a622756daa7a1a98c7ec39119480164a","datavalue":{"value":{"entity-type":"item","numeric-id":1108809,"id":"Q1108809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$8E6DC617-0B47-43A3-AE14-196229D04023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f64fb532bf3fbbd92e7d2230ded1d794e7358","datavalue":{"value":{"entity-type":"item","numeric-id":2352492,"id":"Q2352492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$10FFA5E2-51CA-44CF-984B-60F78B43F6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$FBE51525-D5E2-4A1C-BB75-281B4FBE0222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d471f89afd6ae02e6abccdefba7067a6223eea76","datavalue":{"value":{"entity-type":"item","numeric-id":2741528,"id":"Q2741528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$4D6B5DC7-1F9C-4DF3-B0F9-C3E7BDAE6C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aafcb2eb6cfc5dc42790ff126c4e75a14da6921","datavalue":{"value":{"entity-type":"item","numeric-id":5756578,"id":"Q5756578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$A65F9E38-8C8F-4A7A-8147-69569A3FCCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e036f2441e960080b9e69857d785e14c30995de8","datavalue":{"value":{"entity-type":"item","numeric-id":3453219,"id":"Q3453219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$EF59CD9D-6DDF-4FE2-80C7-800E856BD942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b632f229012bfc16f9534dc248d24dd34eafb8","datavalue":{"value":{"entity-type":"item","numeric-id":606913,"id":"Q606913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$F0EF0EEC-7FF1-486B-8DBA-AEA6A642A653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63019fd555042b1e8808a516f4903ec6bfdd79ae","datavalue":{"value":{"entity-type":"item","numeric-id":2457681,"id":"Q2457681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$D6C2BAC2-AFBA-4C55-A34C-6B5F11770B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d193bb88532af50db5fef4102d1a284ddcd926","datavalue":{"value":{"entity-type":"item","numeric-id":2389621,"id":"Q2389621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$6D5B68E3-FEB0-404A-B963-215C7CDE28C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95cfc2858f7da35937fdaf2e1a94f1d7de0ea285","datavalue":{"value":{"entity-type":"item","numeric-id":2818026,"id":"Q2818026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$9325CD98-3673-49B6-A0CB-643E6C7B4046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$478D6D55-2D8A-421C-A5CE-F03CD60CD11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$84C86E37-49DE-422A-8E9D-4C89B53D7E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$8DE06D92-65F7-4501-8B9B-82E0DDC0DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626913de913cd1a4fff76323139dbf8464bd3ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4571936,"id":"Q4571936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$FACF06DC-60C8-4233-A21E-65346F3D2B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626e901a3fd291eb75e2d888f0f68f1edf4b9295","datavalue":{"value":{"entity-type":"item","numeric-id":2999101,"id":"Q2999101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$A8B2F1F1-AE4B-43CE-9BF4-BA72EE9939C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$122C2E12-BE6E-4338-9E69-C21B8876555F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af513cb1cd8af1f444d2812d66fcc4ed31ebd21b","datavalue":{"value":{"entity-type":"item","numeric-id":5191098,"id":"Q5191098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835881$6470E429-85AB-49A3-B5FD-ED33E9C8F1D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becdcc49d0047a2db60b847b7f7900a8dd3fb807","datavalue":{"value":{"entity-type":"item","numeric-id":543196,"id":"Q543196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b09a46fc8bbfa5478e50b49e799ae6d62e24fee","datavalue":{"value":{"amount":"+0.7855615019798279","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":"Q2835881$0CCABC39-AEC2-4ACE-954A-BCF74625786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f6821559779861172958930d2c122043dcb3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3453236,"id":"Q3453236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fa3d7a38075ccaa41818f81195c803db955263","datavalue":{"value":{"amount":"+0.7678659558296204","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":"Q2835881$74C62673-057B-4AC0-BC8A-F6D2C631B646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7717017924bec3ad3e6b3c9c0ddbc8e15955a3","datavalue":{"value":{"entity-type":"item","numeric-id":2321259,"id":"Q2321259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb72fa775ddb468b6820e520af73a7ec69d2d7bb","datavalue":{"value":{"amount":"+0.7454394698143005","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":"Q2835881$8C62C830-D33A-4B1E-BA5C-7E08FA772EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5da45d76ec4a2dd2804beb9f035247925e14d0d","datavalue":{"value":{"entity-type":"item","numeric-id":1029007,"id":"Q1029007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a1a2bbd6da0b4bd35d1e68696f28fa81a10cb2","datavalue":{"value":{"amount":"+0.7332301735877991","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":"Q2835881$FC3DE45B-71F9-4A73-8AB6-0FF9A3C89E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93618a0ae8780575f6532bb81dd8b945b0c145b","datavalue":{"value":{"amount":"+0.7328836917877197","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":"Q2835881$469865FA-3463-4653-9E78-6C94435E6190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient reasoning for inconsistent Horn formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_reasoning_for_inconsistent_Horn_formulae"}}}}}