{"entities":{"Q685375":{"pageid":687224,"ns":120,"title":"Item:Q685375","lastrevid":47188885,"modified":"2025-12-31T23:10:21Z","type":"item","id":"Q685375","labels":{"en":{"language":"en","value":"Using geometric rewrite rules for solving geometric problems symbolically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417328"}},"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":"Q685375$3FBF047B-6E46-451D-B461-667966CF396E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f95353807e711b7ef6c4e8e769a6dfe3833ef180","datavalue":{"value":{"text":"Using geometric rewrite rules for solving geometric problems symbolically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685375$0081E848-3BD0-47FE-8416-9A18AECAB23D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1772004d3bf594f68dada49ff972e9f790f699e5","datavalue":{"value":"0795.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$B88837EA-C3FD-42F9-BB2B-F46F2473A7F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c5311b27fb4244aaf795e06eca83c7b9d42fa5a","datavalue":{"value":"10.1016/0304-3975(93)90324-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$D2B9CB1F-6B03-4E93-9E0D-3DBC2777012E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1241a0592a224a73d5ff6c17befdbdec68a67339","datavalue":{"value":{"entity-type":"item","numeric-id":685374,"id":"Q685374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$FB558C36-A6DF-4C98-8EEA-B6BECC8DD5C8","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":"Q685375$C74056F5-8CF3-4D37-859B-BBE5015BCD8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685375$8C3748C5-7B88-4236-8215-29C9F233594A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31c83da253ac1d322e039856be4d387009017bdf","datavalue":{"value":"The paper develops a rewrite rule system operating on geometric predicates. The system is able to derive symbolic prescriptions for compass and ruler construction of configurations satisfying given constraints and to reason about congruence relation. Completeness and termination of the system are obtained by making the set of rewrite rules locally confluent and by introducing a simple, well-founded ordering of the terms of language. While the system is not fully presented (we assume this is realized in the author's thesis), enough details are given to make the reader fell how it works and what its capabilities are.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685375$4D998407-1666-4EC1-A109-A3B040A0F636","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$EB68332D-87DF-46AE-9B2B-3548B704F76E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$E3C01E6B-C34B-4B2D-9882-DE0594F51900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$791C3476-3B31-4F22-A0B1-19FADC686FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$9AA81CDD-D0B8-4960-B490-70DC1ACAB92E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08595c4cfbbab840834cd8d1c4432767c18bc53","datavalue":{"value":"417328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685375$45F8B4F7-3A32-4F98-B982-DDE27CC71E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9795bf288ed2935af2c82715279a36e0308d105","datavalue":{"value":"computer aided design","type":"string"},"datatype":"string"},"type":"statement","id":"Q685375$1E6E060A-362C-4E9B-8870-85939B4F2035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544c9d2e5eeb0e50b3343ba69f5f8bae75a87ad3","datavalue":{"value":"rewrite rule system","type":"string"},"datatype":"string"},"type":"statement","id":"Q685375$37FD19B6-CB6C-42E0-97C1-1D242A566D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f2d593b79fc05a5046625846c720e70b121b23","datavalue":{"value":"compass and ruler construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q685375$BA9884EF-2F1E-4F78-98AA-AA027A21D8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685375$F93B48AD-7843-4AD4-A7E7-9B5D926A609E","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":"Q685375$568B150F-467C-41C9-8414-640647292FB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$40F8C829-8507-401C-ADF7-3CF0A9038365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be68b034a4708066a59ca8fd26b0e32bf69a3280","datavalue":{"value":{"entity-type":"item","numeric-id":1101254,"id":"Q1101254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$B8F0EC24-D9C7-4931-9631-40A0ECF763AF","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":"Q685375$A033622C-0583-4199-8CFB-3A9F355EDF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$EF7B2AA4-C1B0-46A1-A5C8-4EA18E27BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d40653fe2efc692581fead1a0ee75e1057e7c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3661541,"id":"Q3661541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$463D69DF-F2D1-4AAA-9EA9-3260D45A315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842ac4b6c0530e3970ec5436704de2f49642b85d","datavalue":{"value":{"entity-type":"item","numeric-id":3267774,"id":"Q3267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$A0847E97-CBEA-4195-B2D9-A15DEB42E134","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":"Q685375$C76D6E92-50D9-401A-90E6-06E1EDFDFF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$9F64A0BE-7B08-4618-A217-398D477C4231","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":"Q685375$E5CEBFDF-AE82-4173-A16E-D0A3C4AE4D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685375$CFC3581C-413B-47E3-A4A0-8D93DC5669DC","rank":"normal"}],"P1643":[{"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":"c42109a9d145356513f62e0a91f3c3d05532da76","datavalue":{"value":{"amount":"+0.8038638234138489","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":"Q685375$C8E7F938-35E5-4DCE-8F2C-8BC3DAD506C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d3c44cd7689fc401358e3f89e1f02efc69493e","datavalue":{"value":{"entity-type":"item","numeric-id":1101255,"id":"Q1101255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef1e04d82a1044569e295f100b0ad14316213a5","datavalue":{"value":{"amount":"+0.7991616129875183","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":"Q685375$B10F7A8E-FC4B-464B-80B5-68B763BEE8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b5553698cf44865bda3d6c75d05aa2117ed8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428f5b5217b4766a116c6b7addd2d425479f4b4f","datavalue":{"value":{"amount":"+0.7543556690216064","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":"Q685375$E9F50C13-8EAD-4539-806B-C13CF2019519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913487afb04664de60e23b86771e71f90939296f","datavalue":{"value":{"entity-type":"item","numeric-id":865932,"id":"Q865932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7750357356f18f55a87663f981f299476ec364","datavalue":{"value":{"amount":"+0.7370911836624146","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":"Q685375$8177ABAC-1B56-4071-A0C8-33154CBA6937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4949bd4f847352c4d574f5ce1f6d9bcd2d78999f","datavalue":{"value":{"entity-type":"item","numeric-id":2870147,"id":"Q2870147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59176990830a9b359521f81c0276e4222cd139a3","datavalue":{"value":{"amount":"+0.7366810441017151","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":"Q685375$58ADDCBC-674A-41F8-AB6F-2F68343C89BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685375"}}}}}