{"entities":{"Q3644095":{"pageid":5674001,"ns":120,"title":"Item:Q3644095","lastrevid":49749946,"modified":"2026-01-10T05:29:09Z","type":"item","id":"Q3644095","labels":{"en":{"language":"en","value":"On the Computation of Comprehensive Boolean Gr\u00f6bner Bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5627931"}},"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":"Q3644095$FC325C96-F304-4AB9-A808-244F639324D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54d8843c3ad998e7949f1e6bfa9a607539ef9493","datavalue":{"value":{"text":"On the Computation of Comprehensive Boolean Gr\u00f6bner Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644095$6C02D7CA-7613-4816-87F3-209FF18FD66A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1de00068585e86f0dc1c246e2894416a4771b93e","datavalue":{"value":"1260.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$F9C6C95D-E974-4406-8C6B-2E99BCFD26A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acb37e38805a3f488ac5ce464e0a790ece954768","datavalue":{"value":"10.1007/978-3-642-04103-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$9E3CEB91-4594-4B3A-AE86-4A58FC8CADED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7de179467cbfd653361694afb847eb1c1a998f76","datavalue":{"value":{"entity-type":"item","numeric-id":633093,"id":"Q633093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$1C537F06-6024-4283-AA29-0C5C838A0EA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$E523E0E4-848C-412A-8988-B5D38BF5C277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644095$3284264A-C774-4D4C-A2CE-0C20D4E31BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$5D71FB79-CF38-4B78-A36F-BE59B670C60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$40A5D213-134F-4616-81DE-39F0B8099D8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d36c5253fd880f635ff61e27e31aaf6c791354d","datavalue":{"value":"5627931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$EF4FD4CA-354F-4070-8DF9-BBAF35E4D6A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5887d5598ac105d0f551187f9a2fd487738fab8","datavalue":{"value":"Boolean Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644095$DA4817C0-8C13-499B-8C7E-17111884AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"988e8ff059baaac39525ec5d0bf6797d9b5c6534","datavalue":{"value":"computer algebra system \\texttt{Risa/Asir}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644095$4FEC57E4-DAF1-4E07-A97F-616EBB3ECB45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdb64c88a8e3607fcb3be6f12de336e139b9d574","datavalue":{"value":{"entity-type":"item","numeric-id":13554,"id":"Q13554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$7A2F483A-5CF2-47E4-91D7-0E0445BD90FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c364e420c13699b63407a0ff4cae65966d372dc5","datavalue":{"value":{"entity-type":"item","numeric-id":12982,"id":"Q12982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$F3D2EEA5-6D5A-4B1D-A5B5-E289813ABAF2","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":"Q3644095$7651C9EB-70DD-43F9-9844-BBAACDF99F68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbb156d514bd287a1dacb9a1562785d6472df0a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04103-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644095$19CF507A-126E-447A-AF0C-2F1C170E4D41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b83f0a3fd540b82930a9eb2694cbbbf7f9e54849","datavalue":{"value":"W2064662083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644095$556CD457-E753-4716-8C62-39E36283F3D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3c27d153aefb850dda89d052bdf4fc6bad1e46","datavalue":{"value":{"entity-type":"item","numeric-id":2457398,"id":"Q2457398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$C05147AB-E5BC-4D72-87DF-A644DAB469FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb19d590007445759327e0f9a05c975c2cf2683","datavalue":{"value":{"entity-type":"item","numeric-id":1599542,"id":"Q1599542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$17861437-CFE5-4E80-8282-BBB94660C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb13ef1e94b4223ff3de2d01fe7f8572fed319e3","datavalue":{"value":{"entity-type":"item","numeric-id":633095,"id":"Q633095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$F5595BA3-E2E3-48E2-9D50-A73BA9916EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62893a18e734c231d48bb1875a038949153804d9","datavalue":{"value":{"entity-type":"item","numeric-id":4232516,"id":"Q4232516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$48D85546-1330-4EC8-9AB5-21A71627EA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf5159fe8cd315152b2b076a05d9b4f0a881dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3598007,"id":"Q3598007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$1B168004-F592-4EF4-8B76-4F852B3AEA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e071291676910b088d23a45c88c9c50889e14fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1878492,"id":"Q1878492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$BFB0485E-53D7-47FD-A761-4C535B442633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a479338c68096816e5ab2493250f083683c6a8","datavalue":{"value":{"entity-type":"item","numeric-id":2959007,"id":"Q2959007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$587547A0-2005-4515-A36A-D91BD9AD37C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef4271131576454fdd53e3969cb6d500e1ed010","datavalue":{"value":{"entity-type":"item","numeric-id":5393361,"id":"Q5393361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$37D107F2-9107-4505-BC17-92952E4F8F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc344f73d3fa279ecc5abe0d69502a54269b540d","datavalue":{"value":{"entity-type":"item","numeric-id":1199704,"id":"Q1199704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644095$63FD6DBA-DA70-4DFB-9DAF-ECC764615280","rank":"normal"}],"P1643":[{"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":"fbd376e1aa178514c83502ed84b25dcfef199073","datavalue":{"value":{"amount":"+0.94635653","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":"Q3644095$D6BD6ACE-4A20-43B3-9AD0-3884B2AF017E","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":"f0a9c0de3473fe2d3f51e6382b37ced4b1167b14","datavalue":{"value":{"amount":"+0.9463565","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":"Q3644095$3C72A9AE-D40F-4CB2-9263-5410C0EC359A","rank":"normal"},{"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":"dbd2475807ced13a58b479ecdcb2e99def3eb1ce","datavalue":{"value":{"amount":"+0.9420273","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":"Q3644095$2A087D51-0A36-4DBC-BC06-FA61704DCC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f516579db80a0e57c24d370626a5e3adbf46c378","datavalue":{"value":{"entity-type":"item","numeric-id":5479259,"id":"Q5479259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3ac427373fdcea5d0efde5448ee70621e32360","datavalue":{"value":{"amount":"+0.9398466","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":"Q3644095$ACACD17B-7B2C-480B-A751-4B26EF93F77D","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":"02e8effdaf4ab36ff350839b139a2502847a324f","datavalue":{"value":{"amount":"+0.9327358","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":"Q3644095$B398A89E-4F60-411F-AAD1-694E1882DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28621794b14f8baf2cc53d6d91f5590003718657","datavalue":{"value":{"entity-type":"item","numeric-id":1940934,"id":"Q1940934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d17bc00023a7b10779251185ed971e955aa4e02","datavalue":{"value":{"amount":"+0.9313158","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":"Q3644095$D81DCA32-CCCE-4D83-A4C0-664F77D02AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b65ce6dbefabf352ee3368700341db532cddd6c","datavalue":{"value":{"entity-type":"item","numeric-id":2879173,"id":"Q2879173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c43db7279ddcef984c4072155df61eead931c3","datavalue":{"value":{"amount":"+0.93113184","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":"Q3644095$C1D50323-68F3-4EEF-9423-33399478985C","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":"c03ee07f40e76842732f77d18fe919c7c90cbee8","datavalue":{"value":{"amount":"+0.92575216","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":"Q3644095$13A1DD49-4BC4-4D3C-8288-838522E28FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8296a3172c273816242bf94e58963a6048bfa5ff","datavalue":{"value":{"entity-type":"item","numeric-id":5254172,"id":"Q5254172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0eaba5997fca39d93311d255e45dafc9545fbce","datavalue":{"value":{"amount":"+0.92533547","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":"Q3644095$FADC9C53-ABF8-415D-BB51-6C56B90AD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b3f14a66dcfaa51f4c68e65cb46eae7898b627","datavalue":{"value":{"entity-type":"item","numeric-id":1592198,"id":"Q1592198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfac2b63a9ea4959be606345bc36df18de2fe4","datavalue":{"value":{"amount":"+0.923772","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":"Q3644095$9CA4E769-6AC4-43F2-BF71-0D90A3C89255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644095"}}}}}