{"entities":{"Q5938543":{"pageid":8115345,"ns":120,"title":"Item:Q5938543","lastrevid":47644171,"modified":"2026-01-02T07:22:42Z","type":"item","id":"Q5938543","labels":{"en":{"language":"en","value":"Simple CAD construction and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1622577"}},"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":"Q5938543$C1151460-2400-4843-B40C-F5F38F140598","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df86b6ba9eb77aacb6d9ed08e4bcf46998b816f","datavalue":{"value":{"text":"Simple CAD construction and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5938543$06A535F4-D2CF-4744-BD94-8DC8D5D54EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63c866a7aebd1d75e3d98a3c1b5a471b488bc98f","datavalue":{"value":"0976.65023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$1C884AE6-91EF-4EE8-838C-670A966FDA01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$6B974F33-CD8E-407B-90E3-32587BD778CA","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":"Q5938543$D03BE22A-05FD-471E-A5C5-8E68E84735D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9e4445ec8582c47b6a3685025b8fe8fae25749","datavalue":{"value":{"time":"+2001-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5938543$0E8EFA29-05B2-4EB2-84D8-D275E22AAC81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad43a039c730a2d3521bda4f868b0b488c7a2d8d","datavalue":{"value":"https://semanticscholar.org/paper/bb7c5ad02587fc0bad9d5f5709502855d309f1ee","type":"string"},"datatype":"url"},"type":"statement","id":"Q5938543$CAAE745C-F022-4393-BE41-BD6F02DF49EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b6932893ebde99fdc1881c6be1b094e0fb2484f","datavalue":{"value":"The method of quantifier elimination by cylindrical algebraic decomposition (CAD) takes a formula from the theory of real closed fields as input, and constructs a CAD of the space of unquantified variables. CAD \\(B\\) is ``simpler'' than CAD \\(A\\), if each cell in \\(B\\) is the union of some cells of \\(A\\). The author presents two algorithms for simplifying the so called truth-invariant CAD algorithm introduced by \\textit{G. E. Collins} and \\textit{H. Hong} [ibid. 12, No. 3, 299-328 (1991; Zbl 0754.68063)]. Examples are presented which show the performance of this new very fast method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938543$1E5A6CF7-D4BB-406A-990A-39B06CF9EBFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e319162bca9d0671a550a3b079ee3097d720882","datavalue":{"value":{"entity-type":"item","numeric-id":210095,"id":"Q210095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$0C898EAE-7409-4CF2-8BF9-4F235515D6F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ce72165d993b0b8ed97728d731d2db2473b9554","datavalue":{"value":"65D18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$EA516CFA-9B5F-4625-92BE-F4E402776FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$C2596F2A-4989-4CDA-9AF9-56B7097432A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2edb0d51594dcdd830ce99895a67dc646185dbe","datavalue":{"value":"1622577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$6E7B9940-842C-4482-841E-0D642B389D2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938543$D4031954-253F-4AA1-A323-018594611EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938543$9FE9B219-662A-450C-AF3C-460E13162606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938543$9415B931-9621-4159-87AD-1CEB629438F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5938543$718992FB-1B9F-461D-9BBC-48BF847A9733","rank":"normal"}],"P1463":[{"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":"Q5938543$9A3B7A97-6362-4055-BBE5-563746FCD943","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":"Q5938543$4AFEC345-55A2-41BF-B8D5-D275CA2B1619","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":"Q5938543$3A85FE40-F7EE-4A06-9087-6CB2304C7CD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa62d61c62edaec1c8d048416477ba8634b175e6","datavalue":{"value":"W2097474455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$CBEC0A4B-302A-4804-B776-21F46A7C009C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efce0b9878889caead3844056dcda350b0c60775","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$C866B563-6A18-49B2-9BFF-A994F4FF8FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$8167E608-2728-4510-8792-93B3A49B2C64","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":"Q5938543$30742700-7C96-46CE-95B5-35F74A81E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b4fb149d65ccc6cbdebe305cc6df78b50fe79","datavalue":{"value":{"entity-type":"item","numeric-id":1368694,"id":"Q1368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$798C2482-8921-4E6B-A5CD-8459A60BBC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$FFE22719-6C25-4DFB-931C-D503AF500E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcf672ba756e2fbda138475d985676db9dd4797","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$8E6F7852-4C1B-4AB5-9C0F-42E7C8D0E686","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":"Q5938543$E97DFB26-649D-4860-B841-01198AE89413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aad725a38a91dce8d1e5ffa3046d8f060b52b68","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$E5CC6A9E-EC9F-48F1-AF7F-8727A990482A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5938543$8D1637DD-C8ED-4799-ABD4-80D0AD57AA3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ac9d40938f2a999bedecd23692134154f5f4989","datavalue":{"value":"10.1006/JSCO.2000.0394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5938543$45AEEE92-F901-407C-A75B-5AC0A1C89C8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11c85a4e06de2c02af7796d7ab2932b2eb5a57","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f87fcb43f439cf3d4f546a382b258063f3cc6f2","datavalue":{"value":{"amount":"+0.9260403513908386","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":"Q5938543$D2F00081-BBFD-4F55-8D12-32ACABDAE811","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":"4127b5d27a7261fec40d94290fe83de2e6143558","datavalue":{"value":{"amount":"+0.8764302134513855","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":"Q5938543$AA9C5A9B-D05B-4194-AFCA-5ADDAA5757AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df62384ff39104ab36c6e931315d4378c140267","datavalue":{"value":{"entity-type":"item","numeric-id":2963225,"id":"Q2963225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c02cbbbd8456271699621daf45f9af8c494e176","datavalue":{"value":{"amount":"+0.8731817603111267","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":"Q5938543$1C3EB7BD-97CF-4995-9F4A-A842C5313A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8093a7e2ed8b47b62195846e4a1407eb5c8ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d559b28105d9e8bffa2360539dc05551241278","datavalue":{"value":{"amount":"+0.8521830439567566","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":"Q5938543$2ECE7DB8-1BAA-47C7-87D1-7E8827A059C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275c7a92719f1f616f6e2d1958e32caf0f706955","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14dee378475bf78657058865f57c0e3944099b4e","datavalue":{"value":{"amount":"+0.849154531955719","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":"Q5938543$FB33AD2A-3D9A-4568-BD62-0F00D75E17B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5938543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5938543"}}}}}