{"entities":{"Q840090":{"pageid":841938,"ns":120,"title":"Item:Q840090","lastrevid":64733184,"modified":"2026-04-11T21:51:45Z","type":"item","id":"Q840090","labels":{"en":{"language":"en","value":"Role of involutive criteria in computing Boolean Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601837"}},"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":"Q840090$1705AA99-D44D-4211-9B1A-979762A7AB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6a16a42b7772287689924abb26c687530154f3","datavalue":{"value":{"text":"Role of involutive criteria in computing Boolean Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840090$F00F217F-3668-435E-8039-36EBCA01DD9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649eb18522f1c0af4a6ae02d2c4d885b4502ca0d","datavalue":{"value":"1184.13078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$4570ECEB-E6B9-481F-BD20-EAA365C25AC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2850330964b0038552f714a0830a46e0305c882","datavalue":{"value":"10.1134/S0361768809020042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$A59C1932-C6FA-4961-B798-4710F3827069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20e3d69f8d53abcd6bc042a2e8e33c75864b09cf","datavalue":{"value":{"entity-type":"item","numeric-id":840026,"id":"Q840026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$51FC265F-076D-4D64-8B40-10AE05E077C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a049b4a233be4b0b18966f83745065170b8b55b0","datavalue":{"value":{"entity-type":"item","numeric-id":941642,"id":"Q941642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$10BA2C8C-0480-489D-B91B-C0879B882104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$47FA369C-77D7-4555-A74E-AE9DE5952BC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3acba03562394e6f79ba619ee3ac8327ff4b7447","datavalue":{"value":{"time":"+2009-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840090$9B2A8581-7437-43DC-A75B-7FF8CE0B49D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$A162D19B-CA39-4631-BC83-9C52E106BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$DAC16DE1-2AE6-47C5-AD65-E11CBCE79F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b88255a3c4a539b07e5da0c1ef3e3e6de2f49c1","datavalue":{"value":"5601837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$6F8DED7C-38FB-4C3C-992A-A096717B64A0","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":"Q840090$219F0644-D9DC-4849-A62A-E82879591E87","rank":"normal"}],"P223":[{"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":"Q840090$E77FDB2A-2716-418A-B0FD-7E57811FEC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a68a509eadf6111b0e06ec4b721711237d6038","datavalue":{"value":{"entity-type":"item","numeric-id":4660688,"id":"Q4660688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$D9D9384E-884C-4400-A763-EAB0207E8DA0","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":"Q840090$C0F72A15-CF3B-48EB-BA48-13E44754EC17","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":"Q840090$C8C6ED2F-0AD1-499A-A179-E6493D5CAAA6","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":"Q840090$85FECFC9-0C20-4E1C-86AD-772A2930BF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d364a8676464987cd110c5024beda72c85133a","datavalue":{"value":{"entity-type":"item","numeric-id":2760212,"id":"Q2760212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$CFE38216-DAEE-42D9-8D24-3F241EC6E5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb355f8cf92a1288dbb76875f322594d26040f6","datavalue":{"value":{"entity-type":"item","numeric-id":5486584,"id":"Q5486584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$564185CA-6650-4BF4-B5B8-93C73FF22425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18870d04c727fcc831a4f79e231691f5fb18fde","datavalue":{"value":{"entity-type":"item","numeric-id":840027,"id":"Q840027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$C2E9005D-E31E-4737-BB08-703EB2AA80AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75109622ec4f8e35e8091dc1d1b5f5a67c69f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2456593,"id":"Q2456593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$AE80756F-3EF6-401E-9FF2-B5C3E7324B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2202eaede80e9617919553d28c5fddde9b4f475","datavalue":{"value":{"entity-type":"item","numeric-id":2433010,"id":"Q2433010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$DDB8396A-FE1E-4B8E-AD29-074C11CDB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6586c413d066cb0f1e69a4fb5dbd4d7d5fe0af","datavalue":{"value":{"entity-type":"item","numeric-id":5479243,"id":"Q5479243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$5ABA8E83-8920-4101-927C-B0FF074E7B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0142fd11f77f90799250a1cc3ccac785afb0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3511120,"id":"Q3511120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$2CD41998-21E0-4584-A0CE-88A1344C75AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7dd6670a66b7503f598c9f451d49f9fab174bd","datavalue":{"value":{"entity-type":"item","numeric-id":1904137,"id":"Q1904137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840090$9813E8B1-E725-49DD-8EAE-D62DF01C076F","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":"Q840090$B61D632C-228E-4AA9-A463-FD2161D1AC4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d61517b428196d9a1bb21071474c18a88d9fa9e","datavalue":{"value":"https://doi.org/10.1134/s0361768809020042","type":"string"},"datatype":"url"},"type":"statement","id":"Q840090$C4DD11BE-A770-4090-9F48-ADE83B5C5EA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c789bb3235f24b174a7896a239df55f7788bba46","datavalue":{"value":"W2007031430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840090$B29CEE01-BC29-4F5D-89EF-C8D0C5D647C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0332788f9dc39a3ec8bee63ad22e7fb0270b17db","datavalue":{"value":{"entity-type":"item","numeric-id":1956959,"id":"Q1956959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29e0cb431f30446e325711351283664f7781e1d","datavalue":{"value":{"amount":"+0.883525550365448","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":"Q840090$FC8E82D9-07D6-41BE-A78C-4CC8C5F2C70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d5b5eb72c392043090015988244b119a0c9df","datavalue":{"value":{"entity-type":"item","numeric-id":5301609,"id":"Q5301609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389896dc502b0db3b4c33a0196238f1bca3c3d71","datavalue":{"value":{"amount":"+0.8770076632499695","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":"Q840090$D389ADFF-11B8-468C-BEAD-7A4CB9570988","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":"71ef6cb866434dbfd07b4569a107d1ba7afe39ae","datavalue":{"value":{"amount":"+0.8081660866737366","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":"Q840090$08017E36-79E0-437E-9A41-73726FB514CA","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":"618280591987bf66d35564b96a11c10fe676f5fd","datavalue":{"value":{"amount":"+0.8060877323150635","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":"Q840090$F55ED925-7A6C-4CEF-B5EF-68916887A154","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":"72e199d50858c3d7b04a3546d03778e520199f3c","datavalue":{"value":{"amount":"+0.8031835556030273","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":"Q840090$3E7B2E96-669B-4685-A1C0-7273A8CB6105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Role of involutive criteria in computing Boolean Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Role_of_involutive_criteria_in_computing_Boolean_Gr%C3%B6bner_bases"}}}}}