{"entities":{"Q2879154":{"pageid":2889874,"ns":120,"title":"Item:Q2879154","lastrevid":83891798,"modified":"2026-05-07T13:32:46Z","type":"item","id":"Q2879154","labels":{"en":{"language":"en","value":"Software for discussing parametric polynomial systems: the Gr\u00f6bner cover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341343"}},"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":"Q2879154$B64C5AA4-149A-47FB-B04C-32D5CD2C6C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f026119d133fad12b29624d353403611458843f","datavalue":{"value":{"text":"Software for Discussing Parametric Polynomial Systems: The Gr\u00f6bner Cover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879154$A3739501-95A3-47CB-8F92-7F1FE8DC7FDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6dbc67968f2e88227426f7c167fcd0577e48fdf","datavalue":{"value":"1434.13002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$ECBFE591-AB8E-4888-9171-ED700A90E6F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46a7e69b14951d992ee7f16372b0099fe64222f5","datavalue":{"value":"10.1007/978-3-662-44199-2_62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$37535171-EB61-43CC-A6EB-0ADD1DBFD44F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b985b50f76ddf04c1084bb32f224213904466a","datavalue":{"value":{"entity-type":"item","numeric-id":294389,"id":"Q294389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$E29DDF6C-DCD5-4556-87AE-44E1146BB715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbae92b48a7b3c3d7ea57048e7e6822361d0b808","datavalue":{"value":{"entity-type":"item","numeric-id":402705,"id":"Q402705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$D667A965-561E-414A-A478-8E6FE9BB9C7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$31C719F0-437F-4014-A80D-DEFBB0D36573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879154$F326CE01-70D8-4F06-97C1-F8D4DCB220C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$EE30795E-84A5-4847-A648-9C496D465505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$C5C8CD68-6DC9-4BB1-AD54-F09289D34D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$0E264388-3E92-4C8D-B96F-EFD6FD47F5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$B55CF983-A98E-4073-A9FA-BF7699AB7F66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ad08d03ace39faa263533ca41cf883fe98a92f","datavalue":{"value":"6341343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$5D7FEBDB-3C0E-4017-A1F4-76D2E317906A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee43f98beb26d9b367c96f7cfff1265bb8742a86","datavalue":{"value":"Gr\u00f6bner cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879154$7D3B86A8-16EB-4442-BC84-6C48B7CA7CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5010227adc8da3933fd0df46de61d5534d6f5881","datavalue":{"value":"parametric polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879154$3A3DC2F6-D122-46DF-A829-0849329DC88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6f40ca7e4cee53aac65b12b565da5316920954","datavalue":{"value":"canonical algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879154$1BF1236A-2D3F-47A8-836D-B401D01D44B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46880f77ebb8c043c6e8b2709ee1a8a1f142d446","datavalue":{"value":"automatic theorem discovering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879154$378217CA-7653-4002-8677-943964551438","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$F3E0F5E1-EB3E-4710-8093-F4F6F43A7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$EE781221-7D73-4D8C-AC65-6C96CB4AFB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4117445313933407d6e8ca11d97954f7dada9812","datavalue":{"value":{"entity-type":"item","numeric-id":21911,"id":"Q21911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879154$F06B03BF-5C9F-4824-A7D4-D4811649CED0","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":"Q2879154$52C13404-3119-4C71-B90C-D4F6B7B8AA61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bf0d204b34f37f52d1fbc0e1fa84a1a3e4d5510","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_62","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879154$4DCD26C6-B065-41A6-B346-6D725ECA85F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7208b8f192982895ade6a53fbc36aed86945ed11","datavalue":{"value":"W268292388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879154$35FA1D55-5F03-4502-9322-240ADA43E227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f7673fe3363cb0325358c04fb85cb7161d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1755631,"id":"Q1755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1771f7a983439d5fb203d5b286bf4376b7dfcc1e","datavalue":{"value":{"amount":"+0.9021593928337096","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":"Q2879154$B09CC0F3-530F-437D-B9D6-3A388BB2775B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2b0da0079a908a8f2e46d6e03c29d4137424a","datavalue":{"value":{"entity-type":"item","numeric-id":782705,"id":"Q782705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a596c14759c60ccb91c32fa2a301d2285f0d2c","datavalue":{"value":{"amount":"+0.8796976208686829","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":"Q2879154$7A5C3343-C536-40D1-94B6-BF494B470051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a306a12f86c7ce120546721ef58579e6041218","datavalue":{"value":{"entity-type":"item","numeric-id":607062,"id":"Q607062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa56d44ff7c43c706acfb8dc5ae5663e82556c2","datavalue":{"value":{"amount":"+0.8711064457893372","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":"Q2879154$808B7DED-F060-48CD-A84F-C9C80E90FD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec17e3334d825a67b1f61a31dc0548b3f45eae4","datavalue":{"value":{"entity-type":"item","numeric-id":4945804,"id":"Q4945804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2f83a530e35947cf78b901f264a472f1053077","datavalue":{"value":{"amount":"+0.8668729662895203","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":"Q2879154$717B9DAE-3991-43DC-ADE4-AB87AA50F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b5b895d07ab9ed4ed44ea13be540739ceef8ae","datavalue":{"value":{"entity-type":"item","numeric-id":5175315,"id":"Q5175315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd29ebf12d9d7ee1f77934cebb313a1e4c13412","datavalue":{"value":{"amount":"+0.8605967164039612","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":"Q2879154$A4FC1598-17DC-402A-BADF-D987F5B21200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software for discussing parametric polynomial systems: the Gr\u00f6bner cover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_for_discussing_parametric_polynomial_systems:_the_Gr%C3%B6bner_cover"}}}}}