{"entities":{"Q3515550":{"pageid":5545454,"ns":120,"title":"Item:Q3515550","lastrevid":50412449,"modified":"2026-01-14T00:13:06Z","type":"item","id":"Q3515550","labels":{"en":{"language":"en","value":"Disjoint DNF tautologies with conflict bound two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5305146"}},"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":"Q3515550$BE175735-B0DA-4DF0-A346-6E4E7A07AAF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"899a595715d8013683507d461b3cb8089c245e0b","datavalue":{"value":"1147.68722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515550$4E989DBA-8AFE-45CF-B2DF-902D6CDF9095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df65aa29bd765c1893abb8ef70892a2709006e8","datavalue":{"value":{"entity-type":"item","numeric-id":391740,"id":"Q391740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515550$CBF2840C-27DD-4163-B90E-02DAD9B43658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3515550$918C7D2E-CCCF-49D7-89B9-498C7C886DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515550$FDA916C1-83DD-43FA-9C81-01FE8566A7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515550$85820DC9-7DD4-466A-A5DF-E0B04AB43BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515550$3B669A34-E22E-47E7-8960-BF90F4032253","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bddd6ceb71397cdaf03495f1ed831fc4d5616501","datavalue":{"value":"5305146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515550$1FDE8CFA-DADD-427D-AB48-0A3DE8D2FF15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e4e06d9e28eb2b5161a8b77486cae9897ae53d","datavalue":{"value":"decision trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515550$45712815-9748-41F0-9D3F-6994F57D72A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767b4fd27104dd809d4193892a5338806268b043","datavalue":{"value":"unsatisfiable hitting clause sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515550$F0E9DE23-CE8B-4AF0-9044-5177570E82A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee2dc492f9ed4e7e48c957d5ca76c12bfcf02eb","datavalue":{"value":"read-once resolution refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515550$789A1C8D-C4C0-4CDD-A44E-7F62A443946E","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":"Q3515550$37FA3FDC-B700-4593-AFD9-DAE7B798FCD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff63281f26becdb526a225e7a9b20e2a0c7b8b26","datavalue":{"value":{"entity-type":"item","numeric-id":3502712,"id":"Q3502712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa38346e8a8c089f600c985d273c640b4a9c71b","datavalue":{"value":{"amount":"+0.7396042346954346","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":"Q3515550$C1C71084-3948-4E9B-B382-2FAE5FCB2C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1fb624429739a8554116ff1c7c978ea0694487","datavalue":{"value":{"entity-type":"item","numeric-id":1575269,"id":"Q1575269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aac8d2c4a6ce908281acd63c6491ee12040f488","datavalue":{"value":{"amount":"+0.7367478609085083","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":"Q3515550$BF08084B-6D82-4B19-A629-F406A958D67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c122cd8ef5f63ede89d9348b0b7ab8ac7a966aae","datavalue":{"value":{"entity-type":"item","numeric-id":1363769,"id":"Q1363769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198c27a91753cdc705a92539ce77a7d81ac14fcc","datavalue":{"value":{"amount":"+0.7354886531829834","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":"Q3515550$AB4DF263-CF2A-48E5-98A7-5A32213A2199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455e4f7380bdb748763327c69938713b98b631eb","datavalue":{"value":{"entity-type":"item","numeric-id":2872092,"id":"Q2872092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3593e0be935085cdd35492b23248ab9ed7e5cc","datavalue":{"value":{"amount":"+0.7249727845191956","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":"Q3515550$8D475C1C-965B-4C97-B834-BE103BFA4F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83bf09543095d96d0649093a21f1e4fd5573c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3721816,"id":"Q3721816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da45d234c4abd87fcf107863f647f02ff781a373","datavalue":{"value":{"amount":"+0.7127166986465454","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":"Q3515550$37AEC819-8B42-4242-962B-0D7DA70DAE07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3515550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3515550"}}}}}