{"entities":{"Q1207302":{"pageid":1218051,"ns":120,"title":"Item:Q1207302","lastrevid":47142397,"modified":"2025-12-31T19:51:14Z","type":"item","id":"Q1207302","labels":{"en":{"language":"en","value":"Learning conjunctions of Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149482"}},"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":"Q1207302$E740BA29-74D8-4AE1-984A-DF1391FDEFFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfddac0cef8b913c10ef8d6e14482b78cf9bdbd5","datavalue":{"value":{"text":"Learning conjunctions of Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207302$96902D15-6399-44A7-AE6F-8CF7AD79D525","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c716182dc1e911ffd734ff42422a1abbaff1044","datavalue":{"value":"0766.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207302$0D39EAAB-3642-4FC2-BD08-B516F4B1B139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cb1a46370e0c83f201b79a3fcb92c3a33baf2","datavalue":{"value":{"entity-type":"item","numeric-id":329609,"id":"Q329609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207302$F2A21861-C6D7-45C0-BB60-3F04FBA01F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"738b3ff53cf13b656ba711bf07a8611a51ce4721","datavalue":{"value":{"entity-type":"item","numeric-id":216366,"id":"Q216366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207302$EC5DB98B-55C9-4FE9-9E9E-1DB8A1F9F210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1c45c99d7f66aca9a38e9b39a010fbe970038a","datavalue":{"value":{"entity-type":"item","numeric-id":676239,"id":"Q676239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207302$FBBA05A4-97CB-4FEB-B648-2DE0655CE501","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207302$11FEEBBA-D07D-4758-8C30-8069A4B8B56C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207302$BABC7057-0BC2-4D5D-9D2D-FD222D05E13F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207302$B4FEECBD-8177-4AA4-91E2-88D4CEF663FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8425f0f628d952b4c1d0895f05316f9cddbf4a52","datavalue":{"value":"149482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207302$EEDD06DB-028A-444E-89D9-6AB591919664","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f4ea4774d000279725c7910430fbc1e3ee55de","datavalue":{"value":"propositional Horn sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207302$49517E31-5496-4F1F-99A3-664EB290237C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff27672f8c743df4d2300fe3bc25eb7a4de982b","datavalue":{"value":"exact identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207302$39759744-DB01-4FF2-AA96-F5E76EB3C8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f546ebf482e208bf91ab2410104e0a83c01c3922","datavalue":{"value":"polynomial time learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207302$6356CAC8-EBF1-4D40-A81E-8579FEFEC54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e184b113927957f73395138538920a2475d8d7","datavalue":{"value":"equivalence queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207302$FD087184-734F-4C06-A770-7036824B2091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194a7981be8a61c957a52941991a2560b2a80bc4","datavalue":{"value":"membership queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207302$73BE4D2B-B147-49FD-AE63-D4930A300B14","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":"Q1207302$B30C7173-131D-4F54-8C24-DF65173538C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683b3730036d4db646e942d46b36056b84733af7","datavalue":{"value":{"entity-type":"item","numeric-id":1944948,"id":"Q1944948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ea90798050409138ea9fd95dc2505744207574","datavalue":{"value":{"amount":"+0.8215014934539795","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":"Q1207302$289E041F-80CB-4453-B383-17645666D1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc9d3e1fdd1144e5f0ab951b19d771aee7819c02","datavalue":{"value":{"entity-type":"item","numeric-id":4537962,"id":"Q4537962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0a2e61a634b16c87100dc158f8b140f042f219","datavalue":{"value":{"amount":"+0.8170555233955383","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":"Q1207302$4A5E0693-25A7-416D-A1F9-681E07445CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500b85eb0ac6064133080898c6ca2cbcbdcf9275","datavalue":{"value":{"entity-type":"item","numeric-id":1969319,"id":"Q1969319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580c01b262db4aa57e2dbfd0d79acb063200262b","datavalue":{"value":{"amount":"+0.8137946128845215","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":"Q1207302$AF4C2194-2BDD-4BB8-8FB0-C8DE6E9E9447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321c4b0fa06519d573b19e35e0706f2b25f05de2","datavalue":{"value":{"entity-type":"item","numeric-id":1390949,"id":"Q1390949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cd48081034b88bd9c0468e2bf5235cb34599e5","datavalue":{"value":{"amount":"+0.8091254830360413","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":"Q1207302$27A7F635-870C-44B4-A4FC-C78D640BFB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95662c2f7f95831d7379049b6ea2c0954f4e3e43","datavalue":{"value":{"entity-type":"item","numeric-id":5053056,"id":"Q5053056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ef2f1ac6c06f111aa43992c20dafc59d211a96","datavalue":{"value":{"amount":"+0.7984315752983093","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":"Q1207302$33E1D2BA-27AF-48C6-8731-CD18FE3C700E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1207302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1207302"}}}}}