{"entities":{"Q2819755":{"pageid":2830493,"ns":120,"title":"Item:Q2819755","lastrevid":52631222,"modified":"2026-01-23T03:47:28Z","type":"item","id":"Q2819755","labels":{"en":{"language":"en","value":"Real quantifier elimination by computation of comprehensive Gr\u00f6bner systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631260"}},"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":"Q2819755$A03A3168-C87D-4F96-A21E-3ADEE34E8015","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"934c37d49ae2b5ccf9730374d44f0d779e647ba4","datavalue":{"value":"1345.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$1A44F84A-60F9-4600-8BC8-3EC7F1642612","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d46292b537d4441951f479c143b7fe3ed5d3605","datavalue":{"value":"10.1145/2755996.2756646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$60427BB3-23A8-45EA-911C-4B58A1BF0688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a5c31f7a993cda0974ff760f8595cd926eefdc9","datavalue":{"value":{"entity-type":"item","numeric-id":748754,"id":"Q748754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$C8C18D0F-F379-4735-A925-D844FA19609F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$EE575A63-24CA-4EA8-90DD-236CD4D97876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b359cb15def9eb9692c1477593b1405428ea95","datavalue":{"value":{"entity-type":"item","numeric-id":633092,"id":"Q633092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$B8DF163E-803B-48EA-96AA-7FF993BFBA5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6d05f28cfda01a944704573740d16c53a137c2","datavalue":{"value":{"entity-type":"item","numeric-id":2819728,"id":"Q2819728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$D526910B-B55C-4B19-9BED-8F7520B63C3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819755$6468A279-D3C8-4E0A-AC02-3CF6A0356CF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$B197B6B4-85FC-470E-B44D-62BAED22B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$984340C0-5FD0-4773-8858-6A131AF79127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"981f296e7fbb9d238ae10d41a82d520ae2b4e760","datavalue":{"value":"6631260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$9CD3259D-B51A-44C4-9126-E70FBB4EC8E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a6970b50e5d60ceacb8f77f47468e26bcad293","datavalue":{"value":"comprehensive Gr\u00f6bner system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819755$A3E16B00-55DA-4E57-93BC-6BAE1CA49B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819755$FB666908-AD42-49C5-94F4-EA759D6AB169","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$EABD9833-67C8-4918-9C48-C0E3E73CA418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7309d61f3c6ff659c918babd6f2f6b5470aad301","datavalue":{"value":{"entity-type":"item","numeric-id":13522,"id":"Q13522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$9F16143B-627D-4D8E-854A-CEB5CE5A5AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$95711404-9709-4207-A6CB-48DFB18BBF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"216283adc5a9cec50d6e8a08c10e03b03805c7df","datavalue":{"value":{"entity-type":"item","numeric-id":13686,"id":"Q13686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$690775AC-51D2-4A70-8486-63246D0B3037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819755$7048B817-F322-44BD-ACD0-992B6C86F37D","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":"Q2819755$EAD3CEB1-1AD4-4453-AD7A-11C50EFF400C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29a316a64e8f84b3219356b725000fe8f67c5a8e","datavalue":{"value":"https://doi.org/10.1145/2755996.2756646","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819755$505DD750-98CA-48A7-93C4-0F30123B00D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1796750f55ac88d2d00b6152edd468affe0661a1","datavalue":{"value":"W2028158012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819755$2A87D6E1-D55F-4594-ABF8-41BFD9088717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"858e0802f5446b3a49e0509724a32459e860b8fd","datavalue":{"value":{"text":"Real quantifier elimination by computation of comprehensive Gr\u00f6bner systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819755$F1CB5937-F5B3-47B7-AA67-DEA9F3C2C7B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29047f1cbe532d0d5124ed9fb10a459e78dbf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2879170,"id":"Q2879170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67abd00e7804a4e15b62e0098930a898a104523","datavalue":{"value":{"amount":"+0.8606685996055603","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":"Q2819755$5C8256C6-F450-4E48-915A-E20FEED152C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dd8dc8eab061cb0c9d6aa6ee5df1697c00872d","datavalue":{"value":{"entity-type":"item","numeric-id":2807840,"id":"Q2807840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac179a1579e55c6aa3186b8b51c79b513c0d47a","datavalue":{"value":{"amount":"+0.8514693975448608","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":"Q2819755$DA318D71-7736-47A7-982E-6FD7B0A8441F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d55c3cfa375a678ff59b58edb9d7202069594c","datavalue":{"value":{"entity-type":"item","numeric-id":5270200,"id":"Q5270200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4eff9967e9e0f0e3775c6551678349952cc8447","datavalue":{"value":{"amount":"+0.8395408987998962","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":"Q2819755$A18EF72B-2F58-4D12-AF05-335C2CFF6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a384a6a7a593cc296ea6f2f2e4c9d6c39005bf","datavalue":{"value":{"entity-type":"item","numeric-id":748755,"id":"Q748755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1a30245b8ac904f9c74036230169bc88c63ba0","datavalue":{"value":{"amount":"+0.835771381855011","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":"Q2819755$C67016AD-E81A-4B61-8F8E-C0E76CA43BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d236f645fbf80f40419991034e59b70762f0f200","datavalue":{"value":{"amount":"+0.8337166905403137","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":"Q2819755$B1E2F98C-64AA-4CE9-B59C-FE309736C8DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819755"}}}}}