{"entities":{"Q2963225":{"pageid":2973950,"ns":120,"title":"Item:Q2963225","lastrevid":58076229,"modified":"2026-04-03T17:16:41Z","type":"item","id":"Q2963225","labels":{"en":{"language":"en","value":"Cylindrical algebraic decompositions for Boolean combinations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6683845"}},"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":"Q2963225$6233308A-0422-468A-BB59-57308580B6DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56ad70817c9bb3cb62188845f86ebea79254cd7d","datavalue":{"value":{"text":"Cylindrical algebraic decompositions for boolean combinations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963225$C307DE4E-B0F0-495D-89F1-C09F63821CFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50f6a21cdc55f771b611df00c1b3be3157304867","datavalue":{"value":"1359.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$520D1468-FEF6-4844-948B-DDA6CC1B3076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5248a409791c9af4180b3fea59cb24b6bd2c5f88","datavalue":{"value":"10.1145/2465506.2465516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$6D1939A7-4745-4641-B3AA-A6B8A5596BBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abdd09be1ba8c89002f4d0e9d2a1eeb7b1f0b03","datavalue":{"value":{"entity-type":"item","numeric-id":247221,"id":"Q247221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963225$5730274B-5BBE-4CED-B0A3-9D794293797F","rank":"normal"},{"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":"Q2963225$7077760F-CFE1-471C-9056-8C83CD909085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"216606854761863ffc71f0942525e64754858561","datavalue":{"value":{"entity-type":"item","numeric-id":944996,"id":"Q944996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963225$631C4B18-ED38-4230-B7EF-C8DF46FD144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"840c7d35f2ce10026284ad29eddaaaa6e274a32d","datavalue":{"value":{"entity-type":"item","numeric-id":247220,"id":"Q247220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963225$8CC52966-87A7-48F1-84CF-8F1767F579CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b0df88c2850d305b9b4dc433af13eca76199d40","datavalue":{"value":{"entity-type":"item","numeric-id":1636263,"id":"Q1636263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963225$4A8CDC61-E23F-4236-A0D3-807B257A66BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec1477732eece6fa4283c42d71dc7a2b1c7097d4","datavalue":{"value":{"entity-type":"item","numeric-id":2963207,"id":"Q2963207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963225$AA6C2C18-FACE-4323-802A-D54BF423962D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ff77e7ec0010dc728a970344576af099b4bd62b","datavalue":{"value":{"time":"+2017-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963225$06818EA4-B926-4DBD-8569-9B006BE7FA4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c2dd907fcb2ed62d1594d03d257f6ec127222e6","datavalue":{"value":"https://arxiv.org/abs/1304.7603","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963225$C5875B14-911C-45DA-9B39-C0BE1C601CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"53f83fe1c5fb28dc88bd627ff249b2979faf418b","datavalue":{"value":"http://opus.bath.ac.uk/33926/5/England_ISSAC2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963225$65C5AA04-3039-4E21-BF24-0443EB512FD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$94A8A1B9-49E2-4F80-A7FB-462D203ABEE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf9e9c8cc050c4b2f2f98192d1438da3fe14bf78","datavalue":{"value":"6683845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$2CE0F9D0-E1F7-448D-B31C-E36DDCF79686","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963225$098BA5DC-F0DF-4594-B186-261751E80C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1999ab392fc1875458c1494b0fa2b06c2e0d3e44","datavalue":{"value":"equational constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2963225$8B3248FA-3190-4C2D-BD97-E0924BAD730B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4992888c9a8cc832135de5a7f9c71ce6708d5052","datavalue":{"value":"Q59590588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$61102042-D4C5-45A7-9C37-BBBD40C0DC16","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":"Q2963225$DD4B8DA4-BD79-4529-B088-9351520014E9","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":"Q2963225$6948CDC0-8880-42C1-BE0B-429FFFC7E4A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24cb3a2a24ee1e27c701a5ac94f7334e73d91346","datavalue":{"value":"W2113881937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$80F5B702-417C-444C-8ED7-15157701C6B0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"43de7dc2821cc87af66d8f0ba7faf43bb3c55ac5","datavalue":{"value":"conf/issac/BradfordDEMW13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963225$778059E8-E413-4BB2-AE47-877689874CE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cdae0f14036e3f78d393442380285918b3f16e","datavalue":{"value":{"entity-type":"item","numeric-id":5963392,"id":"Q5963392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5ac771a2d0d18927d8e6146c4b3b1ac268ac85","datavalue":{"value":{"amount":"+0.9414451122283936","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":"Q2963225$BC204DEB-51EB-4A8F-8756-675E2983AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e9b5a2d1f48d1ea2be0ac5ee927d89a7cdf99","datavalue":{"value":{"entity-type":"item","numeric-id":2879312,"id":"Q2879312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe65e6b9581811daded407e94cc66a8849e24075","datavalue":{"value":{"amount":"+0.8701596856117249","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":"Q2963225$AA8C91FF-20E1-4DB1-BF71-A25F6372EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225620e39fd9fc8e81e150e4800768481366bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5495913,"id":"Q5495913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f578527f6758e04c8972c2d907f354f9c72be8e","datavalue":{"value":{"amount":"+0.8698105812072754","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":"Q2963225$2A1E4F2B-7F44-4728-B874-EEA3F01603A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36671378ecaaf2cc362bc5bf81f5b9611b3ddb87","datavalue":{"value":{"amount":"+0.8566765785217285","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":"Q2963225$62568B2B-A1ED-4011-8AE6-78E3A97E1CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004dff7e6556c36d6ac3e919cf37873b9b94adf","datavalue":{"value":{"entity-type":"item","numeric-id":5938543,"id":"Q5938543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1b7d73a9316438bfa2d884d74629e90b9417ec","datavalue":{"value":{"amount":"+0.8543463945388794","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":"Q2963225$F38633DF-914C-4991-A592-BFD1851E71F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963225"}}}}}