{"entities":{"Q2225473":{"pageid":2236216,"ns":120,"title":"Item:Q2225473","lastrevid":57643329,"modified":"2026-03-31T18:37:39Z","type":"item","id":"Q2225473","labels":{"en":{"language":"en","value":"Incremental column-wise verification of arithmetic circuits using computer algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307313"}},"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":"Q2225473$940422D9-01A0-4124-AF3B-DC8C3A5D927C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e0ab50e0bffd2573275694211a925486166a4b2","datavalue":{"value":{"text":"Incremental column-wise verification of arithmetic circuits using computer algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225473$B2CF28CF-9D29-43E3-8076-4E45B9542BDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c553ffe0089687250b8ddd4f48264271977ab47c","datavalue":{"value":"1506.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$F53F22D4-D88F-4CB9-B279-00AB5FB653A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59c49857b114968b9492d4363ca3a37d7cfd6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2110232,"id":"Q2110232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$626304B2-CA61-46E3-8D10-4D8F9C79B23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$916C0EEA-119A-4A07-80E9-4AEEABD1BBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$DBA3DF2A-F227-423E-8FDA-436B7747CA78","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":"Q2225473$1EB146E5-1D0C-4007-AFF9-7086BDB98E6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225473$2B5F2C86-CE34-4221-BEDA-94924E052944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$B21C7335-6E9E-4722-9758-4167C641107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$380C8E02-1476-43A8-8309-9F2BCAA5E27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$26F6560A-D543-4A6B-9E37-7AC6C06FE48F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a642db5e0320485adc4f0310bef9797b81f3ce07","datavalue":{"value":"7307313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$2AEF8AF5-6649-44C0-9653-FD003017B0E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f55afc817c99a4eb736c7fb9a9e8c0daf8e10b5","datavalue":{"value":"arithmetic circuit verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225473$DC6092D3-0C79-4876-8E05-6CAF468B2BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225473$EE7E1E0D-BE07-4D9C-8349-F5BD5E6AF69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225473$AD28A21D-7200-4C33-BE7C-0ABF0BCB2FBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdafd07838fc785688a9602d3aca4cae8a77c6a7","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$699E63F5-D90A-4BC6-8C13-7D816D31A6A5","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":"Q2225473$6380E2DD-D1BA-4A14-AF8A-67F57FA7A8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$084D8DD7-60FD-41F7-81B4-1D1EE37F8E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$CCEB542E-4073-485B-86DA-62A13F0201F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$72CF15E5-9AE5-431D-89B5-2D8837FE4692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"653a6fa8244aa30333c256cc037f0dd6705a8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":37663,"id":"Q37663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$B442CD19-FDCB-45D5-AB2B-8B500A7E5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54facb50706f9d0f3d872eb476b711c3e0de8c35","datavalue":{"value":{"entity-type":"item","numeric-id":41082,"id":"Q41082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$C34650E6-A60A-4E4F-AEEE-88FEC034D0E2","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":"Q2225473$60776D05-0426-4EF0-895C-A2E942C4C1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$1A749480-2D48-4A2A-989B-F13FC2E9A545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$3C87CE40-1A95-4645-9B7B-630CD37FF7BD","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":"Q2225473$102B354C-A843-40D9-903F-A2333C590232","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8df5a3210901f50eed9fc23a34bb549fc6903b2","datavalue":{"value":"https://doi.org/10.1007/s10703-018-00329-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225473$9EFCDEAC-BED5-402F-8408-4BD4493810C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"030c5091754bb60709d3eac7aa1564101c3db141","datavalue":{"value":"W2916007847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$345921BE-3774-45C8-B11D-8EA71A42CB3A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"36e50b97df2a9a446f2cdfa42c35165f7dc25e96","datavalue":{"value":"Q104101648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$8F400A7C-AD2E-4E26-B355-65AC8CB874E8","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":"Q2225473$BA684EC8-5A43-4EA1-9C27-99EC7565BBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877f3befe71e9e48dd94f03ceaf648e865c4bf91","datavalue":{"value":{"entity-type":"item","numeric-id":1606802,"id":"Q1606802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$0A9A16EA-D901-443C-B7DB-D0D0180BEA4B","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":"Q2225473$E263F271-6346-449D-8BBF-D9025FF86AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$3B07449F-DEE5-4EAD-A1CE-FE49B2E316EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5f0ba4fa613091c33ce7c9e43254ce322915c1","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$6CA9B1C8-C51F-4719-A3B7-8B4A72C24FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf1d346c09e3ff74cb962a3ae96a718bd8b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$7FFD9D71-BCC8-4CF7-BD27-14BE438F3973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da88952a37254da86caa5d2e1716d0cfee3ae06","datavalue":{"value":{"entity-type":"item","numeric-id":2773752,"id":"Q2773752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$861D2B10-AB16-4285-9A70-DD4629F77ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f184e4893cd39616db75492cf5621f53aacb70","datavalue":{"value":{"entity-type":"item","numeric-id":3512511,"id":"Q3512511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$93AEAAA8-B8A9-43F1-B8AB-D0E6A58FCCEE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"cf6ca141c2e8ed1c7372514a2dfa34d589943290","datavalue":{"value":"journals/fmsd/KaufmannBK20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$58B088CF-13AA-4328-8817-7A3767A9B9D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86a9c5f2df4fb32c239802f3e443860e8984f29e","datavalue":{"value":"10.1007/S10703-018-00329-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225473$FA6D9D88-5760-4462-813D-D69CB7EAEAF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce8899498be69add981628146ffdf73a2521bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5222992,"id":"Q5222992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a57da9721b807f0a8d232f38cd29d3689d58b3","datavalue":{"value":{"amount":"+0.7935235500335693","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":"Q2225473$1FC0B13C-F075-403A-905E-9731A9AFA19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c69eb1bcd80b47004c6fb86e8c5dcac0e86698","datavalue":{"value":{"entity-type":"item","numeric-id":1395674,"id":"Q1395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042a5c7ca7939847de06d8a52769d19390001cf3","datavalue":{"value":{"amount":"+0.7665347456932068","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":"Q2225473$F994ABAB-625E-4F44-B277-113674CE0A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30de85ed16d9a2162c13d706232b2d7388026c5c","datavalue":{"value":{"entity-type":"item","numeric-id":2225123,"id":"Q2225123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618841114b24192ffe9fe71deffced51a9a116e6","datavalue":{"value":{"amount":"+0.7551751732826233","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":"Q2225473$EB085923-5DFA-48A4-818E-3ADCF9960435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085d01fd3d5b64326f9bbba67b5309731c5b996b","datavalue":{"value":{"entity-type":"item","numeric-id":1856145,"id":"Q1856145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86f2c76ad431d9e56ae127416dcfda4fdfabb30","datavalue":{"value":{"amount":"+0.7479714751243591","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":"Q2225473$0D0BD30A-C41B-4280-91FD-A75384C4C16D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225473$7C341BD5-E884-4AA9-B569-F78E9767D989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225473"}}}}}