{"entities":{"Q1599550":{"pageid":1610290,"ns":120,"title":"Item:Q1599550","lastrevid":72295116,"modified":"2026-04-14T03:56:37Z","type":"item","id":"Q1599550","labels":{"en":{"language":"en","value":"Local box adjacency algorithms for cylindrical algebraic decompositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753681"}},"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":"Q1599550$A6403426-ECEF-441F-83B9-E28FA011585F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55db3f5abaf625fef0ccec0ea69d38aec1ed3e2f","datavalue":{"value":{"text":"Local box adjacency algorithms for cylindrical algebraic decompositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599550$F9BC8F3C-5A9C-4DF0-A736-FA51F1736661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a84a1dee418ff35f741c75a6f133ffeb04bb215a","datavalue":{"value":"1017.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599550$8F65C0A6-6746-4D14-9531-5CE2F70576F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fc378fe90dc1e0ce8df529750ea27fee2349d81","datavalue":{"value":{"entity-type":"item","numeric-id":247222,"id":"Q247222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$26886B39-5810-47DD-BFB8-89FC5B4B4203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee8aeeee6a72176125b125688231e8ed3263f5e0","datavalue":{"value":{"entity-type":"item","numeric-id":219543,"id":"Q219543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$C6F79E09-63A7-49B6-AEF9-1925A43AD206","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$9B215CE8-8E24-43BA-99C0-B0BF457C6241","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ba1d953aa735572961ec1919ce144a2600d9eb","datavalue":{"value":{"time":"+2002-06-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":"Q1599550$B82D4BE5-91C4-462C-9004-8A6F9E9F6065","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2f21ed282f800169468d32d0849ee0cc17535d3","datavalue":{"value":"https://semanticscholar.org/paper/ec40f681fa20df4cb9bfb031f527e79dfc7e9020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599550$815F7DE6-A572-4CDC-90E6-155BBC22D8E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599550$54B0C2A1-107D-4E0E-B272-EB2EA267A80A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f5be9b18d49a75d71269b281a86babab849be88","datavalue":{"value":"1753681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599550$992EDAF1-236A-4720-AA32-D17B3D24FA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80da1ac089b524ff1724c783bf68dc2db562f740","datavalue":{"value":"cylindrical algebraic decompositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599550$0FF39630-3701-4193-9303-2CDC1FBF4E5B","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":"Q1599550$6CE030E7-13F3-4264-AF5A-B1FF0688F16C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d7d5a01e12647a50867435743c2f62a07387433","datavalue":{"value":"W2043731793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599550$20BA3AE3-5B1F-4B98-B57E-59D7328A68D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3353252c66332b85832864188b9c822f70cde441","datavalue":{"value":{"entity-type":"item","numeric-id":1105372,"id":"Q1105372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$D144815A-7D40-4434-94C0-B800BC515563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$D130BED1-096B-420E-ABC0-30AD3F4C6C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8932c6379633164457c734b1cb74b69138a4101","datavalue":{"value":{"entity-type":"item","numeric-id":1105371,"id":"Q1105371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$62A08DB2-D332-4A27-8A1F-BF10013DED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e0dae2037115e9c3816d90294d9e5abd9ba334","datavalue":{"value":{"entity-type":"item","numeric-id":5633585,"id":"Q5633585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$3DB0D2D5-FC3F-4B39-893C-31D7B517BC85","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":"Q1599550$99AC9B39-FFCF-4026-B6F4-63A1254D4DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c59e09bb020d03d7c99ef70a67a6029b9fe7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4391223,"id":"Q4391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$8C1D2912-D2FD-4D40-B80A-6F766C38A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320be0100130068b2dc0b1290f4357d23b143166","datavalue":{"value":{"entity-type":"item","numeric-id":4064159,"id":"Q4064159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$B5305245-90DE-4858-9F7E-C46CCF3EC662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8332468c56cf425ddf859080eb3b69a9207db47c","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599550$37E7624E-84B0-4155-99CB-66FD01FB6E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ee618b3773e23a6fa2e4e214423537b182e61c6","datavalue":{"value":"10.1006/JSCO.2001.0499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599550$CDB16A8A-9E28-4E13-8E40-97501515E00C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4d1abd20d9b942d541fc933ac058af71f84557","datavalue":{"value":{"entity-type":"item","numeric-id":4391218,"id":"Q4391218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7d48f5eecd42a9e7e291133101161ab8e3c592","datavalue":{"value":{"amount":"+0.8946785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$7C104CED-30ED-46C9-A203-E255755D8088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63374163c0cc1c4c861adabd11106e34026f40ca","datavalue":{"value":{"entity-type":"item","numeric-id":1105371,"id":"Q1105371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e80c2b3ab87158af5907342d23015c6a1e3fd27","datavalue":{"value":{"amount":"+0.89186174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$A1137B53-7938-4A92-A4B0-C81B1DC8E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ff20adfb74fcf8120eb9c907ec768f4f960d61","datavalue":{"value":{"entity-type":"item","numeric-id":3696510,"id":"Q3696510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e80c2b3ab87158af5907342d23015c6a1e3fd27","datavalue":{"value":{"amount":"+0.89186174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$6C584C10-9471-4166-9BC0-2D72F3ED49AB","rank":"normal"},{"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":"95d9e9a0b209ae911666da56687ee8bf025e8946","datavalue":{"value":{"amount":"+0.8877197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$E331236A-570A-424F-8E90-CD3D151D4165","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":"95d9e9a0b209ae911666da56687ee8bf025e8946","datavalue":{"value":{"amount":"+0.8877197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$85CED372-CADA-4D73-817A-F01414DF94DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7743f2c3c059e95bedd48c464c0ada7ba397699c","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f0ed9dabf5bb499e2db2748914ee04f4931827","datavalue":{"value":{"amount":"+0.882573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$04A472C3-91D0-495C-8B60-E6289CA41C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5f9429111747e4bc6727294d60f7648390ed51","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a931b0c24b4071a6f5fb40597b8bd99c14fe25","datavalue":{"value":{"amount":"+0.8759278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$A0C2F398-DBAB-4AEF-B55D-A1ACEBF85F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"818ae34aa3eb5ec4b906b2cceeb080cb58bef3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4237405,"id":"Q4237405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170d7bed2468c8714013e18af168417bd5889411","datavalue":{"value":{"amount":"+0.87274617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$467E8AD9-E95E-4514-8782-5D20309DE000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b138060b7b7516c82a852b414dd7be7fc7683110","datavalue":{"value":{"entity-type":"item","numeric-id":3716289,"id":"Q3716289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ea9c65c09a7ffd623ef41963be1635955043d5","datavalue":{"value":{"amount":"+0.8685761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$D88B7094-EB0E-4309-8C90-9BB46F5782A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32ce5c8df1c3767224f2868d6b91fdad851b4cd","datavalue":{"value":{"entity-type":"item","numeric-id":1105372,"id":"Q1105372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ea9c65c09a7ffd623ef41963be1635955043d5","datavalue":{"value":{"amount":"+0.8685761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1599550$EA6B93F3-1054-46FD-9F65-396BA823606C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local box adjacency algorithms for cylindrical algebraic decompositions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_box_adjacency_algorithms_for_cylindrical_algebraic_decompositions"}}}}}