{"entities":{"Q2520658":{"pageid":2531401,"ns":120,"title":"Item:Q2520658","lastrevid":74168661,"modified":"2026-04-14T18:46:09Z","type":"item","id":"Q2520658","labels":{"en":{"language":"en","value":"Using binary patterns for counting falsifying assignments of conjunctive forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664835"}},"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":"Q2520658$8CFD657F-20BA-4708-BA6F-CDE7AB529FF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90c74c9c71fe7415c6e7bbffe558656e64489113","datavalue":{"value":{"text":"Using binary patterns for counting falsifying assignments of conjunctive forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520658$8FE2AFEC-6C47-4076-8F6A-30F3763E2B32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a21ba45cead4ab8ce151957367aefc859f931f3","datavalue":{"value":"1351.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$58C626D2-1F5E-4BC2-9ADC-3F99DDF169F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60940ecc4ceaddc26904eca5f47a54fe65de60fe","datavalue":{"value":{"entity-type":"item","numeric-id":283676,"id":"Q283676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$34F69B0B-CDC9-4778-8291-E8E278EC4843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff62844fa7abf0033bb709abdb7ad3025ee237f","datavalue":{"value":{"entity-type":"item","numeric-id":2520657,"id":"Q2520657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$D187107B-8A2D-496D-955E-B8DD34C18B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5001b63661de77c8ddf1904c600c55acc2cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":1744432,"id":"Q1744432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$7EE9BF43-C846-4807-BE69-A1CF796A4D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c108f2a8a2f2961b1d6e7cb820280ae963742e96","datavalue":{"value":{"entity-type":"item","numeric-id":283675,"id":"Q283675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$C7164471-F449-4236-8BE4-6A289D67AE0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520658$90B231FD-DBE0-42F3-BCDE-0922B09B8E5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$03415950-E474-46EC-8508-185344EF149D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$22575653-5D59-42BC-B02C-AB72A994E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$89342378-96B8-4122-B892-CF23F8C2C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$A6C359F5-E6FA-49E3-A3C7-63C0251942E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6864adaa30fccfcc2f5cd4d469d19acacf60c3a","datavalue":{"value":"6664835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$A4228361-C138-4E2B-84F5-AA120C53BF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1904ceb2943588ab4d17c2f0b007f3cabcd39830","datavalue":{"value":"\\#SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520658$2198AD37-3093-4CA6-8289-57B82DEA7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc55c36f578a652f127e469e5df2fbcb3e04689","datavalue":{"value":"\\#FAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520658$9FD4F830-214B-419B-85E0-EC9A4F0EEFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5880284d8ddbe1cdb5f66f517a03f58473003ffd","datavalue":{"value":"binary patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520658$B540F4F0-C82B-4F18-81A1-6E6AB509AD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760e4e68d47db9649a28fb6c72054eeda8bba08","datavalue":{"value":"enumerative combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520658$697DAD1D-F8F5-4423-9FCD-FBE8F68183DE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f0ed9653ec58691da9ed08b6daeccf0342dd465c","datavalue":{"value":"Q113317783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$B6396D2A-D030-48CA-9F66-2AD78FFA2070","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":"Q2520658$6DE12403-6D2C-4B8F-9DB0-0F547B01B9B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52d6fdab6f9a7833d65946175ea7c882d364a63e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520658$99CC1697-CDA5-4A0E-ADC9-607E39367D98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63ceb1f7526f9d220ba9a37d5adf46637eef4753","datavalue":{"value":"W2233676586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$9EAA67C2-1B3C-41DC-9E4F-A23F4977506F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"347e9afc6159cb1e04644383c7d32fb03e19b5ab","datavalue":{"value":{"entity-type":"item","numeric-id":1412081,"id":"Q1412081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$8768982F-D796-41C0-8973-83EDD37B1E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c217abccafcadc4755ff6c8107a9aae3039f3","datavalue":{"value":{"entity-type":"item","numeric-id":1375692,"id":"Q1375692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$5084FDFA-637F-4DB6-ACB9-C6B8E50ACD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5a67d2516cc8bb30d75bd9b43966daaf57fa","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$2F899B79-6390-4598-8D76-8B33C627B2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10646ff26ba379e39a7662f0b41b7f456df8546e","datavalue":{"value":{"entity-type":"item","numeric-id":2892663,"id":"Q2892663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$6D0B4D04-39DA-4671-9C59-F13A5D2F78B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$235A9C0E-B1C6-4F9D-8334-4491E04EC9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1c924d3989c078a0ef22fd9ebc9c6f3e1168b7","datavalue":{"value":{"entity-type":"item","numeric-id":1193517,"id":"Q1193517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$16D74B84-0B62-46F5-936A-17BFDF6A12F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb508d29d736eb2a84de8acffa5964c396269901","datavalue":{"value":{"entity-type":"item","numeric-id":1174115,"id":"Q1174115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$1561F6A8-F02A-4ED0-BE35-DF9A7B436DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa979efcc4f8ac4a0155fe0fd668c60d99e2561","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$201284AB-9BB8-448B-BAFB-5702EECFB91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$73B1EFDB-DA25-459E-97DC-E362B785F274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb9e1b413b2c6928165e951f43c458b02d5d8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2784460,"id":"Q2784460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$4BDC118E-8D08-43A7-919E-90B98002221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33090222b63f2f3dfa053cbf4113126d2f075511","datavalue":{"value":{"entity-type":"item","numeric-id":3503590,"id":"Q3503590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520658$3D57B2FC-5596-4456-A08B-3BA3D6065A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4701fe04496586162901bc155c584cf0d2787cb","datavalue":{"value":"10.1016/J.ENTCS.2015.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520658$8BB986A2-AD76-43AA-9972-CBB53AEB8100","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fbd704632b6ed04868eaee2d449e815a8228b","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b01ab9bd9701650bf1f193b8e733f95daf199c7","datavalue":{"value":{"amount":"+0.84401476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$1FE8E92F-83CB-44D5-911C-F6EA09D90B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e76c88b649d7a4ff86d355346ad38add7d0ba5f","datavalue":{"value":{"entity-type":"item","numeric-id":892133,"id":"Q892133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94fd4748d1eb6dfa55cdee1d666a326a9360179","datavalue":{"value":{"amount":"+0.8425246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$066F417C-358E-4BCF-A3CB-9DA64D05C447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bec6c78c7115f2df4d1f10a6b68361d87a40e2","datavalue":{"value":{"entity-type":"item","numeric-id":3835695,"id":"Q3835695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa272a193f150e747524058828617ca7bb156dcb","datavalue":{"value":{"amount":"+0.8328206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$1CC56F07-FA73-476D-BB07-DB0C77B6DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78de092fa7d5fd57bbc7b34695a9bed449e49156","datavalue":{"value":{"entity-type":"item","numeric-id":879594,"id":"Q879594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6967ddce8c597f61dab47b78fce61cb471a03a","datavalue":{"value":{"amount":"+0.8313394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$E1BBECC2-139C-4970-9A9B-EFCED3B9C3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69be940d1685a71b3464a8b26763e4b45f20d0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2986797,"id":"Q2986797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b7db1a70afc8fa09a10698fe90da68ac1b259b","datavalue":{"value":{"amount":"+0.82915336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$2B5DC726-857D-481F-B830-83A1DEA52A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d4db3095aa2bfff0ba821f07ef9fa7f8e3aa27","datavalue":{"value":{"entity-type":"item","numeric-id":5506695,"id":"Q5506695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b7db1a70afc8fa09a10698fe90da68ac1b259b","datavalue":{"value":{"amount":"+0.82915336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$D759EAFD-729F-4498-BCDC-2A44E765CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96ed7bae492566105e43002320600841eca5818","datavalue":{"value":{"entity-type":"item","numeric-id":5395728,"id":"Q5395728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdbdf5a0f957b48bfc9f04a928af77606ba4ef6","datavalue":{"value":{"amount":"+0.8291404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$ED2A8F8F-1DB9-48B5-AC6E-647C9EC67735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d079dd83ff0e36b279ebbfaa90e73a9c3b55bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1791022,"id":"Q1791022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea4d9a607da94f3a3d5bf022e751dc334a3d13a","datavalue":{"value":{"amount":"+0.8283955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520658$7C55FFA4-0EDC-4DE8-99E7-11AE423FDD6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using binary patterns for counting falsifying assignments of conjunctive forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_binary_patterns_for_counting_falsifying_assignments_of_conjunctive_forms"}}}}}