{"entities":{"Q1115574":{"pageid":1126323,"ns":120,"title":"Item:Q1115574","lastrevid":66764649,"modified":"2026-04-12T12:42:07Z","type":"item","id":"Q1115574","labels":{"en":{"language":"en","value":"Modular algebraic specification of some basic geometrical constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4086994"}},"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":"Q1115574$3CF120F9-7BF6-49D5-8D71-8FA1D11A1180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6723f53db8b1589b931dc7fb205227403c1d3a9b","datavalue":{"value":{"text":"Modular algebraic specification of some basic geometrical constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115574$4A88F610-7339-4B57-A3A4-CD1B7DA6B286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5bae8c5cf0f95afea6e39ff7a7fb7f740a5d86d","datavalue":{"value":"0664.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$5D3B8E10-94B5-4DDE-8139-00F59D5888A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d5b9fc973b9959718ceec087e55b89918de9262","datavalue":{"value":"10.1016/0004-3702(88)90052-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$AB8FA3DD-E5B6-4086-AA8A-38953C5696BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$4468988A-AFD7-42E6-A421-2F8AB548B565","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":"Q1115574$348D6657-79C4-428E-97ED-D43D427A61D6","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":"Q1115574$FDD6F65D-6CF0-4C0F-A747-0B3EE99C3D5B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3df447d873ea690747d274fdb35e0dbc54863a77","datavalue":{"value":"Application of the algebraic specification method to plane geometry is investigated. The basic constructions such as the line through two points, the intersection of two lines, the circle through three points, and the tangent to a circle through a point are specified in a variant of the OBJ language. The real numbers are required in geometry. However the reals are an uncountable structure, which therefore cannot be specified with initial algebra semantics. Luckily all the geometric constructions given in the paper only need square roots of nonnegative elements and thus may be specified in a conventional way. The paper indicates how a rigorous semantic foundation in equational logic can be given for many techniques in knowledge representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$E00512ED-7A63-43C4-9070-4EE354F3F900","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$D7104D44-E3A0-46D2-9F90-E48E31D22A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$A688727A-B5A6-4E3E-8A96-A26B4B5A4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$BFA78EE2-BF7E-4DCA-ADC4-2BD5AFBD52BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$DE99D9E5-22A9-445A-8F89-EB7ACFD072FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b532df46e55bc0a5465944172c27081e555822c6","datavalue":{"value":"4086994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$CFF66723-6A19-4FDF-B353-7528D9A507D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$2CEB55F0-4A45-4C69-ADDF-AF87805C1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f35f5ee4f2bf29b0e4b223c0a2b2b2b81321ec7","datavalue":{"value":"plane geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$C13706F4-72F6-427E-A77C-671960B51139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ab364a0db631b6e8eeb60ba7c53b72e073dc62","datavalue":{"value":"OBJ language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$526027CA-3826-48D1-A8E4-07A2C0820A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$781AC719-20E3-49B9-8D96-CDC79D5B423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5434d942f370bfbc918484677b0fff5b9d3ab49e","datavalue":{"value":"geometric constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$3E01D2ED-75C5-410A-9A99-8CEFF4FD4919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$274838A6-588F-43A8-9105-F3A90CA17D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115574$9A960C81-3CDC-49DD-BDE8-2B4E32A3A59A","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":"Q1115574$B9D451A4-874C-48CE-BE63-0E12CAD0AF99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e73ada07913f85a854bd25a5e48cce0d24befff6","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90052-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115574$81D33D6A-2357-4F99-A94E-6221AD2D74CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be2685ff6d0b1795659b7d7e9fd726db00e528b0","datavalue":{"value":"W1964840612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115574$6DBDB77B-427A-4B06-B398-93C4FF1286DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$87A57B7D-886B-4C79-8DF2-422EC4E97E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$6D9CE284-841A-4E7F-9510-84CABC1D6674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$C1B9CB0B-EC68-41A2-964E-964C68BD382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62284628c42c293f74cadd19ba3d65356619b030","datavalue":{"value":{"entity-type":"item","numeric-id":3334970,"id":"Q3334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$801DB579-19BA-4A43-826C-340982DD5FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$2A6356D4-6CAF-41FA-8EF7-D721FCE02CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$EE73EFD5-896E-44DF-863F-A3A96267BBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$1AF06B98-5FA0-459A-A96D-1A603CE4BD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$BE316187-A6B5-4C71-A209-945DBE47FC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88611f33a1bf3cea41b284281a7a4d69934a2bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3943975,"id":"Q3943975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$3F5D88AE-5A03-4202-ADB3-DFA237BE8B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$3D0F45B4-5A47-46A3-97AF-8D0207C4F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6da331e810a932dbfb0f056c5c8b01e6d9d2c37","datavalue":{"value":{"entity-type":"item","numeric-id":4127984,"id":"Q4127984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$7062649E-08EE-40E9-AF8E-90A0D04B1338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$0854645C-492A-4E4F-BBA7-ADD21206918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb44cd2081987117787722038de1d73218dd23","datavalue":{"value":{"entity-type":"item","numeric-id":4178511,"id":"Q4178511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$6805FCAA-5F32-4C53-8FB9-42BAFAA9888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$07E0B8C6-AE69-47AA-87CA-F3A1BD1D7765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$4F0D04CF-FF6E-4E9E-B649-48D523F67DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115574$E507376A-21A7-46C3-A3E5-CCE8734F84E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080bd153263d9b3dfac51fef6b4d006b01d9fe1e","datavalue":{"value":{"entity-type":"item","numeric-id":5044726,"id":"Q5044726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d07a2855aabb0c6a4bfbc0bb72124febdf966a4","datavalue":{"value":{"amount":"+0.7874356508255005","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":"Q1115574$9E96CDE5-08BF-4867-A3C6-63B9DB4AF39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26650819c2807b30875bc87aa7ce019a120c6822","datavalue":{"value":{"entity-type":"item","numeric-id":4692569,"id":"Q4692569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e5b39dc4dde19800a03db6dcacd2438d652ee3","datavalue":{"value":{"amount":"+0.7524006366729736","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":"Q1115574$E7AFC511-7CA8-4417-96A6-E0A6944535B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca9193378905305e49f09d48ac0726d19f840a1","datavalue":{"value":{"entity-type":"item","numeric-id":918227,"id":"Q918227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb1524ba163accd10471964a06d1632a25f2afa","datavalue":{"value":{"amount":"+0.7380553483963013","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":"Q1115574$B3F8EDCF-5CCC-4276-A4ED-95E3E6FE09F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471606373a21413f5e2b438351ee84247b5628d","datavalue":{"value":{"entity-type":"item","numeric-id":4946079,"id":"Q4946079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9233a012fd90a734a10efa5b2a590ca507476a78","datavalue":{"value":{"amount":"+0.7341045141220093","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":"Q1115574$A8CFA8A0-B76D-4FAC-9BEC-CF6EE9064C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7224747398cbdf6639c20ca4da52c5f24ad9085c","datavalue":{"value":{"entity-type":"item","numeric-id":2849504,"id":"Q2849504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdbbb39d30c5ccacd8d5eef190891c36e9ad729","datavalue":{"value":{"amount":"+0.7232086658477783","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":"Q1115574$756369CE-4904-4011-9825-0C1F75BDEACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular algebraic specification of some basic geometrical constructions","badges":[]}}}}}