{"entities":{"Q3782842":{"pageid":5812748,"ns":120,"title":"Item:Q3782842","lastrevid":52368062,"modified":"2026-01-22T11:51:15Z","type":"item","id":"Q3782842","labels":{"en":{"language":"en","value":"HORNLOG: A graph-based interpreter for general Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045229"}},"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":"Q3782842$F320577D-29DE-4909-9432-178BED031BF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788a3fba1ea4ea3de37500d73d63488f1d47f34f","datavalue":{"value":{"text":"HORNLOG: A graph-based interpreter for general Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3782842$39F618E3-8D64-4DEB-A2B5-23B2B02EE6E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7952d7aba5577d6af3db0cf4cd7fc623eb782f4d","datavalue":{"value":"0641.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782842$E7A0C212-AE5A-4326-829B-0E39F7A0D59D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64f6b1f57a51a675525f57a4b32181ab5a134a57","datavalue":{"value":"10.1016/0743-1066(87)90015-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782842$11F21BB5-2EC5-4641-89EB-BD7DE79F23F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782842$F19C53D6-287C-419E-9A1A-A7789ABF0DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9245d6bd94ba1579f298ff2452b52a61f5a5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1188937,"id":"Q1188937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782842$B5E02E69-88C1-4F34-8F44-0D091C323F04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782842$C05425E4-65E2-47F6-A34E-32AFC721C5F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3782842$BA2155DD-4E1D-415F-BE50-94194C279D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782842$AAE82DFF-E0D9-49EF-840F-BE0B21F13714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782842$AC6A3A25-2E6B-4258-9808-57C66F159274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ed5103e4646bdd1d46932d03fda5f31b75a968","datavalue":{"value":"4045229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782842$6953CE8D-BAAF-4D0C-91AD-FAC5D1A29027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e2bd96bdf8dcc70ec71040a4864e269e6da4bd","datavalue":{"value":"logic-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782842$7DDF8A38-E652-4CE7-958E-648B4E2F653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22c60ce21cd874341cbf4e628c32d83ead5d6e3","datavalue":{"value":"interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782842$B9F4FD31-3141-49EA-A101-265680F8E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782842$6B33C478-DA83-435B-B200-9E578A785EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782842$5AEB2A58-2E78-412F-B94C-698C5D12AA40","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":"Q3782842$A7BA2973-9D4F-4D78-BD83-AB21F93F7E0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a11c27059cb286944575068a410597b5d41073","datavalue":{"value":{"entity-type":"item","numeric-id":1188938,"id":"Q1188938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d248fa445ca615b3af5e2efb28b70fe2b30bb84","datavalue":{"value":{"amount":"+0.8617497086524963","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":"Q3782842$BC7AE35B-F195-43EB-8D08-C2AEBB6AC040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c28068448cc63f83492dd660702628258744d6","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fa6a8a74800eaed4f386e43815dd040767478e","datavalue":{"value":{"amount":"+0.7685976028442383","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":"Q3782842$F41290A2-8A1B-495A-A68A-8F74E28144DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9c3e5e1e294ccf5dab1795824a6f1d694b8723","datavalue":{"value":{"entity-type":"item","numeric-id":1388210,"id":"Q1388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9415d5229899800410afec4e6ee2f86b34fbcbbf","datavalue":{"value":{"amount":"+0.7663859128952026","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":"Q3782842$4AA4153B-72E9-4DBF-AEB6-FC6AD35160D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27118b7b77ee6a9699d84db129e19d64a866057d","datavalue":{"value":{"amount":"+0.7594823241233826","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":"Q3782842$507B2607-AA52-4CD4-9B02-A6063EF06354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53de61d98742d16cfb543103ae861d32593af468","datavalue":{"value":{"amount":"+0.7573396563529968","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":"Q3782842$ACF61887-56E1-425F-A670-BC44B9E215AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3782842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3782842"}}}}}