{"entities":{"Q5866468":{"pageid":7896019,"ns":120,"title":"Item:Q5866468","lastrevid":55423267,"modified":"2026-02-17T16:06:20Z","type":"item","id":"Q5866468","labels":{"en":{"language":"en","value":"Read-once refutations in Horn constraint systems: an algorithmic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589711"}},"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":"Q5866468$F0FB81D1-BF46-4ED0-A157-FDF2F1F05DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b23bb7ebfa1095eb92bb68518a6ab8c01cd9da32","datavalue":{"value":{"text":"Read-once refutations in Horn constraint systems: an algorithmic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5866468$2737B9E3-4E4D-4422-BBE4-DE5C84BC1DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb41f2af775ffc8d4180ac4cc8391c284b7ceb65","datavalue":{"value":{"entity-type":"item","numeric-id":528430,"id":"Q528430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866468$7B2F6932-016A-4314-92B2-513ACDBD6AF6","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":"Q5866468$7AF7567D-E19B-4103-BE43-7EBA9F2CF8A5","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":"Q5866468$F2B4F713-68F3-44CE-B5B0-9330B59981D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95b7bab56df7de93fb565a41159eab77e3a3f6c","datavalue":{"value":{"time":"+2022-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5866468$4655CA0F-4B3D-4B31-B3FD-51F9433B46FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866468$00546387-2577-4649-9F1D-60795BF088D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866468$E6A5959A-5CF7-4AEA-8222-1E270969C534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e7e463bc50d06c9af82fba2f5c39ca522b7e75","datavalue":{"value":"7589711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866468$4B27E12A-082E-4C78-A380-0DD323A57A9B","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":"Q5866468$B702547D-32CA-40C7-80BD-30F3617F9C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dfe18ea5dd514812847fc90d09ca9cb08e0ba03","datavalue":{"value":"https://doi.org/10.1093/logcom/exab072","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866468$2F478818-F869-4914-B1D5-F2CE656EDB57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"843883cd2bef1dcfe0a14fa8e666ced483986f65","datavalue":{"value":"W4205697168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866468$E380D708-816D-44A2-8781-500E9759444D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49482680bd07a0c4068bc20cb50820c532d01b52","datavalue":{"value":"10.1093/LOGCOM/EXAB072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866468$0F9E1C01-CC95-46E4-9894-9119C5AFF418","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866468$DFFFF8DC-70D1-4EC6-A994-7CC764420B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d113a64e324e862d3422c0330060a44e3c677c2","datavalue":{"value":{"entity-type":"item","numeric-id":2151419,"id":"Q2151419"},"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":"Q5866468$B3E14EEF-1156-4C95-965F-C497989D9B05","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":"642ded82ff0383d7a97887a6d6b01517cd07035f","datavalue":{"value":{"amount":"+0.8396137356758118","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":"Q5866468$3EDEBF35-1028-4C9C-95B7-388C16D3807B","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":"c72997401fcb22612835866b90081c6eb5e71cb0","datavalue":{"value":{"amount":"+0.8017074465751648","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":"Q5866468$8D9751B2-D9F6-4CF8-A258-CFB540A36FEC","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":"75001600b176cea6da570892b29783ceca611aae","datavalue":{"value":{"amount":"+0.7973092794418335","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":"Q5866468$A86232B9-268F-4864-BADF-CEB420FA65D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc742d08b68d26ee735bad91beff63dbfd429e","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f6790585fd10f5b3fbe0d3229e48fcd3ca5a30","datavalue":{"value":{"amount":"+0.7908792495727539","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":"Q5866468$3C2A7311-196B-442F-B9E0-CE2E313DE653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5866468","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5866468"}}}}}