{"entities":{"Q5195289":{"pageid":7224861,"ns":120,"title":"Item:Q5195289","lastrevid":53534441,"modified":"2026-01-25T04:55:28Z","type":"item","id":"Q5195289","labels":{"en":{"language":"en","value":"A decision procedure for univariate polynomial systems based on root counting and interval subdivision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106520"}},"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":"Q5195289$47230BA4-0113-476D-B668-86CF6D0D7EC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3cb0e59e82197e527104f4e58902164e17bb06c","datavalue":{"value":"1451.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$2E7B3E26-60AE-4A73-A255-DF43BC6CE3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b92c35f500f268d671c415a02b1967564d5af9a","datavalue":{"value":{"entity-type":"item","numeric-id":287266,"id":"Q287266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195289$D8910278-2139-4CED-8A09-194CAFAE6B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f65c55c577dca43ece6d4cde019f5041f21f919","datavalue":{"value":{"entity-type":"item","numeric-id":287268,"id":"Q287268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195289$C44D2695-C3AE-492C-AEA5-265D56ED7728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195289$8734F298-0E88-4E86-A91B-622F5A000893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195289$EE8C8AD6-4B7B-4704-8A4A-4178B2E3DADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$C2F9D050-4D93-4641-AB6F-8F8702BE6259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28cc557c6c35aaa162b4d5c0a30d55d28da55f24","datavalue":{"value":"26C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$00DB9027-6D91-40BE-BF42-D6F54AE1D13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$7F83DB26-4736-4DAA-8001-FFD2B0E80EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c8c4f79f6c4b4001ad9d228de1330941bba6ed","datavalue":{"value":"7106520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$151DCB85-A023-4396-A750-50607F34A842","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8ba8d731656f0bb61bb55ea9999fc2cf63e208","datavalue":{"value":"Sturm's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195289$E0C485ED-6D94-48B2-A55B-2D20F942E6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195289$CAF11628-4801-4800-90C1-F8DAD56FC56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195289$33FCB0EE-7F0F-44F9-9D02-CCB2CCAB2559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1eb112edcb1c678c9102344762b64b2d9359622","datavalue":{"value":"deep embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195289$1FA3268E-720E-44F8-A118-4152E09645BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195289$FF3E2382-9491-4BA4-BA35-BE9AD9C3F3A5","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":"Q5195289$5CA6D958-F9D0-404C-83C3-FC59FE6E291C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcc72ce1e347e79b6ed86eca413d35129a4289c0","datavalue":{"value":"https://pubmed.ncbi.nlm.nih.gov/31534636","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195289$E0829C5E-8D7F-4B57-B431-85DF94DC3A30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"630c138b8f0bd88d4fa857a13addf5f7bcca3f1e","datavalue":{"value":"W2807041225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$7766C3FE-1242-4845-A798-38997AFB55B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a7f5ce661e8e2dcaa4f2c5f8f37983b323ce733","datavalue":{"value":{"text":"A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195289$DCB0DF5A-FEA8-47D0-B546-FB5890FB7740","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23e881d386aa277d632301ae294ac04f194ff5a6","datavalue":{"value":"Q90170245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$B95FF33C-843C-409E-90E8-2CB50797573D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"691320f6b4d3c4b24c829309f8e4ade71d9d4a4b","datavalue":{"value":"journals/jfrea/MunozND18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$F75AD012-4157-4AD4-B2DE-FD01BDDB528D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f8d82340a13125f81efbb82f1c5fbd8360c5a3a","datavalue":{"value":"10.6092/ISSN.1972-5787/8212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195289$D55315C5-6D06-4791-A98A-95925B84F39C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9afe93a130f2c6e362f9f3825ef64803a2a90f3","datavalue":{"value":{"entity-type":"item","numeric-id":287269,"id":"Q287269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23fabe3bdefcc1f3680e22459f573f09a623696","datavalue":{"value":{"amount":"+0.8942105174064636","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":"Q5195289$917F943C-AA37-43B1-BB62-62EDF371742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283346a3e31d84f6367e78d60c1099c1fff717e4","datavalue":{"value":{"entity-type":"item","numeric-id":1725844,"id":"Q1725844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d1ad78338efa5039b95cc4d236893b3e99e835","datavalue":{"value":{"amount":"+0.7757211327552795","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":"Q5195289$B9B74C05-94CB-496F-A68E-8DBA4D53729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0751673252eba8b731ca63d4f1680d2f5d8dbc96","datavalue":{"value":{"entity-type":"item","numeric-id":4790667,"id":"Q4790667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3718fca071171254a15dfe58bd32c509c25fe03a","datavalue":{"value":{"amount":"+0.7303601503372192","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":"Q5195289$7154C0CC-95A5-46F5-A952-D544ECC1D8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf36049823cf0a0132e9179cb0e74e04f41c978","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210cb16d957b63cc8e93e30734e50e780c5950e9","datavalue":{"value":{"amount":"+0.7173884510993958","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":"Q5195289$0B0DB9B4-7A7D-4379-BAF0-876F186B54E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4b19442f4be956c13b6919cdb42e9182d5bb7c7","datavalue":{"value":{"entity-type":"item","numeric-id":5301626,"id":"Q5301626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfde987a35a78bf32e450b179900fff96a70e17","datavalue":{"value":{"amount":"+0.6978685259819031","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":"Q5195289$D098A7D2-4591-4BA2-A0B8-BE106B614593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195289"}}}}}