{"entities":{"Q4553279":{"pageid":6582871,"ns":120,"title":"Item:Q4553279","lastrevid":58268646,"modified":"2026-04-04T12:17:36Z","type":"item","id":"Q4553279","labels":{"en":{"language":"en","value":"Local redundancy in SAT: generalizations of blocked clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970793"}},"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":"Q4553279$C829EAD3-4C65-48BC-BB90-A6745A822484","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7799773547a2dabb9bb87bcbc1f6875c5224de69","datavalue":{"value":"1403.68239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553279$CBF84D87-486A-466E-9088-B01CCA5CF353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84e591da2d013c134c4d3c278a14691e8c37af44","datavalue":{"value":"10.23638/LMCS-14(4:3)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553279$31892447-D828-4D4E-BA40-9ED5E1FB5F15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$0F079C63-B83E-463D-B6E3-804FFF53FD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$18AF32F5-6230-440B-A1E2-8289455C33D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$E8F0C000-0199-4954-BE96-BE0FB6C1665E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$E8F35E18-456F-4667-B9EB-BC31125D1C29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ceb376c62d58da4cb190e228be8e352c77702c07","datavalue":{"value":{"time":"+2018-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4553279$26D1C507-5CE4-4B94-BAA7-FB56753C9DD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba666318156fe9ede50fa7989aeb9bf989d22515","datavalue":{"value":"https://arxiv.org/abs/1702.05527","type":"string"},"datatype":"url"},"type":"statement","id":"Q4553279$F1153917-BA51-4B1D-8148-9131E3959513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553279$A6428610-27C9-464B-BB1F-B5073C70DB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553279$3043127A-4BF0-4C66-BD01-B4CEDF4AC2D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e577a0f28c271ef0af0c42df60c34f7c3ed18b6","datavalue":{"value":"6970793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4553279$FFF479F7-FFB9-47B4-9088-503EACE9C038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553279$1E0F9EB0-2E14-4EC8-9542-85FB406B627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553279$E1EC784A-D292-47C1-9695-EC41EB3FC54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c5dc8c1bf21d827fe6a511cb64dba53a875fc","datavalue":{"value":"blocked clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553279$0F94504B-A411-44AA-9CA2-E0CAC03222CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47508bfc66829c7059b517185e748c07baca1cf8","datavalue":{"value":"redundancy properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4553279$88DD757A-0CA8-466B-A027-5A4588BF90F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$108D275A-D448-4F74-9E76-D6ACC2A57116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$B264355D-C121-4FDC-98C1-8E915C385FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$5DDA1194-DF9E-4A17-831C-EB6813D8BE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4dd9a8afc63063f394229dccc672e7c49432c84e","datavalue":{"value":{"entity-type":"item","numeric-id":55819,"id":"Q55819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$89F1825A-AEEF-47C6-855D-9DE1BECCD3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$5EA427CA-D2C2-4625-90F2-288E8E2D3BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$B4B140D9-9243-4DFD-AB39-A5BDF05361A6","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":"Q4553279$C3E422BA-BC7B-48F4-B313-F6D818F0E690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afea7b2a72fa9b98ee8db90a805cb2a4228af6b","datavalue":{"value":{"entity-type":"item","numeric-id":3192079,"id":"Q3192079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$771A35CD-64FE-454A-830B-39B8AEA3F9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$3B25DEDC-7E02-487C-9D78-48A3688B3046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$9354FCCD-AFEF-463D-B144-ED08F3046A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$6319C0F8-0D5F-438D-88F4-4C88017A97CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$5C256604-48A9-485F-950A-6FCD4D8D364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0895a6a6467bd1c6c67d2e7e17631989b0b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":2870145,"id":"Q2870145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$0A609F73-F169-4CCA-A8B3-DA795EE9CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$7AF05E0B-A93A-434D-82BE-724E4471C8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$D194FAF1-75D9-4DAD-ADFA-11BEFA73C723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$D02E56FB-73AF-45BB-B87A-8FF4B7F3847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$D24C0596-3476-4279-A497-332C01B340C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2eac9e59c1a5a2f813b5f995583919b4a8094f8","datavalue":{"value":{"entity-type":"item","numeric-id":3453230,"id":"Q3453230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$41F79A6E-1A68-4A3C-B7A5-C052F88A9057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$B66487B6-8185-46E1-A94D-826C5516FF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$90D297E3-D578-4594-8CC8-6F4D328D4739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5f0ba4fa613091c33ce7c9e43254ce322915c1","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$67625990-62EE-46CF-BE86-C49640A39B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$305BD92C-D324-4B5A-9629-8885DE1613CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7e8358f58e1397be654c43936d21c1d809ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$8F4EDCA4-291F-4CFE-AF37-A4BC27101CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a68cc60804613a7acb4af9a6e5a107724c588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3460072,"id":"Q3460072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$9EB71036-E990-4E23-9AE7-5E8167011DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7db3c1e319ad141f86392d91ee02a2f35a1964a","datavalue":{"value":{"entity-type":"item","numeric-id":5326451,"id":"Q5326451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$D06DE0C4-45CA-432A-A21C-9AEF7045B2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa87b33a581d385fe9d0627c2d3afda0f932a","datavalue":{"value":{"entity-type":"item","numeric-id":3454110,"id":"Q3454110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$EDF24BDB-B317-47D1-95B5-51A494444421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19c0f6e16691d3be7f09aeb1f46536b8cc5b9c84","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$25587C2C-B663-487B-A9B3-4F07B6F5EDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$9D0345D1-EB80-4F62-BACF-BB96351B3CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfa8a97ec8b7730debe8ad45a614961921d96c1","datavalue":{"value":{"entity-type":"item","numeric-id":5326457,"id":"Q5326457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4553279$2F3686FA-0F85-4DD8-821C-1D8F5586C3F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af71dab54da42201412a717e4afe28e633bb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5af22f591218dbe969acb770116eb0c9bae9374","datavalue":{"value":{"amount":"+0.916226863861084","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":"Q4553279$EB914E7F-0007-458D-AA8B-3ED6C47AB9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0b13221132ea3247bb46d136e7f83b69061810","datavalue":{"value":{"entity-type":"item","numeric-id":3192079,"id":"Q3192079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324b3a5d5565d5453d6ab0a3445aa46b67f57520","datavalue":{"value":{"amount":"+0.800270140171051","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":"Q4553279$85C0A715-5C4C-4B9B-8401-DA4C48A945ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780773dea44358033907f6dcfb922fe1c87eeb60","datavalue":{"value":{"amount":"+0.7924231886863708","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":"Q4553279$85435CC4-A262-4B43-AD05-B5A802ABDA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccacb971a7158dc69eea4adf9e6c311b23c1df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2333858,"id":"Q2333858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ded945a9f1f45b9bbe6e1d9d243bda4a3891440","datavalue":{"value":{"amount":"+0.7899906039237976","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":"Q4553279$267B0913-39DE-4F97-8B9F-65C6532E0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b94dc4c0b0d5546836a1afca81ed5563d8b44f6","datavalue":{"value":{"amount":"+0.7824248671531677","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":"Q4553279$5EC21C13-3F44-48D1-9F14-FD417869E7A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4553279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4553279"}}}}}