{"entities":{"Q2058702":{"pageid":2069444,"ns":120,"title":"Item:Q2058702","lastrevid":78152609,"modified":"2026-05-06T10:54:44Z","type":"item","id":"Q2058702","labels":{"en":{"language":"en","value":"The replenishment algorithm in algebras of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441885"}},"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":"Q2058702$6CAA6B97-E3AD-48E7-87C2-911A7C872748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13a7e57e2b40365f88c04b6ab6b65318e93bef5f","datavalue":{"value":{"text":"The replenishment algorithm in algebras of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2058702$F4A0602F-FE67-4C3F-BA91-04B396FC1E45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"589cb5ee42d185d54871f09b169f868e44744fa8","datavalue":{"value":"1484.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$5A92E4B5-FE07-4DE9-B9BD-5B88A4BE6B2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4da5899d1c53479fd61e95268dabd54f119dcc","datavalue":{"value":{"entity-type":"item","numeric-id":289807,"id":"Q289807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$E6A5225C-4A6C-4BB6-AB89-A260618E4A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42722d94d40c28bc29fb3ea866f24a1f10b373b8","datavalue":{"value":{"entity-type":"item","numeric-id":2058701,"id":"Q2058701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$3D2D939F-4FF5-4B3B-B237-28E032BE0906","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$209A19E9-76A2-424F-B536-335B3B534D98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2058702$B31027CC-8880-4B00-9976-F6DFAF320969","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e2215e6bfebe40448b12985c6151da669a04e4e","datavalue":{"value":"In [Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Innsbruck: Univ. Innsbruck, Mathematisches Institut (Diss.) (1965; Zbl 1245.13020)] \\textit{B. Buchberger} described an algorithm, known as Buchberger's algorithm, for the construction of Gr\u00f6bner bases. In this paper, the authors present an analogue of this algorithm (see also the Knuth-Bendix algorithm) for the computation of standard bases in algebras of finite, numerical, and linear semialgebraic sets, as well as in the algebra of multisets. They refer to this algorithm as the replenishment algorithm and it can be used mainly to solve the membership problem in the mentioned kinds of algebras. Furthermore, they apply the replenishment algorithm to solve some algorithmic problems in the algebra of linear semialgebraic sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058702$39821403-C32D-4269-929D-63931E45E53E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a3cb3302bfe70372bd6624bf5334e81c39ef3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":382758,"id":"Q382758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$5B816DEC-F946-49C5-89D7-C922D708A13A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$79066547-8ACF-43AF-B54E-9D5D80B95638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$DABA55BE-B018-4944-855E-FBA29B887EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"efb809c7138464a470e21fc4cb0dbe615f42f348","datavalue":{"value":"14Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$0585F490-9E28-4BDD-B7E7-49A975C27B92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9de98f4450e5edb3a0f4a8ec630f611803ec226","datavalue":{"value":"7441885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$151F6DB9-1535-4331-8B85-78C0EC0868D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0b62d0e8c82c92c9ce00f31f5e41045b2355cf","datavalue":{"value":"replenishment algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058702$070B7675-565B-44F0-A833-934DC39069C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7484b7531934d129e34bbc005ee70f0ff6fe36b","datavalue":{"value":"constructive algebras of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058702$9FD71FE8-B361-40E6-BE4F-A02564E64514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5674049a21699c95339876a18dcbec49efa34a47","datavalue":{"value":"standard basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058702$3A5CFBF6-A369-4A78-9AFF-9F91570BCBDE","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":"Q2058702$C2A29954-EDF3-4823-B83A-174AB609A8F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6045e3886647852d20da237b47a505eecfca40","datavalue":{"value":"https://doi.org/10.1007/s10559-021-00407-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2058702$96962810-EC5D-43A2-AF62-AF875EC13960","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"633df7d998fb6720cb736d798e14d554e96ec319","datavalue":{"value":"W3203786568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$49084716-C0E1-4104-A9A1-23A2FC1E24DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab23ac467fafc0a532ef88cc5129089b9b83126","datavalue":{"value":{"entity-type":"item","numeric-id":3721811,"id":"Q3721811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$D4681DC4-7403-4CDB-A7BB-8F7D371653D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$64BD369B-0AEB-4EBD-A8ED-EFD37571FDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$2427DBB7-3024-4128-A0BF-367D9D1826CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7c27671baf66ca9dd49272c1e6d7cb0cec7d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4063416,"id":"Q4063416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$463BF4B2-4F8E-49BF-B366-BDA8D826B5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$DE0E814B-34DA-4058-A695-4C87DEAB5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ad5aef9d0818bedbf78e0ab4947d22e4e11a42","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$0237E25C-9CCF-4FC8-B504-F9E9367313E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2f3bcd42d79674a96fe40fa9841dca20424bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2452765,"id":"Q2452765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$EC4362E9-A69F-4CE5-B5B5-AC48300A2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f8f5e2ed828125b46fa6a38a1931485fdc1812","datavalue":{"value":{"entity-type":"item","numeric-id":1735326,"id":"Q1735326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$C64C4C95-D53D-4EA8-A19C-31E416A28105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dfe5f4a5c1e63f4b2ecba9b9630577b9e4ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":1957004,"id":"Q1957004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058702$CA558044-E0D6-44F6-B88F-BEFC89E5FABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8264a0787b8776f54ba5563b67330e76056a70bb","datavalue":{"value":"10.1007/S10559-021-00407-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058702$E4B7E83F-E3F5-4697-AB96-886515346A9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f420a99ff27f3d8959f1ffc24f2d1e1a5d9b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":6103446,"id":"Q6103446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d76deb97ba85297097f1610d606e1e574fe832e","datavalue":{"value":{"amount":"+0.8645468","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":"Q2058702$B47BCB40-672D-48A9-A734-666FDB34A2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c680fd9325e1c548b86b77336f4abf9d8765c7","datavalue":{"value":{"entity-type":"item","numeric-id":2104273,"id":"Q2104273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58ffdbde65aefa710a223fca771da5032df964c1","datavalue":{"value":{"amount":"+0.85645705","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":"Q2058702$D761677D-CF2F-482A-A297-F9F203C1E2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034d91c310830a4a35a63bf0de00f8d7c47762e8","datavalue":{"value":{"entity-type":"item","numeric-id":4732474,"id":"Q4732474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d1d5861afb28382af1db4a0a54044951a2b749","datavalue":{"value":{"amount":"+0.8525511","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":"Q2058702$35D50A6E-BB88-4484-86F9-28D09F1B7890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0d3b2e2b1d467231bfd4ae3523ddb4caef1be8","datavalue":{"value":{"entity-type":"item","numeric-id":4925584,"id":"Q4925584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb81c2add530ff3150fe58cc60455d9e4a99e7fa","datavalue":{"value":{"amount":"+0.8505291","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":"Q2058702$BBE21DB7-F3E2-4AF5-8C2E-259181E55239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd5c5988f2ad8e926c53a579d730dc76754a2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3746863,"id":"Q3746863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1063060a9d3c73ed451a5464f7c6d3738a5669ca","datavalue":{"value":{"amount":"+0.8502859","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":"Q2058702$254A5CF6-148A-417B-B586-ABEAD28C7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bd356f9a4edec9a155453ca20c80a170119bae","datavalue":{"value":{"entity-type":"item","numeric-id":3781801,"id":"Q3781801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73180194c9583aa6c3c6834febf3f836db80e784","datavalue":{"value":{"amount":"+0.8489541","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":"Q2058702$AD326D53-E5AD-44AA-B5EA-4E48D9D36C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aa4c50979e63e13a07e525d003a2b01bc62f82","datavalue":{"value":{"entity-type":"item","numeric-id":1815430,"id":"Q1815430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c737358d8f928921d195e035249502ab104cc528","datavalue":{"value":{"amount":"+0.84890014","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":"Q2058702$2AEE12F1-808A-4344-AE20-677CCD48300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"473910c6577cbccb883c0bf284801afcc160a98f","datavalue":{"value":{"entity-type":"item","numeric-id":4007466,"id":"Q4007466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c92645d3b1b0cc97abd3babdae78f0ef4f5921","datavalue":{"value":{"amount":"+0.8472188","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":"Q2058702$B7C31C9D-C165-45F9-A925-A7B2C992F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804cdc58b94dbbe1786942ff698f035fe2d94174","datavalue":{"value":{"entity-type":"item","numeric-id":1755876,"id":"Q1755876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfdeea865234ad117b12bf50b8f9cc5769a4224","datavalue":{"value":{"amount":"+0.845593","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":"Q2058702$F6E33E7F-76F3-4644-9DD8-9B9E6664C28F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The replenishment algorithm in algebras of sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_replenishment_algorithm_in_algebras_of_sets"}}}}}