{"entities":{"Q3399727":{"pageid":3410430,"ns":120,"title":"Item:Q3399727","lastrevid":46134715,"modified":"2025-12-23T10:34:07Z","type":"item","id":"Q3399727","labels":{"en":{"language":"en","value":"Realization of automatic reasoning system of geometry based on point-eliminating method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613645"}},"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":"Q3399727$B347D283-F57C-427F-88E1-F607097C00E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a56dd72e428a4632a6a52ab3e22972844d53fa06","datavalue":{"value":{"text":"Realization of automatic reasoning system of geometry based on point-eliminating method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3399727$7838E290-6E4A-41FD-B9F2-5624DA8F9F36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86865b3545966ed3a1d04877e03d89e7e73cb5b5","datavalue":{"value":"1171.68716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399727$EEF85CC5-D0BD-4CA7-BDE0-38ED2E6EC08C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6b3649225051abbb861aa704c6d708ac81027b8","datavalue":{"value":"10.3724/SP.J.1087.2008.02984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399727$0BD5E6D0-3E17-481A-80FB-10C4590921A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e34d613a74b70e248c74174de5fb602445e32c","datavalue":{"value":{"entity-type":"item","numeric-id":2279605,"id":"Q2279605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399727$42DF40D2-DF5A-45A2-BB13-FD3D060B4C5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dd0f4a863078e32a4c218c26f3bff7cf9c6f1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2844978,"id":"Q2844978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399727$B1A84D92-583C-4856-A008-D65CA280CF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3399727$6AF1317E-B175-445C-803D-38E6CCE05027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399727$41C15787-5C87-4BAD-B903-61A5472FD538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a09bcb19c5c8300461060edcca699310160a19c8","datavalue":{"value":"5613645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399727$C82F1392-9BD0-4C3C-946E-0A38F0E3807D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43dc8fe8f1ab231872a9f4f599c0cc472dd10ff","datavalue":{"value":"automated geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399727$B8196E2F-C33E-4CC8-858F-A5EB145FFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399727$E47162E4-8876-4C96-A8EC-FDE28E50385B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535960270a469f089d608cfe7b4270a36b9bcc98","datavalue":{"value":"point-eliminating method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399727$8548BE59-220E-41C2-BF04-D3DFBE2DCACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aca0e56249d02525437f0bb878c28e8c1f154c2","datavalue":{"value":"structive geometry statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399727$322047DF-DD18-4BD3-B208-721A6D916CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c58df8f354b75ef3d9bb4eee6f5b0e981f401c82","datavalue":{"value":"graphic-drawing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399727$0DDF9827-997F-4488-81A7-EF5E5479C86D","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":"Q3399727$AE20AA01-33F6-4A58-8415-471A4F22F2F4","rank":"normal"}],"P1643":[{"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":"ee58e49575c8576bafde5bcdd620d8847377c778","datavalue":{"value":{"amount":"+0.8403789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$8729815F-9FC8-468B-B52D-78724CAF73C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec646420cd509e1a6fe6d0f38daa810e5fb10855","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9101ea9d550f089be16d78e3c41d0b63c4b49940","datavalue":{"value":{"amount":"+0.8332219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$7D4D20E3-5D12-43EC-9C42-676B411C1FE3","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":"6e8d018a44b35a0828992208b195446d499db876","datavalue":{"value":{"amount":"+0.8306712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$C29D3A6C-8026-457F-BE85-54E6A0B6426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e34e7c76c0aa783c954d4cd2746a857a4a85e92","datavalue":{"value":{"entity-type":"item","numeric-id":3571256,"id":"Q3571256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b99e58e4f4d20abcc07819f0369b69ef9ebf3f","datavalue":{"value":{"amount":"+0.8287415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$C286EF03-2FB6-4046-8211-D6082E3F32AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e82d2dfc118f5923143098851e55d0fd6f35780","datavalue":{"value":{"entity-type":"item","numeric-id":5718720,"id":"Q5718720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e7d8f089835ae5f8c1abf92514d6693db86a3c","datavalue":{"value":{"amount":"+0.8229472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$6EB7D07C-211A-4AC0-894E-DCB4CC8FC603","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":"20662f24e0cd186ca28ec3747a3fdc3b44375bbf","datavalue":{"value":{"amount":"+0.8221503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$8344935C-07E3-4D56-9639-2249FD754079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99abd59da43a2cd83bf2cd4fc04a5ac1f969989","datavalue":{"value":{"entity-type":"item","numeric-id":1730304,"id":"Q1730304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50040f205e227738c3d1cd94fe0a00357f38a9a8","datavalue":{"value":{"amount":"+0.8218705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$D4E3E9A3-9A36-4A62-9BF4-BBEE1BE5FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed28fa7230d0910060c65762680c570bf6d19b1","datavalue":{"value":{"entity-type":"item","numeric-id":1924738,"id":"Q1924738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45aeb8868d9b7f2b8720da627af28d886afb1291","datavalue":{"value":{"amount":"+0.81884515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3399727$E58D4F59-0FFF-4974-A6A1-C5971458B787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3399727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3399727"}}}}}