{"entities":{"Q3652297":{"pageid":5682203,"ns":120,"title":"Item:Q3652297","lastrevid":80895200,"modified":"2026-05-06T17:14:46Z","type":"item","id":"Q3652297","labels":{"en":{"language":"en","value":"A combinatorial algorithm for Horn programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5649463"}},"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":"Q3652297$A4272F5B-6942-4826-8A45-1B8125A1FD0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a096404bb93c81e4187a1e44365edecae48093d5","datavalue":{"value":{"text":"A Combinatorial Algorithm for Horn Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3652297$1C339574-8681-425A-9C5C-09C4982591FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10d360da9680b54e2ccb962b094a160ca577bf0d","datavalue":{"value":"1273.90115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$B763097D-ED1A-4079-AA69-94DBCAA4C846","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"443add56a9fdd39b1fd163b67c0f766a279d91c0","datavalue":{"value":"10.1007/978-3-642-10631-6_112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$1895D649-0743-4B93-932A-6DAD91D74395","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"555623c5019e69c450d253a0676460a648d0cb3b","datavalue":{"value":{"entity-type":"item","numeric-id":584055,"id":"Q584055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3652297$A6FD8559-660F-4D75-9FC1-AE9667D9EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3652297$97D61C63-EC5A-4C80-AFE1-ED14D961976C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1f23f6c685108e278a483090ddf4cef029237a5","datavalue":{"value":{"entity-type":"item","numeric-id":2729094,"id":"Q2729094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3652297$4037BA16-C98C-40E5-9583-B6A37725056F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e761f146e2f993bfe7b45f643237d6ff930d14ff","datavalue":{"value":{"time":"+2009-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3652297$5E845FA5-142E-4324-A35C-10EFC97F16C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$B8F767D1-046C-4EE3-9FF9-7B03736B50A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$60D67EC1-AB70-4BCB-ADE5-BADF30B99909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$222E8C18-46DD-41D6-A6D3-543502DB9231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$353964D5-709B-444D-8E14-637980F8690B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3eaf1e2a0b5728a83cbed593983c463387f0a83","datavalue":{"value":"5649463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$2722477E-8445-4F08-A7DE-48B8C06D65F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3652297$6DEC5EF9-E407-4014-8E8A-A54C773258DA","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":"Q3652297$0EE9DF95-A5A0-41E3-AA68-C320382380C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c0b051cb1ad4d2a2a3ad4383c18837e287b9c33","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10631-6_112","type":"string"},"datatype":"url"},"type":"statement","id":"Q3652297$FEFE60B7-6904-4EAE-8B70-7DB8DB2AE96D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e694e3ca03ddea8b4297fb4e97dbb9db8993846","datavalue":{"value":"W1871628273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3652297$622EFFE6-4127-4775-9D43-6D6DD2031070","rank":"normal"}],"P1643":[{"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":"503fb2b108f9c1fa9d694a677a6ddb4056dac175","datavalue":{"value":{"amount":"+0.9884896874427797","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":"Q3652297$A0F70FE5-AD7C-4582-A213-3294E45082A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9594b498ef6d39c62c05f63764c8a3722e37f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003291,"id":"Q3003291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65ed51c79f3a37652b09336a33480d0abc27b0e","datavalue":{"value":{"amount":"+0.850337564945221","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":"Q3652297$7F7D0DCA-BEF7-4A7C-BCDA-306C00C7DB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025a08d36f3c8ad03a877fb87789a6ccb518ceef","datavalue":{"value":{"entity-type":"item","numeric-id":2344728,"id":"Q2344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da780a3acfbef73fac3b0cb259e6ae52523ac7ec","datavalue":{"value":{"amount":"+0.814207136631012","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":"Q3652297$47057B6A-31DC-4EF5-A1B4-B1441597855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0532edaea92fa8866fcb1b69b9b43c97a50fa2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2399383,"id":"Q2399383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0925ede1c4253dd5e4587e534a05dad42082d42b","datavalue":{"value":{"amount":"+0.7943942546844482","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":"Q3652297$F9C50321-3257-4919-BF81-59DD4CD8D578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723e0683a4c5a61217e2a7ead702f01cc436e8c0","datavalue":{"value":{"amount":"+0.757084846496582","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":"Q3652297$2B13A18E-9A7C-4E6E-811D-89C2DA55ABB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combinatorial algorithm for Horn programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combinatorial_algorithm_for_Horn_programs"}}}}}