{"entities":{"Q2865010":{"pageid":2875730,"ns":120,"title":"Item:Q2865010","lastrevid":51880889,"modified":"2026-01-20T11:27:10Z","type":"item","id":"Q2865010","labels":{"en":{"language":"en","value":"Horn clause contraction functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234103"}},"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":"Q2865010$F013B6EE-7896-40CD-95C5-1DED5FC5675E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b46947037537cd24484b6dd6d73c957193480176","datavalue":{"value":"1364.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$AD826449-0586-470F-9088-EC8C95152A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bf0cff9e215df3aaf30e4a09d6638e838fc0de","datavalue":{"value":{"entity-type":"item","numeric-id":294885,"id":"Q294885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865010$4E7CA946-EAF3-48E0-9866-EE30D11CE3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64768e880dabc12577ee9ac582aaca1ac21d612e","datavalue":{"value":{"entity-type":"item","numeric-id":490419,"id":"Q490419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865010$DE7E1069-D603-4988-BB3A-468E40AD37C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2865010$B2576251-C763-47CF-8804-5052B4CDC215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$DB33969B-6815-49EA-9BCE-3CAE3A500600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$4E03B2B5-4399-4E8C-A2F3-B33FF7F713BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$11831C95-E08A-4149-95F3-A91EF0000E41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d68b95d33d19d9203cf8356408525d7edaaee4f","datavalue":{"value":"6234103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$0F577787-FCF6-4F90-BC2A-A4D7D53E4073","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865010$9DAE5EFE-273F-4244-ADC4-29D09D943839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb809e5abd606bcc1d12f4c93ed5bd8c0aa12068","datavalue":{"value":"Horn knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865010$CA51F8E9-C2CA-4907-AC97-E2BF24665289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5413f8fdd207d100927323259127c7882a44be2f","datavalue":{"value":"Horn belief set contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2865010$C713C907-7478-4321-8790-7916D4A9C244","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":"Q2865010$E182916C-8651-4A22-8862-C974C3FDD2CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f7bc3624d49958fdaaa97f23d99bcef0a5a7ef5","datavalue":{"value":"https://doi.org/10.1613/jair.4031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2865010$E068CCC9-41BD-47C0-9C0A-500C007C3C31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d69aaecc4204b078f697562a75bef3d64e958d23","datavalue":{"value":"W2170431068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$38B11AE7-0DED-4355-BDB6-7572962781F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3bee6f92ca4cc2f88bd037cf5b20b34e045e3a4c","datavalue":{"value":"Q129489991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$48CDE4BB-FF45-4B00-8BE2-8EDB27816A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c729dc97ec863cd4bfd27c3e2e27104a7807b1fd","datavalue":{"value":"10.1613/JAIR.4031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2865010$58B63CA4-E30D-40D4-BA7F-4C3DF6F8512A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"596d599363b398d0760b86e6ba3b06a97e3a2429","datavalue":{"value":{"text":"Horn clause contraction functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2865010$49D43FF3-204D-489B-8FB1-59A2F36740A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2865010$29941DEC-4B99-4719-9AD7-C716A29B2ABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6f4a99fc60db734af4eb9b0b89496d20bd2f79","datavalue":{"value":{"entity-type":"item","numeric-id":4930776,"id":"Q4930776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f0207956ffe2aa91ce163d2e41be0143d9129cf","datavalue":{"value":{"amount":"+0.8881174921989441","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":"Q2865010$EB290FE8-ECC8-433F-98FF-0AFA004FBDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e803666797cda538f81463fce21058f50203e78","datavalue":{"value":{"entity-type":"item","numeric-id":3093655,"id":"Q3093655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911e67c25d24233aeaea7c57e05f13942b057861","datavalue":{"value":{"amount":"+0.8860340118408203","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":"Q2865010$030D0431-34AB-4338-8C14-882652923353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e393e0303775552b4fe02905f3ad241f744dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a02f3764d0511d2bfa37ca4e5d05cda5c8ef20","datavalue":{"value":{"amount":"+0.8740763664245605","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":"Q2865010$324118BD-4DB2-4D83-83E3-992D46A47F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f11c592aa38a46f611b135618a1ab0168db7ad","datavalue":{"value":{"entity-type":"item","numeric-id":2922397,"id":"Q2922397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb05c4cc0403b68b869e7e3a83282bb7669f1a9","datavalue":{"value":{"amount":"+0.8658892512321472","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":"Q2865010$0F06AD41-307E-47D5-96AC-EFA1F04515C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa67fc7d14596b6842b369d8ed795d70b5044254","datavalue":{"value":{"entity-type":"item","numeric-id":2512985,"id":"Q2512985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66eed47e8378687b7cf00f51e79e1609f68cdf0b","datavalue":{"value":{"amount":"+0.8586066365242004","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":"Q2865010$E45FA5D0-E376-4372-9D24-88686A352AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2865010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2865010"}}}}}