{"entities":{"Q1101255":{"pageid":1112007,"ns":120,"title":"Item:Q1101255","lastrevid":66973215,"modified":"2026-04-12T14:04:50Z","type":"item","id":"Q1101255","labels":{"en":{"language":"en","value":"Proving geometry theorems with rewrite rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047190"}},"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":"Q1101255$9567924C-B26D-43E7-9A90-A4276131AF5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6901552c8030f88a6736407767eb3c7c753759d","datavalue":{"value":{"text":"Proving geometry theorems with rewrite rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101255$77E8452D-05E8-46C7-840A-3867A6EA2F49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5acdc020b0e00395d65135129dcc9fab7895ff33","datavalue":{"value":"0642.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$590251D2-297D-47D5-A029-AF5827CABF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb12da9358185817b8b2efc286a3f4e58f358682","datavalue":{"value":"10.1007/BF02328448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$6D3F4AD4-CAFC-4843-93A5-2210017F968E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9ec420612a063f059cbe6ea0649d56ebd8db08","datavalue":{"value":{"entity-type":"item","numeric-id":242601,"id":"Q242601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$FE99F1A4-3BB2-4D38-BFA7-5B207BDD5E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c44bf73e0863aa430048503c43d571cbeca97f0","datavalue":{"value":{"entity-type":"item","numeric-id":915798,"id":"Q915798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$DF24CD5E-B833-42E2-9468-767BC711C9EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$34039133-FB04-4FA6-B997-8E21D10936F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1101255$898C1EC0-8C8B-4DEC-948C-E77F246ADCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$BF803E2C-417F-4B58-8206-126BDDB2E9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$70428AC9-83C8-4381-B511-32F43E48E6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$4C186491-59F0-4452-854D-FD5F6A324B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed6728f30fe45f8a1abc12b3823e3587397c9a5b","datavalue":{"value":"51N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$BE31DB4F-E571-4252-9B62-BF3CB711B921","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd993192de9c0f00603afdacaefc7338874eeda3","datavalue":{"value":"4047190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101255$AD378916-EC58-49A0-97BD-5887653ECC56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101255$A778764A-F933-4FEB-80BC-9B4CA48A8252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101255$74854F42-E6E2-4A11-8FA9-67C63DEC8567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101255$19C0C8AB-0B08-46F5-AB7C-034AAA77B12B","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":"Q1101255$6646A842-1AB5-4820-9A4C-1D7D4584B2BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb4853c9602576368767a3b508604983dc64adc","datavalue":{"value":{"entity-type":"item","numeric-id":1095992,"id":"Q1095992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$D602CFA5-DFE2-4B71-83F7-C6A363CE0959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$AC3F79FC-7164-4A3E-A0F4-44F631F7103A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$E9C34E09-ACB5-43BE-B192-63ED80E34FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18b764e28d2945ccd60cf6ff45316676ba583ff","datavalue":{"value":{"entity-type":"item","numeric-id":5635941,"id":"Q5635941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$880FD2A2-45C0-437D-B0AF-91D868FD9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deebb0b9c38c31d720d68801c4e1768e98c605d8","datavalue":{"value":{"entity-type":"item","numeric-id":908692,"id":"Q908692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$5CA9C5ED-8FA5-40AA-A2E3-5D957DE87F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343f0b15bec560f521728084130c9740575f7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5795628,"id":"Q5795628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101255$6A98B19A-671E-4C29-8496-01CABB94DA1A","rank":"normal"}],"P1643":[{"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":"a03195dd2f9227d097f27464d5fa4e381b89ff08","datavalue":{"value":{"amount":"+0.8176537752151489","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":"Q1101255$F56D2FB0-2293-4627-92E6-69BDCC8BEAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917c09711e1b6836ddeefeaa71452d1f6a9f2b3c","datavalue":{"value":{"entity-type":"item","numeric-id":685375,"id":"Q685375"},"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":"Q1101255$84C897AF-BDC4-432F-8950-2EE5C9A4A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5297f7e86d7cd7ccf34a81c7dadd452f160d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":5961493,"id":"Q5961493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc72e57818f2b5109e02cddd2af0407f11d653d","datavalue":{"value":{"amount":"+0.788782000541687","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":"Q1101255$353A757A-F121-4367-B7B9-B767511C3211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d459ebc4260521d762811bd3aa3c9e745e2331","datavalue":{"value":{"amount":"+0.7842872142791748","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":"Q1101255$E1BE9758-C9FC-4353-BEC3-B726F143F0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d46345375cf30c0ce392ba2457e734405cc9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096184,"id":"Q5096184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4073855303ed734476a712dcd73fb1f16aae71b","datavalue":{"value":{"amount":"+0.7770735025405884","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":"Q1101255$E4FA727E-0B0A-4C1F-979F-C1605B160E1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving geometry theorems with rewrite rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_geometry_theorems_with_rewrite_rules"}}}}}