{"entities":{"Q1662237":{"pageid":1672978,"ns":120,"title":"Item:Q1662237","lastrevid":53174417,"modified":"2026-01-24T09:34:42Z","type":"item","id":"Q1662237","labels":{"en":{"language":"en","value":"3BA: a border bases solver with a SAT extension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920269"}},"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":"Q1662237$B9D28700-6B3E-43F3-B0E3-D7A7A2866FBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56421b8293b11f68d380c94b28ad58276ea75466","datavalue":{"value":{"text":"3BA: a border bases solver with a SAT extension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662237$97DDE7AA-90C9-44C5-BDBB-B526FD85E4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"868b99ddfb7b5d2c7b5f1315a392a66ebe2a2074","datavalue":{"value":"1395.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$68CCA26D-7FF1-4921-975A-0F0EA1824344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200f2a4fcec9f7449d7ba8347570feff7de0b4f1","datavalue":{"value":"10.1007/978-3-319-96418-8_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$3F185CE4-1ACB-41B1-9BEF-D192DCFAC952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e6b19b346f8f353543cd3da21b8bca684ebd24","datavalue":{"value":{"entity-type":"item","numeric-id":1662236,"id":"Q1662236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$6FE8B51B-FAC4-4BFA-88DC-686787F3595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71c2a8fd59ff2aea42f2828ebd43ce4734ce1b7c","datavalue":{"value":{"entity-type":"item","numeric-id":515722,"id":"Q515722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$5E7316AB-FB84-4FAB-8491-E33BBDA83E90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d202540b63b8c4b32047f2e7f472d0d69bf8092","datavalue":{"value":{"time":"+2018-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662237$6DD96349-4FC1-4499-8DE8-634E140CF425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$499F043E-50C5-4FDD-955F-CD74325E02CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$F7939860-FC33-4B62-8171-89F6F4FC268F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e929be0e29c13da64a65a5bc1f840a3fb226cae0","datavalue":{"value":"6920269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$742AB590-D19A-4908-BCAD-882B70BB7667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dea0870abb964c755ebc883af539da560577cb7","datavalue":{"value":"Boolean border basis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662237$69FBC779-F846-4FB8-85D3-AC4CD422A543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1ca7bf7a6a59233a912a321ae0fa344209f1ad5","datavalue":{"value":"Boolean polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662237$27465F2A-6BFE-4033-88CF-E9E1EC9F328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeb0179ac78320ddc212edaf0a3ff3e4ef1cf9d0","datavalue":{"value":"cryptographic attack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662237$961FD4AA-30B1-476A-B8CC-C977D14A202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662237$4E2DCDD4-41C4-4ABE-A0AE-847EC6F07820","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2bb73f5266a9c3014f5f1c77f9bcdac3557d898","datavalue":{"value":{"entity-type":"item","numeric-id":37424,"id":"Q37424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$C55B50E5-E18A-434A-84A0-67AD892F2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af9f80e527ec777308252c7863176bcae5262c53","datavalue":{"value":{"entity-type":"item","numeric-id":13477,"id":"Q13477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$D95C5929-C587-4105-B5F1-97C1A42DB5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a461888bfe9315ad7d7f5e0da5f5d5d2bfb22e","datavalue":{"value":{"entity-type":"item","numeric-id":13048,"id":"Q13048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$0C52FAAD-7D48-4D0E-A631-A25BC95D9D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01c2299540ebf147301373cf1e74a8061493ffb4","datavalue":{"value":{"entity-type":"item","numeric-id":18472,"id":"Q18472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$97EBCFCD-EB5F-4CB6-B466-843CF0D0F9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc5b42e5d20ec8103a8b770091eb70baaf5a20d9","datavalue":{"value":{"entity-type":"item","numeric-id":23399,"id":"Q23399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$ECBCD28D-FAB8-46BD-A78D-60520832EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5caec6e66d4dbf13c687bafdd9150bbf5d25a2d7","datavalue":{"value":{"entity-type":"item","numeric-id":27045,"id":"Q27045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662237$324BBB34-6DE2-4B8E-AD08-0EA1F1642DF7","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":"Q1662237$FDC639B8-0EA3-49AE-AB50-138E34AC9C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12200a3ac19fc319ff2178bf1efd88c14d25ea01","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96418-8_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662237$DBA6BE39-4F40-47F8-A5D3-ABA17C2C685E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13509b5ba74e17178f74672a7128afe699ccfae5","datavalue":{"value":"W2883329459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662237$0CB19A39-C338-422C-9938-EE5B4A2BCEAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abd31c57fce39ceb07279e4c8431a739d4d1da4","datavalue":{"value":{"entity-type":"item","numeric-id":4628487,"id":"Q4628487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34570764c41547bea1e5fd3baad1abaf9d9da673","datavalue":{"value":{"amount":"+0.8168206214904785","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":"Q1662237$D5E02732-6E9B-4B26-BEF8-55DE542B851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94121e2b99edf03838a28b48c6e427008e41aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5175309,"id":"Q5175309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66d8b7e64324079909bc3a3f79835d4b79b96156","datavalue":{"value":{"amount":"+0.7776651978492737","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":"Q1662237$5F1BA57D-F504-4B31-82EB-20D4CEBDFFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851175ba5e571a26dce797c25635f63de68ea94b","datavalue":{"value":{"amount":"+0.772629976272583","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":"Q1662237$55F390AB-B028-42D0-97E8-78F1A700C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85320b4fe3f1273d053556f5ffa2012e56fb9dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2183746,"id":"Q2183746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f81a943943b84a6f65c8a0eae8cd287d552ecc","datavalue":{"value":{"amount":"+0.7640900015830994","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":"Q1662237$1CFECADE-9837-40C4-8D54-04355E86D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b2a937bce5baa1e44f54c9029c4c73e58425d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43684074cbdf2d5aa7721a357032b283ec32f2c3","datavalue":{"value":{"amount":"+0.7333223819732666","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":"Q1662237$203B77A1-D0CB-45EF-9A69-703962F01422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662237"}}}}}