{"entities":{"Q991853":{"pageid":993701,"ns":120,"title":"Item:Q991853","lastrevid":65926137,"modified":"2026-04-12T06:19:13Z","type":"item","id":"Q991853","labels":{"en":{"language":"en","value":"A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5781046"}},"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":"Q991853$D9290833-B4FE-45A7-BDE8-9AC5532BB156","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aed711ce050fafea818022baf1f7ac0727680839","datavalue":{"value":{"text":"A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q991853$62C97E96-8B05-48F1-BA67-2D49485DC70C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c366f9ecf7cd20e7d91bcdcdc8b06f451ff8c21b","datavalue":{"value":"1195.90081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$6D1EE1AA-8A67-42C2-857F-DEE538F7F573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f8f36b0a87489c3477bae263d1c21f21295258","datavalue":{"value":"10.1504/IJOR.2010.033134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$FE9D386B-4DB0-4A4B-B2DD-A55F3A1F4E14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de67a7d59f71b6ba01cde06e7da001174beb0797","datavalue":{"value":{"entity-type":"item","numeric-id":300723,"id":"Q300723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991853$2038CFE5-C8D2-4A5A-8FA9-44EFDE4BF537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2bd575471386422f9fc77a989a2eedf0761aae3","datavalue":{"value":{"entity-type":"item","numeric-id":213370,"id":"Q213370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991853$BEED967A-AD18-4173-9CD5-D752FBAB5C28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2416e8a5c76a3e001f6e57b132d70eaeca49c502","datavalue":{"value":{"entity-type":"item","numeric-id":541285,"id":"Q541285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991853$F791F538-C932-4106-819D-DDF1266200E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e193f284f8733d439b83ddc151cf4a28e7572944","datavalue":{"value":{"time":"+2010-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q991853$2A27B843-6BE4-4FF6-955E-359FC6112399","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac04ce4293c583136ecbb53d77e6a0e2dde85167","datavalue":{"value":"Summary: A general solution methodology is presented for continuous constraint satisfaction problems. The performance of the method is demonstrated on challenging kinematics problems where the goal is to identify all real solutions. The developed approach assumes a collaborative methodology that integrates interval partitioning (IP), symbolic-interval inference (SII, a novel subdivision direction selection method) and local search. The resulting methodology aims at reducing the search space and discarding infeasible subspaces effectively and reliably during the early stages of the search so that exact solutions can be identified faster by local methods. SII conducts parallel multi-variable bisection with the aim of achieving immediate reduction in total box infeasibility of the majority of sibling boxes generated in every partitioning iteration. Empirical results are obtained on seven kinematics applications and compared with results obtained by other symbolic-interval methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q991853$7F120F81-ACB3-46A3-9298-5860E6F1E695","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$EC3416B0-D353-4011-86F6-426432A879ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$F1D2F00B-D2C3-421D-9820-F4A8B4D70F1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99a12b61a0d77471499a5108518cc4b944b9cff4","datavalue":{"value":"5781046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$5E3979D7-91FF-4576-98DC-75BC8881EA52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5121a687126cb0482c9dc3e3c464706a40bb9f0e","datavalue":{"value":"branch and bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q991853$D28B91A1-98DA-436B-968F-8784333FA137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q991853$139D32FD-FDA2-42BD-B411-5FBEB1B6FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d94357a39c8e2405c4a08050748d657c3a301a8","datavalue":{"value":"kinematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q991853$79ED598E-BA90-4CF4-8FE8-2B5777BB9712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8def73582acd3ba18df906b6f3576168bbf0498","datavalue":{"value":"interval methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q991853$2C20F49F-B995-4BA9-A3B8-FCC0D07992E2","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":"Q991853$4D4D0278-D0EE-4A77-AB6E-AD61845E0BCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e197e5c25f0c1b8032ba6feae7f9b245063bbe","datavalue":{"value":"https://doi.org/10.1504/ijor.2010.033134","type":"string"},"datatype":"url"},"type":"statement","id":"Q991853$F556AC35-C986-4A22-9CEF-CF320BF85F59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fca979a4f8fb82506a7befb9484566a5e1253889","datavalue":{"value":"W1993455665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991853$8D7C4826-E261-465D-8A38-F74DD9E7A50E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9466d73c9bbb9f3bb8dcc6669cd6ac1a365de716","datavalue":{"value":{"entity-type":"item","numeric-id":2958925,"id":"Q2958925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96906e8149711364f2203718d57ae212fa90e71","datavalue":{"value":{"amount":"+0.87349784","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":"Q991853$067750DA-4B5A-4CE4-9BF2-BEBFCE0EB644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84a7df684ae334c9fdbc912ffef4a2ad8c5a58c","datavalue":{"value":{"entity-type":"item","numeric-id":1355772,"id":"Q1355772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ca2b722ded34e629dce2139b6e39cfbca2613b","datavalue":{"value":{"amount":"+0.8603571","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":"Q991853$519827D0-C720-4DC2-BDD3-BB4D371D0D0A","rank":"normal"},{"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":"aa4f8e90b7f80b37e9bec2f906823b673bd3976f","datavalue":{"value":{"amount":"+0.8584513","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":"Q991853$D5701F41-010A-4A32-B8BB-725CFFA7B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90780fb5aef565e75a6379183a0842cfd4aeba35","datavalue":{"value":{"entity-type":"item","numeric-id":3536361,"id":"Q3536361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16d5619bf147321357f428c503578e8897fd7a8","datavalue":{"value":{"amount":"+0.8450729","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":"Q991853$34F293FB-A114-42C2-806E-2065BBB92D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f137fa95d3e3371abc748c034339d2e1bd618505","datavalue":{"value":{"entity-type":"item","numeric-id":1338341,"id":"Q1338341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f59ae22a4624272b8e4b3dc48dc25891a207fe","datavalue":{"value":{"amount":"+0.83688015","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":"Q991853$E46825E3-424B-489E-B3BE-618C8EFB3D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b728f260d0cdffccfd15afd8cc80471f0701ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2766780,"id":"Q2766780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adab044817f548b98168c869fc357e49ede52db","datavalue":{"value":{"amount":"+0.8353329","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":"Q991853$BA85D61A-5536-4FC4-B59E-EB6499CFFC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3f2ac98095e782cb58fbe6399365fae2039897","datavalue":{"value":{"entity-type":"item","numeric-id":1204867,"id":"Q1204867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab82470d33af30d4de9ac4518cfe3ab848f9e04e","datavalue":{"value":{"amount":"+0.83467966","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":"Q991853$8230A361-A831-4230-A7A3-53C616A29350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c93ef3095256023ef6d468f22eff44a84ae6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5897214,"id":"Q5897214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6921ee342806683f5ec048f37ebc43a7ab2f1e5e","datavalue":{"value":{"amount":"+0.8331379","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":"Q991853$30913EA8-57A5-4A2D-AF5A-B6EBF492A15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247693272a0eb1fd0e97fcc47d8fbc1040ac4521","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8761d79a11ac7035b8c17f6814baa4eda71fa565","datavalue":{"value":{"amount":"+0.8292119","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":"Q991853$9F58827D-8B55-4E21-93CF-2EF45896DBE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_symbolic-interval_inference_approach_for_constraint_satisfaction:_implementation_on_kinematics_applications"}}}}}