{"entities":{"Q2799562":{"pageid":2810300,"ns":120,"title":"Item:Q2799562","lastrevid":58018866,"modified":"2026-04-03T11:40:15Z","type":"item","id":"Q2799562","labels":{"en":{"language":"en","value":"An incremental algorithm for computing cylindrical algebraic decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567234"}},"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":"Q2799562$0871D58E-6DAB-493B-B1E2-E088236E99EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f628a105871edc2aa8253f54b1f8bb57e45be9","datavalue":{"value":{"text":"An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799562$D2F40285-3B55-4D1D-80A9-2FFAA083AD8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8410f5c1b1ae210949d9f766a49cfef13e1a0f9a","datavalue":{"value":"1352.68291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799562$548450B4-2F13-43CF-AD9D-D11BE04635B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03b25ddfc2a8fc40449a100012d8db5db349c96b","datavalue":{"value":"10.1007/978-3-662-43799-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799562$A6FB7581-9821-404F-A82A-46D2FB353FBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$4892FB46-D256-4DAD-8A2E-8462B5F7104F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$1FED0BE6-D203-4D7B-8060-D46C479390E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"946961da54aa33234426310db89f3483e954c09d","datavalue":{"value":{"entity-type":"item","numeric-id":2799546,"id":"Q2799546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$C4FB5FD8-CE4E-43BF-A343-47D1790CA2D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799562$6F31B850-9B48-4F40-85BC-239E3A0333C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b23b2d2ea2f7d3d925b98f5fab44b5d3a87187c6","datavalue":{"value":"https://arxiv.org/abs/1210.5543","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799562$EA2F1AFF-D481-494F-A607-D6CC8035F81E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799562$291FEE11-696E-41AD-AB15-280AD9AB7531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72a3abea4b8efc127bb161fde8c1e48e654f214b","datavalue":{"value":"6567234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799562$CA4A2E41-21B3-4AF2-94B6-B930B17AF838","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":"Q2799562$6ABF592D-AFF8-484E-B406-C7311AA97363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$E8F98B99-FF38-4A6E-8438-F27E1086560C","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":"Q2799562$675397FC-698D-4442-BB49-9F927BD17365","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":"Q2799562$D08CD170-6BE3-44D1-8F30-E204FF8F14A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240717a00c0aeaf9f079f2c8ad840d612bb779c8","datavalue":{"value":"W1482222746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799562$0B857410-0747-42A8-9D9E-83584B4E2AAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7e5151d0fc1ca64a555cb02fdb2c0495b3243e","datavalue":{"value":{"entity-type":"item","numeric-id":5950980,"id":"Q5950980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$7B61A6EE-815A-4FD7-B14B-C6DB6761504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6461ba3b0590821555f4c1a0fb7ac69702b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1105370,"id":"Q1105370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$86785B18-946E-4E5A-AC34-30FD834AD7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08eaa6c03390b94af9efd4280f970d5d0809ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$1FE7C3AB-1920-41A3-9E05-EE8FC4205226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6b76d55903ab886ab0f97b1acd3a1583f68b27","datavalue":{"value":{"entity-type":"item","numeric-id":3140554,"id":"Q3140554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$50FE028E-C6AE-48F8-A179-88763FB5F987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f257b4ce293ff91c25fc667c615f2ccc19b8a47","datavalue":{"value":{"entity-type":"item","numeric-id":1976673,"id":"Q1976673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$A9AC16CB-1F04-42C4-9E27-46F4448A0698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c8355b202bf9c3519523c6b18152787760be6a1","datavalue":{"value":{"entity-type":"item","numeric-id":1864882,"id":"Q1864882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$3D079970-321A-466F-B8C0-4D7086BB1EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$BDB31114-358A-4ACD-AC86-2FC7A458FF84","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":"Q2799562$6890EE63-9C7E-41B2-B287-60D59E5C9A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18e00bb64ddbf4e175e088e9997a52581ede50a","datavalue":{"value":{"entity-type":"item","numeric-id":1264446,"id":"Q1264446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$3EB715AB-206E-4FFE-BAA1-9B4E7F045013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98015ab635c930a8d747fc946eb3a51288d86132","datavalue":{"value":{"entity-type":"item","numeric-id":1582304,"id":"Q1582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$81FD8D4A-206E-4093-80F3-0542BC252E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcc2995060333a0e1c2ce6b961f3b9cde526202","datavalue":{"value":{"entity-type":"item","numeric-id":1963982,"id":"Q1963982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$EEFB002F-035D-45BC-B428-6AC882A0FAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799562$E0389177-9A27-45D8-8326-E66C075958E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5990c9bc8dbc08bacdd3ff246277190a3837ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":6487176,"id":"Q6487176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c05cd5b69f49275ce474e3fa6eee283fb09e78","datavalue":{"value":{"amount":"+0.8008313179016113","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":"Q2799562$D201B160-F999-439F-BCC9-E33CC54EFB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93e8340b6c41dda11e892fe8fca44b798f1fd32","datavalue":{"value":{"entity-type":"item","numeric-id":2343239,"id":"Q2343239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1050803fff72d8931d548817c83d6402e4bf8f90","datavalue":{"value":{"amount":"+0.7965212464332581","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":"Q2799562$889748D5-3FA2-48DA-9ECE-69492B9FCA4B","rank":"normal"},{"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":"c737a2ad967be5df50adaffc6f3402e52edf35bb","datavalue":{"value":{"amount":"+0.7942110896110535","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":"Q2799562$1C227498-64EA-4E8D-BEBD-1B03AF6BEFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e245975b0c6a828c2082d138200c234985593e2","datavalue":{"value":{"entity-type":"item","numeric-id":2883805,"id":"Q2883805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7b76b41265c01c1f4ba09d056a96a89cd8b658","datavalue":{"value":{"amount":"+0.7923941016197205","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":"Q2799562$11EA63F1-C8D5-421B-99B9-C9998109C5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763fb43e406e4323d20c6f39aa5aa032f7c394c8","datavalue":{"value":{"entity-type":"item","numeric-id":2307621,"id":"Q2307621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b385369e4c796ce35a2281b6bbeaa481d3f01ad","datavalue":{"value":{"amount":"+0.792298436164856","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":"Q2799562$423F28AC-7950-4550-B7CC-A3B8B85CCB83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799562"}}}}}