{"entities":{"Q3502695":{"pageid":5532598,"ns":120,"title":"Item:Q3502695","lastrevid":50365499,"modified":"2026-01-13T21:54:46Z","type":"item","id":"Q3502695","labels":{"en":{"language":"en","value":"Attacking Bivium Using SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279236"}},"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":"Q3502695$3E7AF0BB-0D93-4FBB-8E9A-43F2C26E7459","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8316aa3e8632332a3cc38b5896313d66d354bd2d","datavalue":{"value":{"text":"Attacking Bivium Using SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502695$06DE65E0-CB24-4E1E-A0C2-6604B7D7DEBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a72c447f24988b1b481ecd6b1ad5fa22a50963af","datavalue":{"value":"1138.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$6A7A3ADD-D605-4204-887F-A2755C1ACB2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bd4d485465713896f8283dea2b74968f0380992","datavalue":{"value":"10.1007/978-3-540-79719-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$54639B01-FE06-4267-937D-3407E10FD6BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e2df87131a5c2b4e198b052c8dd9a6c1b27faf","datavalue":{"value":{"entity-type":"item","numeric-id":626944,"id":"Q626944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$7460AD17-3D51-4F69-B445-0A40AC060073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"880f9d09cef0460e28d80f7b3fcba4e13803437a","datavalue":{"value":{"entity-type":"item","numeric-id":626946,"id":"Q626946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$EEC9D910-836D-40AA-982D-889213414B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65c06d1d041c9258bb62e52d9383ac90a0f1b9f2","datavalue":{"value":{"entity-type":"item","numeric-id":626945,"id":"Q626945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$9ED31300-0C9B-4CFE-8B50-87E1041E78E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$B658970B-8C58-40FA-840B-5C5A4F72620F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3502695$DFB244FF-3990-4E2B-88FF-1508BC2D4164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$0910BF85-B71E-4FA0-A1ED-2BD578C20664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$079EDA45-C5CA-4B98-88F6-97E7347D27D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1416d770a1b7d84f285b473aacb99f48b3c2f086","datavalue":{"value":"5279236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$33D5B25C-3873-418B-A5A2-67C420275A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7c610001d88093bbb5b10626696fdcf084925","datavalue":{"value":"SAT Solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$B6B75D39-1511-4F4D-A629-8D91E308BB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2948f87ace527292f2c4e20da6a2f7c23fc2b3c","datavalue":{"value":"Application","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$386AB112-352A-4381-AB0C-16B30644530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc63dc027acbcc3cf7191352f56e5e8716a19f0","datavalue":{"value":"Cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$FB39E5B8-F34D-4145-A4B1-37BD62EBACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c08f5d36d4bd1cff72acadc1b3736655f9fb1371","datavalue":{"value":"Stream Cipher","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$FFF19517-C6AE-48CB-B280-9C902337DB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee80ba8954388ae7903bebf5bfdeb8aaafe3564d","datavalue":{"value":"Rsat","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$C4860F67-1E05-4B38-AC09-A391491DCA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b0be8faea4d73b0740a97628f5863db2ea856da","datavalue":{"value":"eSTREAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$9A5C0B88-5E72-410B-8DFB-9FCB15AF3EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927a97f905d61d3aa440fff99888b3bb9ecefb1b","datavalue":{"value":"Bivium","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$D950AED2-4D7C-4EA4-BEBE-0D2866D28438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3394cd82e14428e1c0255da9b81ffc4f1e1f6d8a","datavalue":{"value":"Trivium","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$783CE568-A599-4CE2-AC4A-7344C35774C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$05A8BA50-AE97-403B-B759-88B4D709EE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e3031aa4f6e9b6ef66824e641188637ec102d8","datavalue":{"value":"Gr\u00f6bner Base","type":"string"},"datatype":"string"},"type":"statement","id":"Q3502695$B6758836-0100-42B0-89E1-272A4B087BA3","rank":"normal"}],"P1463":[{"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":"Q3502695$5DD30416-B51F-46EE-AA85-B52186DAE195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$1978D129-75FC-4754-97EC-2B5A7186A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$05F1A8BB-1930-4D51-ABC8-F4D46AC437D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$35E5719E-4A63-4C37-ADB9-FB471284F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$38444F5A-13D8-4D50-8202-08B117A892C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f8b6c1942a8b33c7911beba3144ae47e0486379","datavalue":{"value":{"entity-type":"item","numeric-id":13622,"id":"Q13622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$73DCA01B-7C96-4FCA-9B6A-87157CA930CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6a5b3213c058eb376455f9935d375907b1b2fcf","datavalue":{"value":{"entity-type":"item","numeric-id":24625,"id":"Q24625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$88A8AFE8-A940-4551-B754-B88B07695B6D","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":"Q3502695$1EB0AD28-1C04-499B-8083-7EAD883AA599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2540aaa5103c6ea8785b32fbd060d74fab226950","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502695$175CDDDB-E892-4298-8C17-93BC4FE49735","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9ad57c6b04c67ec1655b689bda4a63e3b069336","datavalue":{"value":"W1493429498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502695$2D90B456-EF70-43B6-A60F-6E0961BD1311","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1252ae9083dd091ed5f05ab8ecaa8cafb0267173","datavalue":{"value":{"entity-type":"item","numeric-id":929893,"id":"Q929893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$EE92C4A2-0381-4299-8466-1BE1CAA83A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfbf2a6cc1db39f96e05b372ca7de70220f0c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3043946,"id":"Q3043946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$09384FBE-8190-4A30-A7D9-7CC86101C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed1519b50d5019fd86f6241136539ffcd4da20c","datavalue":{"value":{"entity-type":"item","numeric-id":3429153,"id":"Q3429153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$D627B8D9-772F-4715-96E5-2B8AE3CDC8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463b4e3a8cd42bc22048cc8eedeae09cc0b71aa0","datavalue":{"value":{"entity-type":"item","numeric-id":5452245,"id":"Q5452245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$DE99A09D-73BC-45CD-AB7A-1F11E2A6D9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8923c2bda6322fb3cc48e47a67d160b4f82d4ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2707396,"id":"Q2707396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$51A05267-2D89-47D3-859F-054BB55533F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$A0FA0826-A9D4-448D-8709-FA474011C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0e3077adaf2d2173485f335661cf097a36b4bf","datavalue":{"value":{"entity-type":"item","numeric-id":4737247,"id":"Q4737247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$F7F02B2A-9425-45F3-BE11-2313698CC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97cb1226dfa8d0cde0d36d3b5308997fd275ee13","datavalue":{"value":{"entity-type":"item","numeric-id":866914,"id":"Q866914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$C5DEBB27-5763-403A-9348-F16CF4708954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc41b86bac8c6e246a43b0a4d4485ee4d79886","datavalue":{"value":{"entity-type":"item","numeric-id":3618651,"id":"Q3618651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$6E9EE4D8-D715-4DAE-B6BD-058B0EE7EBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875398ec5efd4a5489050d79960952e5af33d710","datavalue":{"value":{"entity-type":"item","numeric-id":5452244,"id":"Q5452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$0595A6D9-4EAC-45C9-81D6-9E23C0C46198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3040b285a507cb4716dfd187c5350872fcac2998","datavalue":{"value":{"entity-type":"item","numeric-id":5176452,"id":"Q5176452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$885D7406-0C36-4B00-95C7-F67AECD6485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043bd9b6ae99a7d82ee8ff932c7503cfe5445ce7","datavalue":{"value":{"entity-type":"item","numeric-id":1958670,"id":"Q1958670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502695$D84CFA39-A9BC-45B1-9C20-0D536F76D6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c00ba2e705f4ce4bb3fb65a106cf858e76473ee","datavalue":{"value":{"entity-type":"item","numeric-id":3654616,"id":"Q3654616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935b8fabbcb25f8117ce6c325f4b3537b37e0c8f","datavalue":{"value":{"amount":"+0.8289706707000732","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":"Q3502695$896BF9DA-FDCB-46F2-8C8E-551F558C4139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0523a1b18acf6a3a9a584b187d94e91ac7087e","datavalue":{"value":{"entity-type":"item","numeric-id":5260270,"id":"Q5260270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c61594d1452fe3bcc97a20f49a4af4a39749be9","datavalue":{"value":{"amount":"+0.8084909915924072","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":"Q3502695$5921A64B-96C0-46A7-878D-05707C285E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207995797abccf34560c955f40c6ae3512717a02","datavalue":{"value":{"entity-type":"item","numeric-id":3060539,"id":"Q3060539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f5cb57f28fc920430f87433fc8cbf23b7d6beb","datavalue":{"value":{"amount":"+0.805263340473175","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":"Q3502695$9B1347D6-310F-44E5-8359-D83C61F73B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f64a71ea243335d016f817a184170cf399025d","datavalue":{"value":{"entity-type":"item","numeric-id":5015592,"id":"Q5015592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987aa9e91f25521b428c217c1e1061955a76c6f7","datavalue":{"value":{"amount":"+0.799879252910614","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":"Q3502695$5741E361-23B1-4E85-B41B-2D6431CB295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65879127738a7b778cbf38e8003d52695dbaff3","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3057a8ed4f20afe7b02d36a6c9a7cc70032cf798","datavalue":{"value":{"amount":"+0.7955241799354553","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":"Q3502695$92AB9E76-9E65-435A-85BB-B316203A9EF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502695"}}}}}