{"entities":{"Q3140014":{"pageid":3150730,"ns":120,"title":"Item:Q3140014","lastrevid":47199118,"modified":"2025-12-31T23:52:00Z","type":"item","id":"Q3140014","labels":{"en":{"language":"en","value":"Unification in commutative theories, Hilbert's basis theorem, and Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436634"}},"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":"Q3140014$CB3773F8-D8A0-4493-BD5E-1575828EFC95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eab5e0540a198a5d87390c61c3801d67c83a7b11","datavalue":{"value":{"text":"Unification in commutative theories, Hilbert's basis theorem, and Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140014$ADFC3636-D9E5-4BBB-A68F-6BE84AD913CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daef02a0b5ba760eb2b2e684c562ae4eb9d95a2b","datavalue":{"value":"0791.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$F43EB287-5EA6-48CE-9C35-E5975D28B8F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f1e7fb3077ac4273308f6f4c1591f9f40b996b8","datavalue":{"value":"10.1145/174130.174133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$AB39DAB7-35F5-4201-ABA5-DF360A1F2ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140014$A0FF9467-36C7-4ECF-8BDD-D1C02F6F8199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140014$4C3CAE26-0910-4801-B55E-1F55EAA6259E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140014$C61D7D5E-037C-4365-9F40-A0BCF7493AF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$E8BF0E1C-2667-40E6-A005-AC64828B5C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$BEE4A520-F8E7-4F82-A115-7BEA56763146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$7B4CAAD3-699D-473A-866B-40E7BBEB6C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$56D33DFE-DD89-49AB-BAF3-CF93D049E696","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3caa7e0792921599f2f1b21d89ac7245e8d31d2c","datavalue":{"value":"436634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$EEE791AE-4F38-423A-8D98-A298687A6ACA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$D1EEFED8-C048-4395-8E8D-12BB2D840012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284c0641a909c3fe4d54ddbfc66a74b5322cbafe","datavalue":{"value":"solution of linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$944FE757-913C-4F7D-B01C-774429AA215F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$8A72A708-B973-487A-B201-B690C94F6E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82b946ee7e458c26dd0bbf3969221d62b7cbb362","datavalue":{"value":"commutative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$CAE7BEC0-F3D2-4FBF-9DDD-ED690C08F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$74879755-164D-4B37-BB8C-CC1D2456F93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602f84174811d5e8b9c4d524d242a494a9644445","datavalue":{"value":"rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$DE0537E5-2C09-468C-AD10-9FDD05108A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140014$5FABE801-3B15-4119-B10D-AE434E7DF326","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":"Q3140014$B0658163-ACCE-4C19-AAB6-8A289E234E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a5d950c5ef3b344f815df2216c9392ecf26a41","datavalue":{"value":"https://doi.org/10.1145/174130.174133","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140014$65F93608-EC74-4291-932C-02532975EA80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a3d574a4929df3622536fd3fdb3181cce519921","datavalue":{"value":"W2090705567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$337ECF3D-1738-499C-899F-FDADF2DD9663","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa21d22a03187e11a1d8c8d2f76df927976a95d3","datavalue":{"value":"Q57383752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140014$836A2D2C-7642-45C3-A5D4-34421872981A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798a8d087a719a5edd9d4357d61d89f69bf4f100","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc06f7c6495f06ddd01f1b243de81ee2916471a3","datavalue":{"value":{"amount":"+0.8699036240577698","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":"Q3140014$2FA6F00E-3A97-43CB-B82C-6DDCB9AD891B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013c9bbc4152441c2725b8b9d143fbfb8f7ea9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1919702,"id":"Q1919702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bad419434afe9b1754f56c4a93529c4c188f7f5","datavalue":{"value":{"amount":"+0.8400213122367859","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":"Q3140014$5FA8003A-A969-4C03-A3EB-AA0694A79968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aade5c3f358d30d7c3f0b40c4a343114bc349274","datavalue":{"value":{"entity-type":"item","numeric-id":5055754,"id":"Q5055754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f21d6359bdfeeb8de520c8ee1cf906402771f","datavalue":{"value":{"amount":"+0.839411735534668","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":"Q3140014$B7CB7C8E-C520-4AA8-9E38-44E72AED23B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbac948edf27b60ba21026e857ec4dca35a2feda","datavalue":{"value":{"amount":"+0.8392858505249023","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":"Q3140014$308AB20A-FAE6-44D5-8E4E-890F1B64EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3550eee67ef915f9151c7b65b064ed3643c7a8","datavalue":{"value":{"entity-type":"item","numeric-id":582071,"id":"Q582071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad65e24ba14ca5a289e5e4f7da308cde0aac924","datavalue":{"value":{"amount":"+0.8112478852272034","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":"Q3140014$2380972B-F347-4B54-B030-A9B0C4D96AD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140014"}}}}}