{"entities":{"Q1030264":{"pageid":1032112,"ns":120,"title":"Item:Q1030264","lastrevid":66585258,"modified":"2026-04-12T11:06:46Z","type":"item","id":"Q1030264","labels":{"en":{"language":"en","value":"Polybori: A framework for Gr\u00f6bner-basis computations with Boolean polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5573858"}},"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":"Q1030264$005EC473-2669-4847-A263-65F59E94F8A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6607525a3f4e719306c9c1f0a3c0939e59cf2f5","datavalue":{"value":{"text":"Polybori: A framework for Gr\u00f6bner-basis computations with Boolean polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1030264$6B3EB693-EA49-43DA-88AA-D4271E07CAF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21614b256f74dff2192b4405bbb86ce630253d9","datavalue":{"value":"1186.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$C8B1BD5B-6174-4892-BF98-9483EED626DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65d5a79e81937d4cd3640055ba6d2737ad6e7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":541980,"id":"Q541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$3B7B4ED2-D34C-48D0-BA1F-C097581B1086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93f08913ea8ede8b3fc644443e090d37342fc46a","datavalue":{"value":{"entity-type":"item","numeric-id":1017678,"id":"Q1017678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$C639753F-C11C-496B-82F5-5825B2AD8FB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$5F0AF7DF-2A92-4919-839C-62F011486AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a53a3c94c25a23f5eea9b080a88a1dd3753babf","datavalue":{"value":{"time":"+2009-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1030264$910CEF7B-7DE3-4F4D-A2E5-D2635D3CEEA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$4BEDA816-39C9-4D2B-9CD4-14860F9A4590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$CE6DDC6B-3DFD-4868-8424-CDE4F46D2CDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ead692f4ba3e07de046297c2863addcaf6af2d","datavalue":{"value":"5573858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$7C689F89-A28C-4CA9-9867-1322B6AC4952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5887d5598ac105d0f551187f9a2fd487738fab8","datavalue":{"value":"Boolean Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030264$B9A4BDA2-1491-4A69-9BE7-82BCE663F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030264$AFF780D3-EB0E-4936-B279-DE8D4DF4B84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83300a0aae942e2d4be4653731d64f7297e836c7","datavalue":{"value":"algebraic cryptoanalysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030264$B058F9BF-5D36-4865-98AD-BF7AB6144D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030264$259025D7-1A93-4419-A6A0-9CC899AB102D","rank":"normal"}],"P1463":[{"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":"Q1030264$5EEBF867-1E0B-47DA-8B7A-9395C8B9B54D","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":"Q1030264$22B21C3B-0A10-4666-9297-D619432AD00C","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":"Q1030264$AAA0C59E-3234-438B-8571-673603EF3439","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":"Q1030264$EC906B47-9481-40A5-91E6-8CACD6316C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$1579A846-B1C3-47B5-BD3C-529F4B84F4D4","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":"Q1030264$536E1C13-0665-448B-B948-EA54E44286B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$7B35E3FF-4E87-4613-B883-E13D70E21B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$4504DA06-35E0-4800-9110-D36CA8581E1B","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":"Q1030264$B12B0B8E-DE38-4351-9449-ECF29C54B574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"477c7a4b8828454e37187d8f2b6e9d70721d7271","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2008.02.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1030264$E033F571-4A32-4AC0-8376-2D6CFF8FE390","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008981823fe169f7acdfd17e698cacd007becbb9","datavalue":{"value":"W2071596701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$7BC78590-6E9F-4946-8B9E-22288673CF2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42752fea8e6a07cbe1ff4f4fe0c80cf548ca28be","datavalue":{"value":{"entity-type":"item","numeric-id":3007784,"id":"Q3007784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$E7DB367B-0BCC-4A49-8D5E-86424743BE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25da10515286b9ac47313e36b98df848bc41b55","datavalue":{"value":{"entity-type":"item","numeric-id":4232515,"id":"Q4232515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$0B2B1935-CDAB-4F73-ACFF-5A06F3B5D35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$187B0FD7-E62C-4EA1-ADC7-663FB9BA1719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$949C1CC0-7CC9-4A4F-BBB5-9465D6CEA752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d5f45f0597dc0ee640b8dceeb709248c27f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1017680,"id":"Q1017680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$BE662DFB-AB23-42A1-91DB-C47ED24B65F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$FDAF6CA2-441B-4BB2-88DB-FAA507A5982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$A32085FD-80E7-4547-B798-784B42802F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$EF572F89-8B50-4A66-B39C-2A18D7EF7F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99084a2ca39ed0aad84060438f1d49798f5c9aec","datavalue":{"value":{"entity-type":"item","numeric-id":611072,"id":"Q611072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$6E344F64-C6B1-474B-8D7C-C75F13AE4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdd170b93ac511e1301de58870e2d5ccba7924","datavalue":{"value":{"entity-type":"item","numeric-id":5473585,"id":"Q5473585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$846B3795-C609-4F0A-98C2-1735B8357F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$280A1870-852A-45EA-9FF0-9A4CB90B49E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9cbd6f434903fc7dab45229d5b7252590d104a","datavalue":{"value":{"entity-type":"item","numeric-id":1369804,"id":"Q1369804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$D3C12478-9D9E-4822-8509-4BE375490D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$AD96E2BD-31EB-4180-8E13-FE978DC0BBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ac0a8bea7b5fffcc0f153a7466174081cc680d","datavalue":{"value":{"entity-type":"item","numeric-id":5428110,"id":"Q5428110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$20BD7B24-F1F8-4B4E-B76A-8EA4EAEC3E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$D1A29619-8E42-4609-8813-7A02EFA5AB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac6b144f712f043908b6c956dd120a81fcbc00f","datavalue":{"value":{"entity-type":"item","numeric-id":4237370,"id":"Q4237370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$1CD2A6AC-C7C5-4251-8CB9-671A5B364AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$8DA2DFEC-B427-49BD-B699-3580200863AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d86aea778343072a3160fb17bfd25242a00010","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$4953F5E8-5781-47C4-AEEF-533D11D2F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$F57D81F6-F250-43FB-9EBD-542D8B675166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$1CD21DDB-D316-4473-9A24-A3AB0F9D5B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50bda7bfb06b88dc97d921c0e830677611ba5fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3154867,"id":"Q3154867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$50B8677E-FFC7-4A39-94BA-86B8A1D7AF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad7a1e9f7588a314e7eefaad864c51e974229c0","datavalue":{"value":{"entity-type":"item","numeric-id":5316690,"id":"Q5316690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$36BF2A18-4723-4B58-85CD-CE61BC663C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc1781886406cd18579a134c4db0bac0dc93e09","datavalue":{"value":{"entity-type":"item","numeric-id":3942422,"id":"Q3942422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030264$210EB84A-49C8-43A5-8856-7BE079FE696B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9eab2fed2e17d37ae39cf18fc22dfd80638c22c","datavalue":{"value":"10.1016/J.JSC.2008.02.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030264$DC290BFF-E15F-4074-BAD0-315BC0741918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bad4d53069332fe6793293aa465dc69e1fb586","datavalue":{"value":{"entity-type":"item","numeric-id":4931177,"id":"Q4931177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f35dcb95c511882a51f6333d34c09bb51b4793","datavalue":{"value":{"amount":"+0.8992323279380798","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":"Q1030264$0BEEB9A0-132B-406F-8343-F8D4ADCBA4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25907b5b25b54b7f27bddfb6cb38437e6d6d48b1","datavalue":{"value":{"entity-type":"item","numeric-id":5188248,"id":"Q5188248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172aaceb32d4796a4264d8c0a5974732b42f4836","datavalue":{"value":{"amount":"+0.8923137784004211","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":"Q1030264$7E06EE06-A3CF-4690-993A-2460390DA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870f4d71fb88f96eb71a23adf6fb6e167f75f114","datavalue":{"value":{"entity-type":"item","numeric-id":5188231,"id":"Q5188231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde5b7b62e83ef3f10de9a0fe0b644bc1f6e11ca","datavalue":{"value":{"amount":"+0.8508074283599854","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":"Q1030264$66971A95-5BE5-43EF-89E1-6CC882DD7D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673d1467aee9df54493018d7522d3809077e9740","datavalue":{"value":{"entity-type":"item","numeric-id":2799553,"id":"Q2799553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5359905167e43094035cb6aab6cbb8cd09ec9f80","datavalue":{"value":{"amount":"+0.8505075573921204","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":"Q1030264$F62A4358-6B6C-44E7-90D3-FB637D70B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d891188da0890600f7ccb3b22ab6f6b4736ca01","datavalue":{"value":{"entity-type":"item","numeric-id":633095,"id":"Q633095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a21d008b586b5245a7923bd3925fa5f9bb515e","datavalue":{"value":{"amount":"+0.8311798572540283","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":"Q1030264$86F558E1-CDBC-45C9-A1DE-92226F1A0BA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polybori: A framework for Gr\u00f6bner-basis computations with Boolean polynomials","badges":[]}}}}}