{"entities":{"Q2456593":{"pageid":2467336,"ns":120,"title":"Item:Q2456593","lastrevid":73287297,"modified":"2026-04-14T15:17:04Z","type":"item","id":"Q2456593","labels":{"en":{"language":"en","value":"Detecting unnecessary reductions in an involutive basis computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202062"}},"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":"Q2456593$8276F8D6-2BD3-4571-93DC-8583D45B328F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e9924b0c03f2129730022b4f280d41ccab888ca","datavalue":{"value":{"text":"Detecting unnecessary reductions in an involutive basis computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456593$63DEA686-7DAD-4F96-BBBB-359CC5C8CEE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f520f323cef679b81d74f0fd1f36ff70ecfba99e","datavalue":{"value":"1120.13028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$647D5343-7D20-4EF4-AF40-03314E85B920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d1ddccfbca3f148136787254939ad6d3c6c9883","datavalue":{"value":{"entity-type":"item","numeric-id":1264457,"id":"Q1264457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$297FDD6D-B659-4A39-A551-D06CDC5EFDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a33ca8d24dd0bf5a955e0f0a2d5dd35a2d5cdf13","datavalue":{"value":{"entity-type":"item","numeric-id":1599532,"id":"Q1599532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$FA60BE8C-7F41-4370-936D-64B0527A1F61","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":"Q2456593$49A2603E-889E-4B1A-BB59-B43BB1507789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5dd9e0f7e970fb181073844a7c8c2ebc2be921","datavalue":{"value":{"time":"+2007-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2456593$508D83E4-1BD7-47F7-AD95-1246863D60A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$DC755C86-EAD2-4AD8-815D-2FB000BC471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$843A8394-43AB-4E60-915F-53E46A4128B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39a2db5e7b0c158748353ff4f8bfde7948fc9ac","datavalue":{"value":"5202062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$089F3AAA-EAFA-491A-89D7-03FF4F599726","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a286827708b93bd846853911b80015bcfc4312b","datavalue":{"value":"involutive basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456593$DD1B36B6-E9CA-4569-B4D4-9F5B3BC367CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c2222bff469a29e4ad00d0c396ff5d438f1e35","datavalue":{"value":"involutive criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456593$C5DCB39E-3C96-4F63-9796-799611B42583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456593$3E0886EE-EFBB-4017-884D-A69EF96EA334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9142080a79f2493b43b1e42f60da33a59ae6056","datavalue":{"value":"Buchberger criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456593$5415E061-62F1-45C1-AC8E-B05227045134","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":"Q2456593$8E04D477-552D-4998-B78A-9FD226EC5C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c524c217d9b8f3e67770c559aaaea4ed24910a8","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2004.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456593$A492E04A-1BA2-4622-AFA0-43CAA02D49DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caec4ccad91feffcf9c3a568564f3416b027f867","datavalue":{"value":"W2093299949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$4DCF64BA-94DA-40B8-8A57-C04A34F268D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b298f9c3dc3f9f556aa7ac1863467ea946044cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1264458,"id":"Q1264458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$2FCB377B-40AA-4510-9DDD-D2888371A66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37caf10155c47a403cf2fc8793aff6fd602db549","datavalue":{"value":{"entity-type":"item","numeric-id":1115179,"id":"Q1115179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$D0998C6D-0AD5-4DBE-A863-B31A2B4E394D","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":"Q2456593$E0808B13-0123-4B5A-8FEC-978104182452","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":"Q2456593$1E09D263-3B8D-42D3-A035-A1B6C9E0128A","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":"Q2456593$84111AA9-6A8C-42AE-AD50-A3931C9E22BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbae617fb6e166742561c17d105ae1ea0ce6a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":1121950,"id":"Q1121950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$CF50C6C6-E508-4FA6-8C01-855C9FF9488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f889736410993031b2e183ce42b8c3278baf27","datavalue":{"value":{"entity-type":"item","numeric-id":1404736,"id":"Q1404736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$57E90A1E-94ED-428A-B72C-3B56C980D5E3","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":"Q2456593$AA2FA3D9-AECB-4007-9E1D-F401676C6D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338d1a3a2bfdad1e1398368f3eebba238107a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":4425667,"id":"Q4425667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$656C6856-4684-453C-B34F-EA9672E31392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ee4a350ef603c9d178640354edf125c71797c1","datavalue":{"value":{"entity-type":"item","numeric-id":752147,"id":"Q752147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$EFA10C9E-301A-441B-B1ED-8176C114A8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8cea9ebf78f66d40109c0f10ec2948a10cb822f","datavalue":{"value":{"entity-type":"item","numeric-id":5288845,"id":"Q5288845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456593$6D2E0C26-1E8C-4D24-988C-2070AE7B2758","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7f09cdb36d8c1e1c82bdc79cdab83adbc25f879","datavalue":{"value":"10.1016/J.JSC.2004.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456593$FBD06001-4894-45FC-8FD3-FC1AD5D5026E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8292a31f65bee2161c1f8159178bbf8a81f105","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a7d5c3428e673ecc7eb5a2aa70831c9b7edc49","datavalue":{"value":{"amount":"+0.8452451","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":"Q2456593$60DAC5C1-D3CC-4909-ABB0-48579F36F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c24aaca131fc59561a4256cd58bbf8a78f2b988","datavalue":{"value":{"entity-type":"item","numeric-id":2820509,"id":"Q2820509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19154420c7a43d4efac3344882e6008090e4d01","datavalue":{"value":{"amount":"+0.83774173","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":"Q2456593$54F148F9-90C1-4DEA-A12D-80CF4FED20AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4c739a5e92dbbe0e245993ce6638ac779b49a8","datavalue":{"value":{"entity-type":"item","numeric-id":2819720,"id":"Q2819720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1288e23662e148ec9ab90929d2412d20478262","datavalue":{"value":{"amount":"+0.83534527","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":"Q2456593$7BF1BB6F-EA68-473B-AB2F-273B01154E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01bb0353273534a33780799048569c3219cad78","datavalue":{"value":{"entity-type":"item","numeric-id":1403223,"id":"Q1403223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fa0f578d817d2f5c10e1639139ad2db3a25f05","datavalue":{"value":{"amount":"+0.8329978","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":"Q2456593$73031B19-F3E7-4395-8C56-21F703321FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d390ecfc7ec0418c20ac3f2a3e49e76e91fe26","datavalue":{"value":{"entity-type":"item","numeric-id":3511093,"id":"Q3511093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653db6f2ae2b419cf41d4cd53b20d85d50dd20fd","datavalue":{"value":{"amount":"+0.82973206","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":"Q2456593$D5BF958A-2070-46ED-8190-902EBD934032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a7d02aae67750db9ad6aef32904cb145869620","datavalue":{"value":{"entity-type":"item","numeric-id":3977129,"id":"Q3977129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd48f84fb77043db11ccec115a5526ef8e7fcc9","datavalue":{"value":{"amount":"+0.8275227","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":"Q2456593$212CCC10-ED17-4DD0-A74E-7017E73B2F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f49835cf61e498c3d0926589d932fe5c2587a0","datavalue":{"value":{"entity-type":"item","numeric-id":3770652,"id":"Q3770652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2689b26e639a127b003eae4d047da00cce2532","datavalue":{"value":{"amount":"+0.8272103","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":"Q2456593$3C6F15E4-F789-472D-83CF-1008E378EB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435d9c8139cb5b6ad9652fcef1e6a465db6d3636","datavalue":{"value":{"entity-type":"item","numeric-id":5060822,"id":"Q5060822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d391cd7b5829dea6425bbc873a86bbfc03de79","datavalue":{"value":{"amount":"+0.82462746","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":"Q2456593$4F15C498-5A91-4B11-AA30-A236A9CC5BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a4afb4000ee9b30e894eadad196d91f6f4b381","datavalue":{"value":{"entity-type":"item","numeric-id":2949472,"id":"Q2949472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fc95ff7eeca8dccc406472b63143af7baca771","datavalue":{"value":{"amount":"+0.82335407","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":"Q2456593$4FE72EBE-FE30-4D3A-961A-F0C34A40C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69205a116eacd754d6c5522549306a1269469069","datavalue":{"value":{"entity-type":"item","numeric-id":2829991,"id":"Q2829991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc85fd83532e261dafb04123cf5323527cafce3","datavalue":{"value":{"amount":"+0.82330924","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":"Q2456593$607A3633-5D90-4369-BED5-56BFFDBCB3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting unnecessary reductions in an involutive basis computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detecting_unnecessary_reductions_in_an_involutive_basis_computation"}}}}}