{"entities":{"Q1581854":{"pageid":1592594,"ns":120,"title":"Item:Q1581854","lastrevid":43225831,"modified":"2025-07-22T13:47:45Z","type":"item","id":"Q1581854","labels":{"en":{"language":"en","value":"A deductive database approach to automated geometry theorem proving and discovering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1515412"}},"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":"Q1581854$9ED8536A-7C09-4757-A565-6998A5FB55E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43f5401f35d6b3f6f8cf3fe34fee410816431c20","datavalue":{"value":{"text":"A deductive database approach to automated geometry theorem proving and discovering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1581854$35A8CE67-0FAC-4345-9A00-CD3B488B8E10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98bcbf55830b5fe6815e94cd85245b7eb0cccbc","datavalue":{"value":"0961.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$49C52FD3-D6B9-4334-BE42-6259401666B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48f1a14c56a3015dfcb26c5e6b6227444cc5342e","datavalue":{"value":"10.1023/A:1006171315513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$DD8A07E3-A06D-4603-A5CC-547C66B8DAAC","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":"Q1581854$2CF80FC0-D42C-4AF8-B78F-5533108B1B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"629b2bbc2e7d5238e546439edac9cc4a1c3c9f0f","datavalue":{"value":{"entity-type":"item","numeric-id":242602,"id":"Q242602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581854$C762C986-2A7F-44C7-8D24-A23B0F2D3E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1581854$8BAC9B4E-0E26-4047-AB73-193CB957E1C0","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":"Q1581854$4FB71238-B04B-470E-8394-16FA5DD525B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1581854$4A686FA5-8D11-4D90-B45A-BCE81DFDBCF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$D253BAB3-8EFD-4751-88BD-1806D731A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$4B01DFBE-9ADE-4915-B1D0-70F0E36D778F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5e79c7da8b80d48a63a329c6dbfadcb8fe36b86","datavalue":{"value":"1515412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$EB645FED-575C-4C20-AEB6-7FAA01289248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ee3e0ddcf6708755ee4eb33e641d9f209daf08","datavalue":{"value":"geometry deductive database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581854$763AE455-E3D8-4983-866C-9A9806CD2AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe7e0164aa46391c382c26e63a9e030255738d75","datavalue":{"value":"structured deductive database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1581854$B595054C-49BD-4ED2-8C14-0AE38EB37C2B","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":"Q1581854$A7A13966-6839-466A-A4AC-4E4790A6AF33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60436902f5d5ac5dc03fa310472a2659db32786b","datavalue":{"value":"https://doi.org/10.1023/a:1006171315513","type":"string"},"datatype":"url"},"type":"statement","id":"Q1581854$F7E71D03-52CA-4C43-8CA7-9DDBDDB11B31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82b1ef463c0984f2e044d7ee09b5b19ecc25444c","datavalue":{"value":"W2120243289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1581854$F511B137-D640-4E60-ADB4-7781B5688C47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399918cf55d808cb65772851cacb582ed948505a","datavalue":{"value":{"entity-type":"item","numeric-id":6535443,"id":"Q6535443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be068a4c2f085b1ff217454a3a8febd094c98a5","datavalue":{"value":{"amount":"+0.94533646","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":"Q1581854$DDB8DE4C-BEBF-42F7-8F26-706EEE67A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a0c40ca867672e0047fab118f3fdeb9a85deb8","datavalue":{"value":{"entity-type":"item","numeric-id":4946075,"id":"Q4946075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345f2a7d02f999e4c0dc85ccf36f980d804df3be","datavalue":{"value":{"amount":"+0.92063403","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":"Q1581854$2A78F6E4-EB76-4FED-AB2D-44099F4FA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686a9085b7efbd9d4fc9ade03a05d1ba52eb9054","datavalue":{"value":{"entity-type":"item","numeric-id":1995808,"id":"Q1995808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd650b999aecb9fa7b1944a07317b9acc895dfdc","datavalue":{"value":{"amount":"+0.91955733","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":"Q1581854$912E4994-65BA-417C-B96A-FB3C5BD5D607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fc0fec0dc5260b179b4721719bfa4dbe04a0c3","datavalue":{"value":{"entity-type":"item","numeric-id":1101254,"id":"Q1101254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9caf553a2d9385809d54c363b5316e2070b8c3a","datavalue":{"value":{"amount":"+0.91814035","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":"Q1581854$F4FA8129-A947-4482-BDBD-F37B91A19A12","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":"2a94eb3a188fde02d8417d539586665e7927f7bd","datavalue":{"value":{"amount":"+0.91351986","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":"Q1581854$BAB5AB09-B074-4751-83C8-EF22224F0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0be4ae12b77e548190d701dabce4695d6b5da7","datavalue":{"value":{"entity-type":"item","numeric-id":1272610,"id":"Q1272610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1229b6c93f649b7f1181c0c814c5120ad895246","datavalue":{"value":{"amount":"+0.90698075","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":"Q1581854$A6BAB524-DF36-4A81-9B78-64AE383AA0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcdeb581834d8000223ae84e0db44d03912e644","datavalue":{"value":{"entity-type":"item","numeric-id":846167,"id":"Q846167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5801af45a0c8b78d1b4b3bda70794f14d46b7f6e","datavalue":{"value":{"amount":"+0.9058835","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":"Q1581854$F624BA6B-0311-453F-A88D-3313BC244E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4759887f2efde6f52432de8771c4b96c2f71989d","datavalue":{"value":{"entity-type":"item","numeric-id":3486876,"id":"Q3486876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4075ae4d2c29971b5db0b3abfb519b8880ff0ccf","datavalue":{"value":{"amount":"+0.9041605","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":"Q1581854$0B17B85C-6E18-46E0-8D55-9CDBD3EE0D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602600e7166d4fbeb1bec8dbee66427995e22ff5","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8c17fd5d149bec43c8a013a501bede76fd73be","datavalue":{"value":{"amount":"+0.8989131","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":"Q1581854$D463AA01-7A64-4545-A2B2-B936F89E4AB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1581854","badges":[]}}}}}