{"entities":{"Q1029007":{"pageid":1030855,"ns":120,"title":"Item:Q1029007","lastrevid":66584007,"modified":"2026-04-12T11:06:25Z","type":"item","id":"Q1029007","labels":{"en":{"language":"en","value":"An efficient algorithm for Horn description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576890"}},"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":"Q1029007$1EDD1DBA-D75F-4BC8-8572-654B691E5452","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b766abc1099f6d14d723e05bce3a6205a1686173","datavalue":{"value":{"text":"An efficient algorithm for Horn description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1029007$C52FC927-22EF-44F9-BE1F-656A6D9FEFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e744ec556a4a044e6c487b89a54e715c6f64d98","datavalue":{"value":"1178.68641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$C2262166-9C7E-4093-8491-15DC1F198EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4081c4099f10e356714bb1c9f339658626e1bdda","datavalue":{"value":{"entity-type":"item","numeric-id":673673,"id":"Q673673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$8A041E78-8097-4D87-A7B5-B9FCE5AF19E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d914bccdd0ea42eea54bb1f670441623665cd0","datavalue":{"value":{"entity-type":"item","numeric-id":253987,"id":"Q253987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$589244B2-A728-47A2-B0A7-DB981FB1F68D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$9E8281A6-F42B-44A9-95FF-B65A306D0F9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e6dc41c09de35f18f848a8f3dd9ef2baecfc096","datavalue":{"value":{"time":"+2009-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1029007$667A1B85-5DC9-4688-B863-0B9E79A55B50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$9C970087-985E-4C68-8184-72DDEF752814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$71B36A0E-4D98-4A8A-8394-B281CA0DF175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7897620b7e7beb4c24f3d831a21113a9791fa933","datavalue":{"value":"5576890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$3868BCF8-E026-4766-BB8D-0E2691C22F97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d69ebc1c51cfee06b00c8b748e2b4275c0266","datavalue":{"value":"combinatorial problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029007$4746B941-A5E1-43F1-B5B7-6F1520486A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029007$206604D1-5D96-4AE8-8EE8-F4E973BEB4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6fdf563bba8ddba67393b2a09ecd4ba5fe724ad","datavalue":{"value":"description","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029007$11EA55EB-B20B-4DCA-B48D-64CBA7F9F276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564f4dc190b7b954caa47c7583ec3a72b77e6521","datavalue":{"value":"Horn CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1029007$EE985F5B-CDC0-4E80-BDE7-CF7A2A1BB1D9","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":"Q1029007$15263193-43B8-4951-95D5-181F87E146EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97eacbdd6bd9442e9e2661ddb6641e07bf068214","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2003.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1029007$42344B4D-D88C-4EF9-A8D8-B21A2724DBF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac867623021d0325e7b1eb785c8e07197b5be5ee","datavalue":{"value":"W2041042424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$5510A5A7-F1E6-440B-B9F2-87AAE1597D4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$4FE16E5B-5721-4CA1-A327-D2CAE35CF038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$403C8054-9933-4BAC-989A-A6A5868826EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c403665aa6e3aa64da28618956f2f116df15324","datavalue":{"value":{"entity-type":"item","numeric-id":1204870,"id":"Q1204870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$0EBC5C7F-D163-49D5-80A0-0C7DCFB295C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$651DC6D8-80BB-4A04-8361-EE4CEA3B88C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6a23c3d13b88fed862805e0103394acbd1dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":4268444,"id":"Q4268444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$DE4757AD-FC51-4872-BA46-0887717804D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$5A026352-EC9A-4263-972E-1605C8134667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$3917FCB3-4405-4332-BB91-48580CAC2A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1029007$E9A3BF28-ADDD-4585-AD2F-1672D734C12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e0e9def8a6b9260754835991b0397ffec12e4b7","datavalue":{"value":"10.1016/J.IPL.2003.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1029007$2AE26861-3D2D-4062-A43F-1592FD2FAD76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8aefc7711647f2d4b7b447d28f716cf9528b541","datavalue":{"value":{"entity-type":"item","numeric-id":3652297,"id":"Q3652297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3501c1af9cc2f7bfe2e5b856a09af5fd50c46c","datavalue":{"value":{"amount":"+0.88183284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$EA67FDF3-1C52-4EED-AE52-C885488C6FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506628ce467cbea6443a92cc1aaf808f914cd669","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3501c1af9cc2f7bfe2e5b856a09af5fd50c46c","datavalue":{"value":{"amount":"+0.88183284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$5579848A-6985-4AB1-99B9-43D1956D334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd3a09f1a0dd8724dafa6c3f83d2a36204dd42c","datavalue":{"value":{"entity-type":"item","numeric-id":3384905,"id":"Q3384905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33587ff9aaaa920c722a7a6a8691ec11120479bd","datavalue":{"value":{"amount":"+0.86247253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$B0CE797B-12D3-4B56-B359-8B7B85177097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817f83ba1ac6b94bc8ade44c6e9a34acf91f833a","datavalue":{"value":{"entity-type":"item","numeric-id":3789109,"id":"Q3789109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a42b3fda6b7e5febb10630565011c9f2be43714","datavalue":{"value":{"amount":"+0.8579843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$388AF3E9-2183-4468-9689-77E9E676847D","rank":"normal"},{"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":"90ab1d1eb68ae1a9b80c2dc4259e66a92cf3462d","datavalue":{"value":{"amount":"+0.8519478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$0DF09ADF-F332-477E-80BA-5EEB15F8DC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5968f2b23fcdc9731d7a84030bc488254fda57","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1f0ef0fee105c63c9b7903fff7d8bb80a0ac5a","datavalue":{"value":{"amount":"+0.84787166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$0CD07452-6F8F-49B6-BDC7-E64F64283722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28abbd11c7b748d7eb2364e93db1e8ec4396897e","datavalue":{"value":{"entity-type":"item","numeric-id":2946686,"id":"Q2946686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb61f3aaed980ea5f5b71eae56f5da524c23a49","datavalue":{"value":{"amount":"+0.8476441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$C4C3FAAD-56A5-4250-89FE-3E190163830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563e2122c77a2c332a73696166f69db54a9a7692","datavalue":{"value":{"entity-type":"item","numeric-id":2835881,"id":"Q2835881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e912ad852e370bc505e4977c977a27c27fdfb1","datavalue":{"value":{"amount":"+0.84688044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$BF312681-A2BD-40D4-B86D-7D86B3419A1F","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":"dcbadfddef432baf5d49ba274c9c6dcbde72bd7b","datavalue":{"value":{"amount":"+0.8447583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$12EE55CC-0907-4027-A7F6-D3F6DA1BF0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334dc054d23aefcd23e9dddd5243131b09071a4","datavalue":{"value":{"entity-type":"item","numeric-id":5184426,"id":"Q5184426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748ccc50324deca8610b964edf7481e0e0ceda6e","datavalue":{"value":{"amount":"+0.8437302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1029007$8FF87292-082A-47F1-A152-2A9D5881939C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient algorithm for Horn description","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_algorithm_for_Horn_description"}}}}}