{"entities":{"Q918227":{"pageid":920075,"ns":120,"title":"Item:Q918227","lastrevid":65371179,"modified":"2026-04-12T02:07:27Z","type":"item","id":"Q918227","labels":{"en":{"language":"en","value":"Geometric reasoning with logic and algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157907"}},"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":"Q918227$07AF3094-0256-40A2-A5C7-3DF0826C8615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f50f91ab275a5567baea768409374e31eaa0b61","datavalue":{"value":{"text":"Geometric reasoning with logic and algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918227$69B5005E-1C5E-4CB3-BA50-383B7523E99A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa325e6d6d3581b58290fbd2de26f65747a11d85","datavalue":{"value":"0705.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$0BA5D620-2A47-49AA-85AC-67B82CD3C3FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec20b7d916e7297fecfdf1b103c686bf57b9a60","datavalue":{"value":"10.1016/0004-3702(88)90049-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$7F020040-8493-437D-86B2-20A6173D3586","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd37772446b2124323468c0e01222e1ca3f577b","datavalue":{"value":{"entity-type":"item","numeric-id":918226,"id":"Q918226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$47CD109B-5ECE-4459-8A83-353A4C69212A","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":"Q918227$F8520E72-4621-4786-989D-0C155A8BB24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918227$0374DEFF-3F64-4652-AAE4-D81B08BC1E34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a48a725314bedfab2c97d4844980a1603e2302ec","datavalue":{"value":"Results of computational geometry from the point of view of logical reasoning on geometric bodies: planes, balls, cylinders, etc. are surveyed. The formalization of this reasoning is carried out by means of logic of the first order with functional and predicate symbols, relations, logical and object variables and constants, logical and quantor connectives defined on a set of real numbers.    The geometric reasoning formalized in first order logic is concerned with the solution of the following three basic problems:   - request for a set of geometric bodies satisfying a specific property represented in the first order logic;    - formulation of the characteristic property which is satisfied by the given set of geometric bodies;    - construction of a geometric image of the geometric bodies belonging to the properly specified set of bodies.    Theoretical aspects and practical determinate algorithms of solutions of the above problems are examined from the standpoint of applications related, specifically, to the development of modern CAD systems.    The state-of-the-art and prospects of further advance in research of the field in question are shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q918227$0B2E3A6C-9FCC-4A89-A509-5EC0628D69CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$2E594DDE-2E72-4954-8C25-E4BA95D32FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$A1E6D14D-C326-4C11-B405-BD599A29D13A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ad707d5fdcce9e657d7a973567ece4f6a0f250","datavalue":{"value":"4157907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$DE94F967-7EC5-4C3D-A663-7D784B95CAE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551d108313cfab3a77b395a647aede7021169ebd","datavalue":{"value":"computational geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q918227$887E34E9-71C8-4AD2-B6C9-6E6C74ABE31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff11282fdd622f799a51a72a44cda347d9eb5cc","datavalue":{"value":"geometric reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q918227$4AE68DC5-C4E9-4A30-A0F9-B5110596DE7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$58012281-B3DA-4C34-9EA7-B6369E3BD7EE","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":"Q918227$5CC4075E-2310-4332-81DA-D1D1F65D73C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93a5a29d965361ca15cf0365695e1927cb35a850","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90049-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q918227$74399804-5BF5-41F0-A01B-2818ECEF8224","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"203414632e90ba1a81333ddc92e6a86201e2326a","datavalue":{"value":"W2074940496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918227$6C1C2E30-24F9-475A-B68F-FD952F34A9DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41051b8a6ed2016d602c4aa84a6aac0c3ffa8ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$33A259FB-C19E-4B63-AF45-9705D18EC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$334B5F15-83D5-445E-9295-38C060F69589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee424f0cac0dfc291816147957449d684452d75","datavalue":{"value":{"entity-type":"item","numeric-id":1102744,"id":"Q1102744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$59A260A8-7A69-4C77-813A-1BD04AE9290A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb7dad52da090c24569f6c3e439a79a93b9549c","datavalue":{"value":{"entity-type":"item","numeric-id":3742730,"id":"Q3742730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$716EF6D4-5376-4337-ADCF-9D6CFD1084E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$021B5556-3DA0-47C6-AD16-EDA2CB1522FA","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":"Q918227$725F7686-6C5E-432A-B053-F22F2FC92810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438cd3110c6cc6b7889523e1e71ae4632de5b0ba","datavalue":{"value":{"entity-type":"item","numeric-id":3316585,"id":"Q3316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$7FA53100-B8ED-4970-AFE2-041789DAA883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7a9701fa22e26e9eae28cff4cdbe54244d7b03","datavalue":{"value":{"entity-type":"item","numeric-id":3958439,"id":"Q3958439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$47CB6B18-103C-4AE5-AA72-49AF3AB61B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68a8fa986df28b1ab7723feb18f1c0da1b2d829","datavalue":{"value":{"entity-type":"item","numeric-id":798716,"id":"Q798716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$1D96F2F0-CE8B-45BD-9ED4-8617D1208890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b020960f9d13a57812baf23672460da76f8a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3736435,"id":"Q3736435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$335A4807-C9C7-4974-BFC9-8D1B23DBBC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$801647DB-DEAC-432D-AADC-3E16BE35211F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141fe81459205b7ba7b7a01cd328cbaddcde6442","datavalue":{"value":{"entity-type":"item","numeric-id":1115642,"id":"Q1115642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$BCCF5C78-A715-42A0-8282-806A2C4FCEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c1353552771c76410cfe34ccaefc15ebfda51a","datavalue":{"value":{"entity-type":"item","numeric-id":1118424,"id":"Q1118424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$339A7F84-A854-40CA-94EB-841CEB2C299A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d6b89375009d9893382530a22ee13eb937499","datavalue":{"value":{"entity-type":"item","numeric-id":4185425,"id":"Q4185425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$9B842294-A845-4E32-965C-D4DF66A8CB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884881c81877922b5a47ae00d9a8432eef7d6a66","datavalue":{"value":{"entity-type":"item","numeric-id":1104314,"id":"Q1104314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$D3FBA40E-9BA0-41F9-85EF-455C49CE77B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c433cbc0bb084950ec8a2870c1d6dfbdbf28c5","datavalue":{"value":{"entity-type":"item","numeric-id":3697106,"id":"Q3697106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$4AF48616-B44B-4C76-A7D4-F13DCE6EA49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8332468c56cf425ddf859080eb3b69a9207db47c","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$DE956A05-FEF9-4C8E-B1C4-FA4B94FDFBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918227$87E24E64-CB2E-4F0D-A044-FF30055E421D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4102e871cc2f112302fcae5d8f31081d35fd630","datavalue":{"value":{"entity-type":"item","numeric-id":5116328,"id":"Q5116328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527a5ca67cefc698808fba0c82d5cbff85bb6f8b","datavalue":{"value":{"amount":"+0.9254617","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":"Q918227$CCF0B3DA-9FFE-4191-A6B5-C21157FE8F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f686f34edc75d708271d57b58f4658b048b7c1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3331266,"id":"Q3331266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72398a6c4c7fc75c6d1484f1efae7b0713b78171","datavalue":{"value":{"amount":"+0.9141482","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":"Q918227$328E95A7-04D2-4EA2-92A6-AEA17777A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c256c57ec2fc26555da77ba441c51abdf07c140","datavalue":{"value":{"entity-type":"item","numeric-id":5172149,"id":"Q5172149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82137ab16c6be4bf5912745af9df60086fdc7b6e","datavalue":{"value":{"amount":"+0.91149807","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":"Q918227$9009008C-AAED-4003-B33F-D7D138E8DCF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Geometric reasoning with logic and algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Geometric_reasoning_with_logic_and_algebra"}}}}}