{"entities":{"Q1589579":{"pageid":1600319,"ns":120,"title":"Item:Q1589579","lastrevid":67934151,"modified":"2026-04-12T20:19:59Z","type":"item","id":"Q1589579","labels":{"en":{"language":"en","value":"Sketch-based pruning of a solution space within a formal geometric constraint solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542351"}},"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":"Q1589579$BDA3EE0E-9A72-4339-813E-BC64BE9AE88D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e16b50af6c77274a73f9947a3cf23e2b65f4a4","datavalue":{"value":{"text":"Sketch-based pruning of a solution space within a formal geometric constraint solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589579$DF29D22F-2767-448A-98F9-F7B7D5411473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb14bc0405886e090f74710be11d980ee72a35b5","datavalue":{"value":"0952.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589579$93404227-00A2-4265-93A7-18EEA656A3E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"596a296f9ffc5749f890b1d55e3ea901c7d47904","datavalue":{"value":"10.1016/S0004-3702(00)00061-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589579$3DEBEAD0-9F45-4E31-A340-633B40B7A23C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74fe0f3625819351e8f3b048d532f6799884f8b0","datavalue":{"value":{"entity-type":"item","numeric-id":1589577,"id":"Q1589577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$F59E5121-E887-4958-9AD6-EED0640DA96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f67aad00a911cdfd4a5f73b3962a1f5be1f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":294371,"id":"Q294371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$6F5FCC8E-3E4A-4A32-9836-19237AAB1B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9642534f304d9a98032df7352635c1aa31c0f2","datavalue":{"value":{"entity-type":"item","numeric-id":396465,"id":"Q396465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$79418DC6-5EF8-434C-ABE0-4F5D42A008A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$A4393229-3397-43A9-950B-B1A23C2AC87A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-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":"Q1589579$E920A8C9-0CC4-4A3B-8465-D526804588D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51daabcedecb661f561fb55992d115391a969fc8","datavalue":{"value":"In CAD systems, formal geometric solvers enable the designer to draw a sketch and to provide constraints that are compiled into a construction plan by symbolic geometric reasoning. Then the plan is interpreted in order to generate the required figure. In case there are multiple solutions, they allow to scan the entire solution space. But when the number of solutions becomes too high, it is very time-consuming to examine each of them to determine which one is the closest to the user's will. In this paper, we introduce a sketch-based heuristic that enables to easily eliminate most of the solutions and to keep, among a solution space represented by a tree, only one branch, or at the worst a small subtree of solutions, that has the best likeness with the original sketch.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589579$B5087B16-B04F-4F68-9089-AE847DB7FC5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589579$4E5FC8F8-FDE0-4955-9623-27F015AC9374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589579$C6A2E51D-D4FB-48DD-9454-A29B55567896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db26999e18ddfb6d94c46b54609942a987539b10","datavalue":{"value":"1542351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589579$733DB8E6-75F7-4D5A-AF2A-0BFDA7429799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a300b57b863e6ea22573cce2f6686977a7f84ddb","datavalue":{"value":"formal geometric constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589579$F91DF291-ECEE-4A60-A1DB-871ED510341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e645d77b4dc36e251ce3084420053c5a23fb1b","datavalue":{"value":"symbolic constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589579$619908A6-B58F-457A-9072-3C592D49A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1960216763d1f58340c3a6424ad60a490cff1976","datavalue":{"value":"tree pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589579$77608A30-9C63-4334-8D50-E8EBA0D52ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a32771fdcf706d822bd0af348c97c5ff6aa15","datavalue":{"value":"computer-aided design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589579$EEBCB8E9-EE3B-4578-BD50-2A3CE52DD67D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74d8f9b56a1ba4985a11f7cb571132c3e5da4bf5","datavalue":{"value":{"entity-type":"item","numeric-id":18363,"id":"Q18363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$D16E8F8B-F95C-4405-8428-6F9497BAEE85","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":"Q1589579$CB48A6C1-EC26-42CC-BA80-E2D3B9684198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ef16081e76e9a16c87b100a09db0ce7ebc3ac","datavalue":{"value":{"entity-type":"item","numeric-id":1902408,"id":"Q1902408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$2A4A7FEE-0F36-4778-998A-CC55EF2B9CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ba229bda11838e0429b9fd16063386eee9f6e0","datavalue":{"value":{"entity-type":"item","numeric-id":3804232,"id":"Q3804232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$8BB2F71E-E0D1-4FD7-A6C4-24806DD3034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea1dfbd8054430358e470eb1a9393a895364157","datavalue":{"value":{"entity-type":"item","numeric-id":1128611,"id":"Q1128611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$3328F284-6D38-48AC-99ED-B44871AADDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fd2af623bb5d63010ae664d395ec9628d797b7","datavalue":{"value":{"entity-type":"item","numeric-id":1400772,"id":"Q1400772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$29BE457A-5FC0-4451-A97C-A34A920D1E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6888cfa1496df9460b69e5d45d1d4e102a991eab","datavalue":{"value":{"entity-type":"item","numeric-id":1115574,"id":"Q1115574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$E2C4A794-3070-4CB7-B68D-826C1E3DD617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$D4C974AF-3D9A-4EDE-8428-F1EAB37F0909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611c1761c4972c1da31f441c3e0a540a1db05f99","datavalue":{"value":{"entity-type":"item","numeric-id":1846745,"id":"Q1846745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$279D3A09-D113-4646-A3A1-79551AFC4CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47339c203f2caeca7aaf6f50ad90b5a89b480b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4837115,"id":"Q4837115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589579$ADE83C6A-9C1E-4DFC-AAB7-0DB18E17847B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0de60c3c0bd1882559f0a4b2c61c22496592a2","datavalue":{"value":{"entity-type":"item","numeric-id":4386951,"id":"Q4386951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061a8a7129a07de891289b299e3e585e78c253af","datavalue":{"value":{"amount":"+0.8723259","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":"Q1589579$F6858987-E64D-41BF-BCE2-EB05E081E400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f888ea85643b48e33524556c0e788661332693b","datavalue":{"value":{"entity-type":"item","numeric-id":968304,"id":"Q968304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33307c30c74d6c33b30f18283e27401a9dd53566","datavalue":{"value":{"amount":"+0.84926426","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":"Q1589579$8E7CDD2D-D68F-470D-AA78-38BB911707D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76a0e786bab34ce24978c467fe7697e0ccc8b74","datavalue":{"value":{"entity-type":"item","numeric-id":4914754,"id":"Q4914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca8e461b75c1b68bba44b9dfda943c9d1ecd714","datavalue":{"value":{"amount":"+0.84445864","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":"Q1589579$78F7E971-B04F-4323-88B4-68F36A3E3CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0052b6aeb3d8a928f5d0874279cf7493133e490b","datavalue":{"value":{"entity-type":"item","numeric-id":602905,"id":"Q602905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbda2981f1e5f959c9d78b91242c8345f3f8e234","datavalue":{"value":{"amount":"+0.8435643","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":"Q1589579$3C5D2429-86DC-4491-BB2A-E3530BA704C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb13333d495257ae5950a19b6b1fd344461a1c1","datavalue":{"value":{"entity-type":"item","numeric-id":1400772,"id":"Q1400772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5c3c3a2ac728c51457243dc7aaefe7fb0b9fa0","datavalue":{"value":{"amount":"+0.8353021","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":"Q1589579$D1D52A39-6E0D-4FF7-9AD9-60D4F2890270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac5aef1ae7380a392a8bb95218c060c1686a296","datavalue":{"value":{"entity-type":"item","numeric-id":5950295,"id":"Q5950295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620bbdb9a9fd1b51d3789d35b4e268864b96e9cc","datavalue":{"value":{"amount":"+0.8352781","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":"Q1589579$BA3FF1C1-B79E-4916-920B-C2929833A27F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sketch-based pruning of a solution space within a formal geometric constraint solver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sketch-based_pruning_of_a_solution_space_within_a_formal_geometric_constraint_solver"}}}}}