{"entities":{"Q6487176":{"pageid":14065945,"ns":120,"title":"Item:Q6487176","lastrevid":52392356,"modified":"2026-01-22T13:17:49Z","type":"item","id":"Q6487176","labels":{"en":{"language":"en","value":"Cylindrical algebraic decomposition using local projections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507449"}},"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":"Q6487176$D4FFC4DA-92D0-4570-B6EB-F78E4DFFB7B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a38e1ad8d3f07ea6be9f933f2e3e8b2f49c46a8c","datavalue":{"value":{"text":"Cylindrical algebraic decomposition using local projections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487176$2D6824FD-1C5C-436A-A59E-33D552DC8BF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fecc46325b8ec359d626226861a42bf94567ded6","datavalue":{"value":"1325.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$31057DF7-EB3F-4421-AD27-8F1C2FBFD3A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"689ab0d45833e90a7fd500936c44bdd555fe2351","datavalue":{"value":"10.1145/2608628.2608633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$EC873C08-0794-418B-9A26-6A4703D848CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839da8fb2ad5262719b48f39d6c370f918d5d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1382035,"id":"Q1382035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$65724FAB-7A91-427A-8004-8007D99CB50E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487176$0573DF95-0880-4178-BCBA-816133754C97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$5332292B-B7F6-4D0B-993A-038AF638072F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$EB6C3367-D6E9-4275-AB0C-3AF3432B9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$461EE27E-AC5F-4EA8-8842-4113F805320C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64bc5fd1a61b9d909be3a21b9d529b2e87f61165","datavalue":{"value":"6507449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487176$6EF48B41-FF68-4AEA-8300-9BDA8AE3C583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487176$0930B1D3-EE63-4C85-BE13-6C3E92BFEA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487176$D8AE7BB4-AC21-4D6D-AA19-95CDC65D30B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487176$A45750AD-7DBB-4903-8D73-31B9A361C206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a41e0abdc60d6b0d7c68fefda5abcfb81428d54","datavalue":{"value":"solving inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487176$C5ED80E4-5F0D-47CC-8764-73501B4361EA","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":"Q6487176$AE665692-9EDA-431D-98D2-84AA7E6C8447","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a0619f07c8313163d5395382f74c59a1da4d00","datavalue":{"value":{"entity-type":"item","numeric-id":5448058,"id":"Q5448058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$78341DD9-8914-4DCF-9A48-ED519DBECD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f66606002f6efbe3a3e8203b9f538a7ecf14416","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$8DEC950A-C7B3-407F-A8DF-0E60ED552524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$736E18A1-A078-4FCB-8EB6-571AA44A38AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd2b744a08cf611862a762e8c90a437da122841","datavalue":{"value":{"entity-type":"item","numeric-id":2457384,"id":"Q2457384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$258DE0FE-AFAE-4CB3-9166-D4FC0D1F4DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$A5FFFA9B-C77F-493A-80CB-63554C252C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$FF4FB30E-EA49-436D-A8E0-1E0D80E3E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfba758c918370b2b93e7de04f7aa6ff5c05542b","datavalue":{"value":{"entity-type":"item","numeric-id":4414313,"id":"Q4414313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487176$D0F66E13-353B-4A96-BF4A-D5B0919ECCDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324d5e48cf51aa59e9effbb5e563c893644204ab","datavalue":{"value":{"entity-type":"item","numeric-id":5963393,"id":"Q5963393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7cd35f35cb2a3c5f49264589b5337b75365f14","datavalue":{"value":{"amount":"+0.9845242500305176","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":"Q6487176$BCF84CA0-F13B-4B07-AEDC-5BCB8CFC5881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddb8fe82d907ed3a7452a7e8294ba48f5387ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4657310,"id":"Q4657310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da14a30d507e357a2fb645b3bb8b588f9f1f4ffe","datavalue":{"value":{"amount":"+0.9326215982437134","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":"Q6487176$08CA68BB-C3EA-464D-8B5D-FA5FF3CAE77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ae534a43d316193c0ca6c2560202310e548d76","datavalue":{"value":{"entity-type":"item","numeric-id":4295433,"id":"Q4295433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968927515e00bf6195e03c7e777db92cbc09ed05","datavalue":{"value":{"amount":"+0.8509413599967957","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":"Q6487176$D6C06C2C-437A-4042-8AFF-4748BCEA696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32a494a81a9694ee1ef068b8a6bf8f68c8225b4","datavalue":{"value":{"entity-type":"item","numeric-id":4391219,"id":"Q4391219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae31e5a3168cd0644d9445cddd9ea623aae6619f","datavalue":{"value":{"amount":"+0.838461697101593","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":"Q6487176$A8A53ECD-1FDC-4779-92E1-22FEA1459857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a5239fda0594f59fc4f3a2fd5991997cfcb31d","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcf9db1236513516ead91dc1ac398f41b8403ed","datavalue":{"value":{"amount":"+0.8362260460853577","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":"Q6487176$DC280779-DD25-4898-8409-B1CBE587229A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487176"}}}}}