{"entities":{"Q479832":{"pageid":481599,"ns":120,"title":"Item:Q479832","lastrevid":62146821,"modified":"2026-04-11T04:05:09Z","type":"item","id":"Q479832","labels":{"en":{"language":"en","value":"Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377623"}},"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":"Q479832$384B9139-663E-4876-89E8-F780BF693AF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"903443a265af85c396232631fcbd7f7367624286","datavalue":{"value":{"text":"Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479832$A92B7411-E4D1-4DCE-9200-7C6025BA2B0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4dc43601a080d7fcaa1c7a9cbb4855b23dc6fea","datavalue":{"value":"1303.94146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$88085BF5-021E-4969-B868-34BF4BDF4206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2254bb05ef03f4222f86f077ed0b90f514c01fd5","datavalue":{"value":{"entity-type":"item","numeric-id":479827,"id":"Q479827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$8654B390-2A14-4B99-905F-71B5C3CDD823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d38524af42a0deba78f98d81e5cedcb52800a68","datavalue":{"value":{"entity-type":"item","numeric-id":479828,"id":"Q479828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$4C9DAF5F-E607-4B03-A515-4117CF001743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ad21f873b6ff524c839f6cd352921f816bbfe6c","datavalue":{"value":{"entity-type":"item","numeric-id":479829,"id":"Q479829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$D343A7C1-5422-4081-83AB-EB77008C03AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2510d5f014b7e72c533502b065d9ac554b02c30","datavalue":{"value":{"entity-type":"item","numeric-id":479830,"id":"Q479830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$D8F020E1-98B3-4EC1-9348-ABA38314DCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3889af434da100540caea110fe65069dcfb257fc","datavalue":{"value":{"entity-type":"item","numeric-id":479831,"id":"Q479831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$AB198A78-6AE1-4C4D-B071-CD53655A7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"129848562e50b728c482ab1181caf1882f43aa81","datavalue":{"value":{"entity-type":"item","numeric-id":923628,"id":"Q923628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$0AF30C8A-53CC-471E-B3C2-6E65633400A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$E487CF16-9638-4CAE-87B7-540F91EC834C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479832$78664C36-1CE5-40B4-9F39-0B48A1C3B30D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$890E4B40-2B59-4414-8C38-E7505BC2ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4430c94528f7856126af01b3ac6ccc7f8c77602b","datavalue":{"value":"94B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$D927820C-9A6F-4220-A6FE-D7A4F367835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$FEAA4981-3798-4DAD-9E4A-468CADFE2B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae31af8479d62f4fd5a515b34e79e32e75c724bd","datavalue":{"value":"6377623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$73A62572-5D8A-4A97-9ECC-CFD06BC406F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76738bae6515f00e27d143ca239df95c44712283","datavalue":{"value":"Galois finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q479832$32C00EE2-F60E-4F90-921E-247E20F47762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74bd2aa8a0ffddad2ecf1d9840e3fd12d73876a","datavalue":{"value":"error correcting circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q479832$3BA3F3A0-9B97-45DB-8765-F0078B1107AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q479832$52A1E28E-373C-4795-9E93-36FC9885AC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0617f24fea4f074a9cd621dbb70d27a3f78cdd60","datavalue":{"value":"Buchberger algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q479832$29E0A0B1-E402-418B-B2B9-026D0F3D25F9","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":"Q479832$8A0429F5-85D2-4DDF-9DE3-35C26CBB5F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eafd59a0daeac28b2e409330c0b67975b4f68024","datavalue":{"value":{"entity-type":"item","numeric-id":23849,"id":"Q23849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$E330EE92-D7E5-4063-9238-316447C87B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1989a22dabb400dc4daef918b08252d8227e3942","datavalue":{"value":{"entity-type":"item","numeric-id":22851,"id":"Q22851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$C1E9BBAE-A466-4826-AE96-D065AC167371","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":"Q479832$60E915BC-C751-40B2-BDCD-2B6B23A9DCFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b05ef8f10ef880b31942cb0fb2973271699f792","datavalue":{"value":"https://doi.org/10.1007/s10703-014-0206-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q479832$54C776AB-C695-4FED-B274-919F1D0849E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99b3f93d8722433fb40b00616b2080d0df4822ee","datavalue":{"value":"W1984603142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$23D5A8F1-E292-4229-AFC7-AA49D9D1E36B","rank":"normal"}],"P223":[{"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":"Q479832$2651E8B6-1416-4E7F-92A5-FBDF2801DEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1593c882edf649a989bc768ea67a4b5b81702084","datavalue":{"value":{"entity-type":"item","numeric-id":4551178,"id":"Q4551178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$32A01FD5-E5CB-4067-AE99-7A85D07CAB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eeaedad98d7d404db983ba11908a35b3e0f8f5","datavalue":{"value":{"entity-type":"item","numeric-id":5492978,"id":"Q5492978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$027AC953-9237-45F0-889B-4122AE97C2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92a3273110b430014e721c6811d504cfbd133df","datavalue":{"value":{"entity-type":"item","numeric-id":4023144,"id":"Q4023144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479832$3134DAA4-1147-4858-97EF-EAD9D2B395B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf4a9878176c4bd26d48acdccbb600e58b576a4e","datavalue":{"value":"10.1007/S10703-014-0206-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479832$718E0C5C-0CD0-46E4-8388-916E10828969","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c759de8b747c235a859647e78872cd4baa52fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5346081,"id":"Q5346081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7831faf756875d63fae79bc831e51875f0a020","datavalue":{"value":{"amount":"+0.945096","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":"Q479832$BE092686-8039-4B6D-B437-3EDACAC270FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef82822cada26de9eaa9bfc6b6e6f231c308a95","datavalue":{"value":{"entity-type":"item","numeric-id":4551178,"id":"Q4551178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ae348ebcfd9e4afd6358e5c443384fc02fa3f5","datavalue":{"value":{"amount":"+0.8952809","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":"Q479832$9285B018-4451-47A0-AAF7-1BDEA43480E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58cbe286ff4cff13a5186142a707facccd29553","datavalue":{"value":{"entity-type":"item","numeric-id":5157436,"id":"Q5157436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7508dbed6a38a1dee2b236b47655b3cf8f4f7f","datavalue":{"value":{"amount":"+0.89008164","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":"Q479832$E499279E-67C9-4A30-BC72-947BB36C54C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58ca425272967538b9c2de1707fe9aa35429772","datavalue":{"value":{"entity-type":"item","numeric-id":4583845,"id":"Q4583845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bd21e89b31c933e3592a6e514ea207d182ee4e","datavalue":{"value":{"amount":"+0.8792624","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":"Q479832$55F81EAD-EBE0-44AA-9A39-D03032305955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc953dd1614a07144d617fb2b8a68487cd9ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5464700,"id":"Q5464700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d87dbf3d8bb76c7e80fefcce2039d0c9d86b7d","datavalue":{"value":{"amount":"+0.87125826","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":"Q479832$0BF336A2-8F7E-4CB7-8DE9-D660E07C86A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4f6a6129f9f29667323ba246bbda5a98053c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4284599,"id":"Q4284599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57262223ace00b6b3c1a118ecd0a96d47a1d69b2","datavalue":{"value":{"amount":"+0.86868876","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":"Q479832$A302E543-E8E7-4132-828C-D903FD6B75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49a9d87e11e744b5b453c38e4aa50b7cf729bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1382030,"id":"Q1382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77257bbd4064ba4f985a7e9f6757274b4b22140d","datavalue":{"value":{"amount":"+0.86834276","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":"Q479832$1D9EFFBC-D241-4AC8-ADB1-21ECD80DCD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41869de0d161e512039592ed17633e5085e242d7","datavalue":{"value":{"entity-type":"item","numeric-id":6165885,"id":"Q6165885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3818e02cd84f31d52ad304583dd8d5466557bbf","datavalue":{"value":{"amount":"+0.8576264","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":"Q479832$7D412CA5-A4F9-44D7-BECE-3976C049C1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efaee4a8b6e6f3ba8887c74d2eca20937ad0c891","datavalue":{"value":{"entity-type":"item","numeric-id":2225473,"id":"Q2225473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d733943876559c950c3e795846756b64ccf0f8e","datavalue":{"value":{"amount":"+0.8570653","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":"Q479832$13B71F9D-0753-47BE-A753-4DD2D4A1FC55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Galois_field_based_circuits_by_formal_reasoning_based_on_computational_algebraic_geometry"}}}}}