{"entities":{"Q1607293":{"pageid":1618033,"ns":120,"title":"Item:Q1607293","lastrevid":74205354,"modified":"2026-04-14T18:57:14Z","type":"item","id":"Q1607293","labels":{"en":{"language":"en","value":"Foundation of a computable solid modelling."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1774166"}},"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":"Q1607293$55CB103F-D598-4D72-B080-AE85592E1E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06e54833765299b3d80edfead448b6b6b7ae6964","datavalue":{"value":{"text":"Foundation of a computable solid modelling.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607293$51ABE34E-CA0D-44E6-B4DE-20F97A241017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"771e16bc1b2f915024a939c5a2224e815a193926","datavalue":{"value":"1042.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607293$4FEEF2EF-4893-4DFF-A01C-0287B74E3F41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f0a6fa35dbc354f859a4ab9c7f7531248dc695","datavalue":{"value":"10.1016/S0304-3975(01)00091-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607293$E12664D5-F801-4270-BC0B-D76B42996462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89b85073cc702d9235bfb4bacc4df7d4f53a93b","datavalue":{"value":{"entity-type":"item","numeric-id":483297,"id":"Q483297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$D55EBEE6-05F9-4190-A6C4-981F0CA7845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"810bb8d0855d94615d5b5f2253dfbef1940a05da","datavalue":{"value":{"entity-type":"item","numeric-id":625195,"id":"Q625195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$27AB0DE1-CAC5-4FD4-974D-E4C1E08449B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$C133C01A-83FB-4DA3-A05C-5E8D029E7F5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f00cb3fa95ac38bd620d58528eb98b3b3d8394","datavalue":{"value":{"time":"+2002-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607293$943F652C-C14C-432D-81AD-19A4F6601E04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5a3b4df10ac22f21783f9bcf37178ff39253700","datavalue":{"value":"Solid modelling and computational geometry are based on classical topology and geometry in which the basic predicates and operations, such as membership, subset inclusion, union and intersection, are not continuous and therefore not computable. But a sound computational framework for solids and geometry can only be built in a framework with computable predicates and operations. In practice, correctness of algorithms in computational geometry is usually proved using the unrealistic Real RAM machine model of computation, which allows comparison of real numbers, with the undesirable result that correct algorithms, when implemented, turn into unreliable programs. Here, we use a domain-theoretic approach to recursive analysis to develop the basis of an effective and realistic framework for solid modelling. This framework is equipped with a well defined and realistic notion of computability which reflects the observable properties of real solids. The basic predicates and operations on solids are computable in this model which admits regular and non-regular sets and supports a design methodology for actual robust algorithms. Moreover, the model is able to capture the uncertainties of input data in actual CAD situations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$15AF648B-F6E9-40BE-860A-5EB7C10EA231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607293$B395DBD3-76F1-45A3-B6C9-14DA724AAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607293$8B169E61-FB4D-4249-8CD2-043FBD07FB4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9445ee96ea30b241f33ab930d5f1b33a3fb2a84","datavalue":{"value":"1774166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607293$449FEF4B-2329-4C11-A6C5-95BD5776BDFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a5af2f35545bd7c809e39209428b73d8507688","datavalue":{"value":"Solid modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$1C72D0E2-4EB7-426B-8F07-C5ADAD15AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc781d819cb6e5e9ffc8acf7383c76be919d5760","datavalue":{"value":"Robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$3F4D5FE2-AA1A-4E8E-B724-D1E6FFD0C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d29baa4b58752aaf74cc7fa2336a0b54b035fdb","datavalue":{"value":"Model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$44EB0526-793F-4779-8309-B14FC404A959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3e9677d66ceefa453568c158b067cad6510230","datavalue":{"value":"Domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$1B911D55-EC4B-41FF-A4C7-9047083C767E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43fad87ee75d833443194a294914e2bb12af2355","datavalue":{"value":"Turing computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607293$042597E0-59BF-40DE-999B-5D489B57B0D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d7950f01425e7e9f7da214e3be0764705999c0","datavalue":{"value":{"entity-type":"item","numeric-id":13087,"id":"Q13087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$064CFB19-34BF-45D5-8BA0-385CA38E95C1","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":"Q1607293$2EA13560-8B41-4ECD-A04C-8A3ACE2D2AD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$81329F59-A025-44AF-860D-82AC19ABD57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$9CA9F425-77FF-419B-9F6C-4BBACF0722C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1964b6d7574b7fd447b27d78522de370383c9e03","datavalue":{"value":{"entity-type":"item","numeric-id":1894423,"id":"Q1894423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$886D5616-2D1A-4A4E-916B-45722CF9E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b31b575e47dfd1d659e1854ca22dd1d3ed3e39","datavalue":{"value":{"entity-type":"item","numeric-id":1826625,"id":"Q1826625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$AF200C2A-B00C-44AF-BB55-07C38A71E2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f583bfb838bb3bece0d3f05ed8f7931227a6","datavalue":{"value":{"entity-type":"item","numeric-id":4936141,"id":"Q4936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$F7D9E668-E156-48F9-B9C3-A48C54DF7A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3169539cbe11c3f3329a40e2d9b9929885895f","datavalue":{"value":{"entity-type":"item","numeric-id":1292398,"id":"Q1292398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$2442234E-F183-4269-AA29-71A2CCAAFB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a0522e40b3f38a37a0d8fbb82123d5e512c91c","datavalue":{"value":{"entity-type":"item","numeric-id":687967,"id":"Q687967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$E12996AF-773D-4BF6-BEB5-F338E77CF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d4c9bdb45ada7f20843902df0bd5450e3fc57d","datavalue":{"value":{"entity-type":"item","numeric-id":5520521,"id":"Q5520521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$8C4C62CF-982A-4FC0-A50D-2778B027449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf8fce194931bc435ab16e57b896d0642d1b35","datavalue":{"value":{"entity-type":"item","numeric-id":1898475,"id":"Q1898475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$E1DA7B13-23BD-4979-92D2-3A2E9B404BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a3815d09d256182bcf9f5cf34a359fb93d0d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$097371AD-3898-4811-B014-322590A2B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94d3dbba2f73147f7aee4eef1dd0b5763633c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1292403,"id":"Q1292403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$94868139-A429-4ACF-821C-931E4AAC7019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b24c55fd9aae0a53fe4df2d340bc389c3aed8af","datavalue":{"value":{"entity-type":"item","numeric-id":1274807,"id":"Q1274807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$40C01752-E261-4FEB-A505-4C98927FF616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$8A254013-AB42-4D11-9834-7B7151F06A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14dd23e439d8a5676d55733e6e6fc2f64720ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1073022,"id":"Q1073022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$8F21D2E3-0706-4E78-8C28-75BE7C549214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bbfa2750c080ec67d6b7bc35b58e0a9bc36c96","datavalue":{"value":{"entity-type":"item","numeric-id":3694703,"id":"Q3694703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$A860C051-73E3-4000-B4D4-FDB5EEC72110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029b2a577f00f600436658245c7e91da1f2aba49","datavalue":{"value":{"entity-type":"item","numeric-id":3812231,"id":"Q3812231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$6053A47A-6C04-4024-B70E-7DD584F2615A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$BF3D127C-EE32-47F5-B875-E9BC751BCD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523fc8a4382670dbaf95ddd08cf6de19314c7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":3751553,"id":"Q3751553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$9A564B2A-3819-4C40-9B9C-5939BCBF2094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41dd6dc130a4f462362dcd083c9ceba10064d3fb","datavalue":{"value":{"entity-type":"item","numeric-id":4217582,"id":"Q4217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$6E67BFE9-B0EE-424C-A9D4-363A815638EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101890c7b769aba224defc8c7e3b00119bf5350a","datavalue":{"value":{"entity-type":"item","numeric-id":1607293,"id":"Q1607293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607293$0BC6E3F6-9B83-485E-952A-56BCBEFB87F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f263d93fbe1eb8ff5ed44cfe36f5898684c3b70b","datavalue":{"value":{"entity-type":"item","numeric-id":5393346,"id":"Q5393346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49aecc57274ce08dadbd0302d3a840d19e2bdb3","datavalue":{"value":{"amount":"+0.8483044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607293$60FC853E-0774-4AB5-9FCC-2D756DE86F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219b50b89930e34b82e55926f61e72c2ca0d429e","datavalue":{"value":{"entity-type":"item","numeric-id":3204070,"id":"Q3204070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef05f6c42a582ca13ecafffabd5820169390374","datavalue":{"value":{"amount":"+0.8421416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607293$768B8B97-A452-4DBA-B8B6-92544AA83676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad69cd968dfc218f37b599a5a52c1fe3169190a","datavalue":{"value":{"entity-type":"item","numeric-id":4867862,"id":"Q4867862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aeb07d0daf85f7c3dfc14cee2c46433122258e","datavalue":{"value":{"amount":"+0.837652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607293$9066B7AD-3BDE-4E2F-8201-C88AA4921B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bfd902c6427dce98583b428db0b7f7032ce993","datavalue":{"value":{"entity-type":"item","numeric-id":4289050,"id":"Q4289050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5a99c37ce7f2779e5995ca5c0d822a8f9019ee","datavalue":{"value":{"amount":"+0.8300797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1607293$DDC5559A-AE97-48DB-ABFF-78BFACEB2F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundation of a computable solid modelling.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundation_of_a_computable_solid_modelling."}}}}}