{"entities":{"Q2850015":{"pageid":2860735,"ns":120,"title":"Item:Q2850015","lastrevid":83770247,"modified":"2026-05-07T11:13:56Z","type":"item","id":"Q2850015","labels":{"en":{"language":"en","value":"On Gr\u00f6bner bases in the context of satisfiability-modulo-theories solving over the real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210106"}},"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":"Q2850015$7DBC146D-670B-4362-8B19-086A1EB61DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1db169cff4c6858ca4de7abf9dca03a8bf61a4b","datavalue":{"value":{"text":"On Gr\u00f6bner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850015$D88CD71B-429A-4DE4-8F92-25436B70A5B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b934804f5a0120aa6fccadfb1ce99105eae15f7c","datavalue":{"value":"1398.68696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$E3F5E15F-470D-4F4A-9D7A-C91028B9D6CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfdeaa8449c538949f1e6b97500d7743fb8c0e58","datavalue":{"value":"10.1007/978-3-642-40663-8_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$90439FC7-6B19-4E70-981F-A41C0F12C957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$25B8949C-94E9-4329-91E6-412BFE2538D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3c8095edd5b6c346f34bdb0a692c1b25a0c6e86","datavalue":{"value":{"entity-type":"item","numeric-id":2850014,"id":"Q2850014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$2CCAC266-536B-4E58-8CCD-46DA19609A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b75d4fd8eb91fb0a20d24b8ee902b5790b7955e","datavalue":{"value":{"entity-type":"item","numeric-id":2830008,"id":"Q2830008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$5341AABA-0B23-4926-8658-5DE3AF162701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$2626B8CB-E37B-4280-9744-2920F5F895D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"990dd856f9b39b97bff0e5ce9e90e3e73f0526ea","datavalue":{"value":{"entity-type":"item","numeric-id":2849996,"id":"Q2849996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$FDCDC2E1-2414-4FA4-9517-2A1EF104C72B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850015$FA331D4D-11FB-49F3-A12E-576BA850128D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec462749bc6086f4fbebbd2f56f79fbf905ee612","datavalue":{"value":"http://publications.rwth-aachen.de/record/228582","type":"string"},"datatype":"url"},"type":"statement","id":"Q2850015$C3BCF667-B2D4-4D5A-922C-3864E1E79A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$F8601A4C-B2FF-49AA-A134-8CC3128DB970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$84FF66D8-AB65-4B85-8029-9A83114DE1A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaa14f035067887ecbae348fe4ba13311eac2fc0","datavalue":{"value":"6210106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$61392185-42C0-4677-BCD6-8F1A62BF7602","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f22790b7d685d2c32362b8971015fd7b35add539","datavalue":{"value":{"entity-type":"item","numeric-id":25009,"id":"Q25009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850015$3CDBDB58-201B-4C85-AF9B-ED77E7D940BE","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":"Q2850015$E664F4BF-ADCC-4B44-9297-45D193779E8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a43a7787761b0eb274a8d227f29f39e4632952b","datavalue":{"value":"W76533186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850015$4BE46D8A-D5E2-4D08-9BBB-F5AAB2FFB1CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94121e2b99edf03838a28b48c6e427008e41aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5175309,"id":"Q5175309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a010062268bf4020126f4a46239c68a45f4ea305","datavalue":{"value":{"amount":"+0.7958701848983765","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":"Q2850015$82C86972-B2F5-462E-91BF-E94A3A3E711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e0c030e8dbc614e4322a184d68187bdd818b5","datavalue":{"value":{"entity-type":"item","numeric-id":3587716,"id":"Q3587716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2708e1da58943e547a116f012447d87013e0cc9b","datavalue":{"value":{"amount":"+0.7669843435287476","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":"Q2850015$DB65DBC5-0C42-43F3-AA1A-9CDB7360F142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13944d212494de09dfb0f3cacfe5015ea5fe5826","datavalue":{"value":{"entity-type":"item","numeric-id":3014943,"id":"Q3014943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b961e2fa111360737f9e8952472922d1766d46f","datavalue":{"value":{"amount":"+0.7491174340248108","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":"Q2850015$FBB11C24-3E5D-41D9-B219-E602C14E6608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637717eeff2e9f7bf26e6c5e446c536ee733e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2307623,"id":"Q2307623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d443f75f27a7d2dee62d48569c8e9c60ee5b369","datavalue":{"value":{"amount":"+0.7489584684371948","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":"Q2850015$696F0590-648B-44FB-85F8-9A6C89683A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93c32acb8f185d2fd8abd709cb176d1e09ec98","datavalue":{"value":{"entity-type":"item","numeric-id":3088298,"id":"Q3088298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd839ef318631e662ffd69be892fc8fc086b583","datavalue":{"value":{"amount":"+0.7455105781555176","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":"Q2850015$01635782-7BAE-40ED-8DD8-4B259A92CD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Gr\u00f6bner bases in the context of satisfiability-modulo-theories solving over the real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Gr%C3%B6bner_bases_in_the_context_of_satisfiability-modulo-theories_solving_over_the_real_numbers"}}}}}