{"entities":{"Q4647511":{"pageid":6677092,"ns":120,"title":"Item:Q4647511","lastrevid":36461859,"modified":"2024-07-17T19:48:29Z","type":"item","id":"Q4647511","labels":{"en":{"language":"en","value":"GEOTHER: A geometry theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001903"}},"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":"Q4647511$BE1FC470-81B5-40CE-A1A3-856C0F7B9694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"885060c0feb4c154b8d2301667f2e273bc996994","datavalue":{"value":{"text":"GEOTHER: A geometry theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647511$18CA491E-17D2-4C53-931D-299016320B2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b17e2e9efaf6a0cf7041d6edc8ee5f42f91c76f4","datavalue":{"value":"1412.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647511$8AE1DFE0-5F48-4629-AEEA-3E072B91197A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"828e5ff88433f09082f5b16b8a34307d3ec9b9b3","datavalue":{"value":"10.1007/3-540-61511-3_78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647511$399A8BFB-39BE-41CA-B664-98008A3ACF63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"445e6c271797bbd4e969d752f3f62229db781b70","datavalue":{"value":{"entity-type":"item","numeric-id":215659,"id":"Q215659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647511$9344BF4E-A457-4CA6-8727-DA33C1367430","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647511$290F29D6-6DB2-4896-86EC-9ADDC592842E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647511$814C560C-A3D6-4CA7-93FF-805FC6182231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647511$B20B6F4D-914C-4A08-B336-6BA5E49AFA89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"779373fac1fb6cdaf94084162f6dc5467f55767e","datavalue":{"value":"7001903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647511$620DA0F2-23DC-4B1C-95C8-F73666282EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616a3e87dd8132c70f30e8c7cbdfa3e2785f330e","datavalue":{"value":"algebraic expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647511$76D7432C-17E6-4856-BE62-8930710BD350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c83dc51e06c69918346d0a495f7c075eb19c6949","datavalue":{"value":"subsidiary condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647511$5A6F4092-358C-4F1D-AA24-CC5CAA8FC94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ddad13f3ef6615f3c053ab35e00ea16b16cb18","datavalue":{"value":"geometric theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647511$34046F68-70CB-4D28-AF5D-48BD22F80121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5783ef6a567297a97a94c6aa2fc23fb55305a12b","datavalue":{"value":"mechanical theorem prove","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647511$85A75D70-F469-4FE3-8FCA-A291F0AFEA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e7c33b678fa138248b917b121bd26c52d98011","datavalue":{"value":"geometry theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647511$FAC65668-D92A-412D-9102-ACDD6F995987","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":"Q4647511$474F1227-BC50-4987-9C42-79CC362A3393","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":"Q4647511$A7971D45-B059-4EBC-A54E-73D69032FACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f571462c54a7eff94a2865ed896de01f369a4ed","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_78","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647511$05367A71-FCE1-4140-8A29-11A0EDC55331","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b71f7498e4347b35dc5537397950a32889ecebf","datavalue":{"value":"W1794180414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647511$57D3FB4D-85FF-4DDD-9E0C-4D3CD48310C4","rank":"normal"}],"P223":[{"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":"Q4647511$C596D873-BCBB-446A-A6E8-A7F6FCB2D659","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":"Q4647511$2AF2F067-E204-475C-BC93-D5DDA57BE227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647511"}}}}}