{"entities":{"Q1887831":{"pageid":1898573,"ns":120,"title":"Item:Q1887831","lastrevid":48378487,"modified":"2026-01-04T13:19:11Z","type":"item","id":"Q1887831","labels":{"en":{"language":"en","value":"Application of Gr\u00f6bner bases and quantifier elimination for insightful engineering design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117474"}},"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":"Q1887831$6A6BAA11-E9C2-414E-B8B6-2F7006B5CC17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d3a7e831dda878691d9e148f9797311d11945a","datavalue":{"value":{"text":"Application of Gr\u00f6bner bases and quantifier elimination for insightful engineering design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887831$05AC84DA-8D7E-407C-9623-51619E52D0CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85bce69bb9ed9f216223bef8bd99f85079f24473","datavalue":{"value":"1091.68679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887831$D1991B0F-527C-4EFA-B6CD-0F35FA33FDBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b054edad30c685fd5852ca8be7a45e85429f67b6","datavalue":{"value":{"entity-type":"item","numeric-id":1346476,"id":"Q1346476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$0F4184A2-FC71-4FC8-BE09-8ADF72EE2A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ce1e01dd07cb035320d027ee126e0068254caef","datavalue":{"value":{"entity-type":"item","numeric-id":1887830,"id":"Q1887830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$A0D214D8-6988-46BD-B22B-C30F0EDBF41C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$3D5858C5-1D62-4C3E-81A9-4776E6938919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887831$99F2047F-205C-4DA5-83C6-1CA5EF50EC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887831$FF7B3877-F293-496D-8A22-744507FA7A7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b80d3560f81da0ec736eb396eccc2766086d5d6c","datavalue":{"value":"2117474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887831$C30DCE0A-4C2F-4C40-AF11-514CB30637C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d9c7ef7338bc2cca75ee6d673ed28ef2fb890b","datavalue":{"value":"Engineering design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887831$20EF3793-A4F7-4916-9E09-7695CC3BD9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8ed08abc2c8413e0199c8fd5c8dab4beffce11","datavalue":{"value":"Algebraic constraint representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887831$BD73EB3E-0A5D-4A6D-BAEB-5A423F56A39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887831$DC308802-2701-4027-BBF4-250C252FE852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efddf96b0fd82167e30c94b24a4ac9afdbc1722d","datavalue":{"value":"Quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887831$2EF90E18-67FE-479E-8E21-C10A6DA2400D","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":"Q1887831$68974B55-03B3-471E-991C-637CCE81E40C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b4fcde7c7a2fadef7b0422e6466c243a8beb4c4","datavalue":{"value":"https://doi.org/10.1016/j.matcom.2004.05.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887831$5EF5F455-E049-473D-92A5-1571166D9007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4120635f445e9c19328e9de97b2a1468a14321","datavalue":{"value":"W2024992180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887831$021518C7-51C7-4DAD-B835-7E4700860E93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0662d91c66c4bb3f7d7b76b005aeceba3dc7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4223038,"id":"Q4223038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$12C77376-5EF3-426E-AD6E-3BE0DE9F41BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342b6508403bf0f38136f41ca4f2906d6c10f80","datavalue":{"value":{"entity-type":"item","numeric-id":4346402,"id":"Q4346402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$362DCBED-4E8D-40F3-B4F6-85040B77604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b5cf7b25ee857c95c5952384e00bf5499d2286","datavalue":{"value":{"entity-type":"item","numeric-id":1364003,"id":"Q1364003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$F0ED7546-5A12-4D98-8F4D-F4379B0855E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813e1bd0c88492312de82de2f2fa5581d746941b","datavalue":{"value":{"entity-type":"item","numeric-id":5690494,"id":"Q5690494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887831$F71DFA9A-F54F-49DC-8B2C-06ED79E16460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6fe7afd04f0206d92688a82dc194f13e4bbca8d","datavalue":{"value":"10.1016/J.MATCOM.2004.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887831$CAE9F0D5-9850-40B7-B30A-43EE75CB04F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8f7c7fbc28c4ffb3bdb8f975239aa371c53de1","datavalue":{"value":{"entity-type":"item","numeric-id":4550803,"id":"Q4550803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d0ffecc81a756f4368749238fd581e9be3ad3b6","datavalue":{"value":{"amount":"+0.9649652242660522","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":"Q1887831$C8E1AC6E-BA6F-448E-AC4D-37E8FCE5DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947c23b0b4cd1365cb1485886a9b1e326fedafb6","datavalue":{"value":{"entity-type":"item","numeric-id":3602344,"id":"Q3602344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d9e11b04e3698ffc7e854125ab1565c60975e2","datavalue":{"value":{"amount":"+0.6990326046943665","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":"Q1887831$9FC1B084-FF85-4E40-9375-67E7A9EB65CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc8ae6f4c7697ebdbba1268552b1979ed8bf764","datavalue":{"value":{"entity-type":"item","numeric-id":1862520,"id":"Q1862520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff93b0bc0edd2003dda63412d934c44b1c09093","datavalue":{"value":{"amount":"+0.6843470335006714","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":"Q1887831$BF09A27A-2B4F-454D-9BF2-06F9623F938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1164c4439149c21117404d5b6f148f02df94333","datavalue":{"value":{"entity-type":"item","numeric-id":4888658,"id":"Q4888658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b21fe1bca107bc027229034aaca77e5172e01e3","datavalue":{"value":{"amount":"+0.6745611429214478","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":"Q1887831$636E372D-787C-4C34-A0C5-FFE2E802A6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0bddcf9605f6068d40120012742ab79e5624e8","datavalue":{"value":{"entity-type":"item","numeric-id":1392829,"id":"Q1392829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b21fe1bca107bc027229034aaca77e5172e01e3","datavalue":{"value":{"amount":"+0.6745611429214478","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":"Q1887831$AB69525D-4773-418D-84CD-000B9EC7FC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1887831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1887831"}}}}}