{"entities":{"Q488928":{"pageid":490695,"ns":120,"title":"Item:Q488928","lastrevid":52181966,"modified":"2026-01-21T02:50:03Z","type":"item","id":"Q488928","labels":{"en":{"language":"en","value":"Representation and automated transformation of geometric statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6391217"}},"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":"Q488928$EA66224A-623A-4901-93A7-96B3BD59B488","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77010cdd77ce8012655290c060d8cbc4acd4c54c","datavalue":{"value":{"text":"Representation and automated transformation of geometric statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q488928$32F9D9AE-A272-44FC-8EDB-F4E211D05D97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a53542eff1a953ae506bc98c5f497d8680ed39","datavalue":{"value":"1314.68301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$948D80FA-3E90-482F-8202-87441D4D465A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e3323a1874f2752b573078af5b2f3f3d68391c","datavalue":{"value":{"entity-type":"item","numeric-id":479356,"id":"Q479356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$3169B850-1C76-4240-83A0-ADA7FCB286BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$64C7B76E-A142-41E2-BB10-DD48D57A11BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fad476bd8f811de2437c25ae42f6be788608bc4","datavalue":{"value":{"time":"+2015-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q488928$FE99FA1B-6E98-44EF-ABBF-92BF47F9C490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$7D170A64-6BAA-417C-8655-31749786ACAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$58AFC932-9EE8-4FD7-A80B-5272F3ED0DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$AC60E4D7-F8A9-4A9E-97B9-108C68510A6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db4de4d078eda236e6adae9116aa1b904c4bc2ce","datavalue":{"value":"6391217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$B2465303-89DB-497A-9DE0-5AFEB2A2AEC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ea3157e507a735b24a74ec997dd865969fdac6","datavalue":{"value":"automated diagram drawing","type":"string"},"datatype":"string"},"type":"statement","id":"Q488928$5609E5B2-1CEF-428F-ADAE-4589DE6D6C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0489999798d33cc87f70f4ed9ff54abcc57e1fb3","datavalue":{"value":"equivalent transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q488928$84326694-F58C-46BE-A0CF-CE30A4B58C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebbc3ce7242c7d07da188c5a57041ff950bd571f","datavalue":{"value":"formalized geometric statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q488928$4D4B6CAE-28C8-4E4A-97D6-2A166179C057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dee7bcfe27e7f144e5fea63c8ba400482ee8f7","datavalue":{"value":"geometric automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q488928$017F89B6-1E5E-4E97-A3FD-9398C356EDE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c52174d6a2c739dccdd83081669a4a937b002e","datavalue":{"value":{"entity-type":"item","numeric-id":15381,"id":"Q15381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$4F867C25-C381-4839-8FDA-9D1D9DA37759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a69612fc806d816e598f13eebfec79f0480839d","datavalue":{"value":{"entity-type":"item","numeric-id":18349,"id":"Q18349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$E88745AC-A711-4842-9DD4-93543547E5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d423aed709d24704c8ca138c3d33e02bafd7a799","datavalue":{"value":{"entity-type":"item","numeric-id":18350,"id":"Q18350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$3AEB8FDA-C6D0-43DB-9F97-4A56DC38CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69ccb519a72ff8ab91245f5f1e5636f567d4e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":16792,"id":"Q16792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$CD61A5E4-C235-43DC-A757-57685DDC2526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee5898fb55abd77d8634a823ad89f9ed3ba4a5e3","datavalue":{"value":{"entity-type":"item","numeric-id":21832,"id":"Q21832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$9D1B9B8D-3341-4777-93F8-7F4E367AB579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe2977d14a6006fa56768c0bbf4b09337d85306","datavalue":{"value":{"entity-type":"item","numeric-id":16387,"id":"Q16387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$7F80F3F3-0027-4BF2-B64D-CAA65FB5C818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"889ec4faf2d8d55896572c48b33b986e8e6a7072","datavalue":{"value":{"entity-type":"item","numeric-id":20745,"id":"Q20745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$DA22E8D1-882B-4DE4-BDFA-302014F1017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3d23f729f2d2f49558629678f0c1088defcd1ed5","datavalue":{"value":{"entity-type":"item","numeric-id":24256,"id":"Q24256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$849DA012-0F29-47C5-91D5-378BA7AC3199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d7950f01425e7e9f7da214e3be0764705999c0","datavalue":{"value":{"entity-type":"item","numeric-id":13087,"id":"Q13087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$44920060-3221-457B-9CC2-C90F64060AEA","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":"Q488928$F609C3B2-859B-489E-A26D-BEDBD5F6C765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08a4aa57648d4a5e12850ecc9da786a427b02bd","datavalue":{"value":"https://doi.org/10.1007/s11424-014-0316-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q488928$F17658F8-5BFD-4498-B101-873ED744A55D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f18b99cefe07fb125eb683c5d53e01b2b84f3b7","datavalue":{"value":"W2110271642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$5DD0851F-7EA5-46F0-A9BC-6B2CC8E27635","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eadcd5b0af11c4a787ea768f95aec664bddffd28","datavalue":{"value":{"entity-type":"item","numeric-id":2751363,"id":"Q2751363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$DC0D4CA7-A147-487D-AD4E-06E7470DE4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0b354f619dc19eb53ce6bba5096edeb48a1eca","datavalue":{"value":{"entity-type":"item","numeric-id":3582714,"id":"Q3582714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$4CE51FA5-6A87-4521-AB1E-6F84FBCAB0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf26db92fe44f4617dcc2f7627ea50e8798a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5747799,"id":"Q5747799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$7C7DD5C4-A9A4-4206-9C16-61DAE9CEC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328caad0b77361ed511af273d18672e961160188","datavalue":{"value":{"entity-type":"item","numeric-id":2655329,"id":"Q2655329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$BD208CDC-720A-42E9-A0BF-60893FF0E280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de4d5770e387e034f1fede994fe89441564690","datavalue":{"value":{"entity-type":"item","numeric-id":2867934,"id":"Q2867934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$C82FCD97-A0D6-41C7-820C-952808BF5417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c48fa1cb9fdb475bd46ddd7bd1302541d93ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5505532,"id":"Q5505532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$F1C8BECD-F0B2-4C86-9A0E-0AC3A300863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4617338cf3c9cd68bc421b5d6e121e8ce664c25","datavalue":{"value":{"entity-type":"item","numeric-id":5898510,"id":"Q5898510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$02449BD3-E9B8-456D-B79E-04F7753528AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$AA98C3DA-6D5C-404F-A050-D3BA1219514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266ac0fd690056030811066914fa9d38497bf665","datavalue":{"value":{"entity-type":"item","numeric-id":2953825,"id":"Q2953825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$C21B6025-B000-47A7-8B8A-21F3ED58798C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c180dcd373352949471c4d009f09ade7acad290f","datavalue":{"value":{"entity-type":"item","numeric-id":4647511,"id":"Q4647511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$7BCB3F68-76E4-4D7A-A2A8-004169E9726A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5306ae9b32e6130d3c13661bdccbf30811eb281","datavalue":{"value":{"entity-type":"item","numeric-id":5550848,"id":"Q5550848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$C593978A-3D21-4CC7-A1EB-0F1218A16392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624a4a8ec1f3b69d19c1dcce467a6b4ce4bcbc6a","datavalue":{"value":{"entity-type":"item","numeric-id":5902024,"id":"Q5902024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$6153BE6D-A2E4-4747-B9E5-24644EEC7D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb6073bb92238a3ac694f94e3d06e7338f0593","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q488928$6AEDB0EF-8BC7-4CE0-8F37-882AD6B8CECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c4df9c3f4a1ab9a56a452870a8aca7b503c2c97","datavalue":{"value":"10.1007/S11424-014-0316-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q488928$D5974C46-5712-48EF-899F-D6FC8B56CBB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc9ad487a75bc5d79c80f13531f1143c25f6086","datavalue":{"value":{"entity-type":"item","numeric-id":3399727,"id":"Q3399727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11947ebceb6f713667b030c1ea584762ef4e41ae","datavalue":{"value":{"amount":"+0.7649255394935608","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":"Q488928$327DE14A-6D22-4B6F-93E4-7F94A7227E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69459204057122d854131c61f9433f2f1fa67363","datavalue":{"value":{"entity-type":"item","numeric-id":5453481,"id":"Q5453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d2b9bdc7daa26e93ea22ea7fad2450dab9121a","datavalue":{"value":{"amount":"+0.7476609945297241","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":"Q488928$A061A262-CB7D-4DC4-97AA-3B6CA8400DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b90cfae71b7fda58cf0409615016bc7339ae340","datavalue":{"value":{"entity-type":"item","numeric-id":5752028,"id":"Q5752028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8112846beb69a9bf548cc6a0ea590477a34179c","datavalue":{"value":{"amount":"+0.745369553565979","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":"Q488928$6F635202-E95C-43C9-AD32-3BEA29E07DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71b6879258c778a57a7c6d763ef1e572dd9c37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354010,"id":"Q4354010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd41b510b77a1742b68c11210aa12306f4fea73","datavalue":{"value":{"amount":"+0.7347003221511841","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":"Q488928$0F1F0D4A-379E-48F8-94E6-2975E472DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec35a96183ac3cd2ac6b85582ccf2858c9fb17be","datavalue":{"value":{"entity-type":"item","numeric-id":4340959,"id":"Q4340959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770cea0b0d6f7dd55d2b3c27cd0eb2923c20a1b8","datavalue":{"value":{"amount":"+0.7315562963485718","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":"Q488928$81D4D349-C066-4D5D-8E20-92F6FEB5422C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:488928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:488928"}}}}}