{"entities":{"Q2151419":{"pageid":2162162,"ns":120,"title":"Item:Q2151419","lastrevid":73439370,"modified":"2026-04-14T15:59:32Z","type":"item","id":"Q2151419","labels":{"en":{"language":"en","value":"Exact and parameterized algorithms for read-once refutations in Horn constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551727"}},"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":"Q2151419$E1A02AB7-826B-4444-AEBC-4398C9E3BBA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7274e457059882614461931ff171cd4c2b0ac686","datavalue":{"value":{"text":"Exact and parameterized algorithms for read-once refutations in Horn constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151419$A1826614-0E65-441C-9291-AD57DBA824B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25bd73e88d3f5a2b0eddce235d062a1cf9628b13","datavalue":{"value":"10.1007/978-3-030-93100-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151419$D6FCFF57-955C-4A33-9690-145A4938BD7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-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":"Q2151419$E1E65A0F-EF88-4DFD-A2A9-A961FC8EB9FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151419$FB1C7997-6DF2-4492-80D5-41ED8C804DFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6149a6762525e551d3cab0e4b57de79116159862","datavalue":{"value":"7551727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151419$9F9A9410-7852-4FFB-A949-C9183D385040","rank":"normal"}],"P16":[{"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":"Q2151419$379D3E7A-1505-4760-BF10-4FF1BE85833E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$997B4700-6EA1-4803-924A-66CFDDFE832C","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":"Q2151419$E1943508-20F9-4CB8-9F8D-2C7EE57CF3AE","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":"Q2151419$23A9F7AE-8EAB-41C8-9D6A-E5597B90B7A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46cee21588267d6ca25f4164485d21785b1b8760","datavalue":{"value":"https://doi.org/10.1007/978-3-030-93100-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151419$3EEBA2F4-0C86-4E71-82A7-837938124C97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4bb3d48482f587cd711f669b8096cd9579448f2","datavalue":{"value":"W4200456662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151419$687ED206-5729-4427-98D8-2967B4465B03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376ede4c4a0f149b204eff08e9c896038d8f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1373742,"id":"Q1373742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$DFDD58CD-1A7A-4236-9B7A-5DD3B047F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$8CCC3CC8-5D1B-44AF-B346-22E03F4928EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$50362D18-13F9-41A2-97E5-1B05BEFFFB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$647F51BC-F806-4D74-9B8C-94778D64F690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae46fc46a5f1dd9c91f7372322e8ee112c21fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5798359,"id":"Q5798359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$324583BA-486D-42BC-82E1-525FE0CC1676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97899b2a503251389d97100a20e4ddcb6332a1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4646517,"id":"Q4646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$E9FAE270-B33F-4E43-BE11-43C2E2557D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2effdcb9c49fda38c034a5ca411a7168f22dbc65","datavalue":{"value":{"entity-type":"item","numeric-id":621893,"id":"Q621893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$DB1A63BD-9F3E-4108-A5E7-E337219E4BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$F1E45D52-E009-44A5-958F-3C8F1CC3A43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$8C34769B-46E9-498B-B62D-0BFF3E05BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df13eb01be31e77d317d82a5c7216e0c97116c","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$C92F6655-8AC3-4988-A537-50A1E51C2E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30eba3246bdeeed9c4ef4710ca5a2a844f4b2903","datavalue":{"value":{"entity-type":"item","numeric-id":2327091,"id":"Q2327091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$95106692-FE52-4AF4-BF91-23DAD362F046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$992771C8-E530-440C-9307-5FBC578FE094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$ECDC862B-8902-49E2-A143-8E57CED01F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175203481786554c87540f5598808147380910c2","datavalue":{"value":{"entity-type":"item","numeric-id":2344728,"id":"Q2344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$3801128D-8DF7-46E5-AFC4-A8FCF75C8F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef86d27229f88234625ab5cf631770a7bacc164","datavalue":{"value":{"entity-type":"item","numeric-id":794427,"id":"Q794427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151419$9B655BF8-426B-4B72-BB8E-7806366AD890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c67288151f951451425cfe3527013025b28716","datavalue":{"value":{"entity-type":"item","numeric-id":5866468,"id":"Q5866468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc7fd292fa06d505c65087384a0a77d3982a0ca","datavalue":{"value":{"amount":"+0.9687621593475342","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":"Q2151419$1725D08A-D853-4E37-9104-851EB58BDD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65b83d9579d3584dfae2ef0f2a8c954f8ef41c1","datavalue":{"value":{"entity-type":"item","numeric-id":2673307,"id":"Q2673307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fef451b81ed2816d8b2ef31786858620b82a21","datavalue":{"value":{"amount":"+0.8497455716133118","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":"Q2151419$D2E6728C-EEE0-4D2B-9374-3892C9736142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00df626e919448b07821c3c6577c0bab7ba2fe8b","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95c659dec2fc1339708065479b6ae65690ec59b","datavalue":{"value":{"amount":"+0.8174808621406555","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":"Q2151419$BA7BB2B7-4BFD-42CA-A459-DA5BB797D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58a16496b4fb077bb6c50c56fb889aef8b574be","datavalue":{"value":{"entity-type":"item","numeric-id":2049975,"id":"Q2049975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c74b834c1b8e20d7c387899dc6298cbc087ee45","datavalue":{"value":{"amount":"+0.7972276210784912","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":"Q2151419$8457F502-28AD-4CF8-B157-797F0341373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd08ad018628641c9d420289cb84018a46594152","datavalue":{"value":{"entity-type":"item","numeric-id":2095546,"id":"Q2095546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70970dc90ec5c292a7a21c073510f64794a1d1d","datavalue":{"value":{"amount":"+0.7945021986961365","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":"Q2151419$AFFCBF35-DC54-4665-A9AA-B180FAE93C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact and parameterized algorithms for read-once refutations in Horn constraint systems","badges":[]}}}}}