{"entities":{"Q294381":{"pageid":296148,"ns":120,"title":"Item:Q294381","lastrevid":52555826,"modified":"2026-01-22T23:12:18Z","type":"item","id":"Q294381","labels":{"en":{"language":"en","value":"Challenging theorem provers with Mathematical Olympiad problems in solid geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6593825"}},"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":"Q294381$57085A21-B56B-4592-B464-7104CA6D05CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51d1041d58faa854f69026221b5f044225548a4","datavalue":{"value":{"text":"Challenging theorem provers with Mathematical Olympiad problems in solid geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294381$FF0E3D27-490A-4DDA-89C2-D4395593EE4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16b1d43dc255a4ec8b6e635ae8c17c3fb250ddcf","datavalue":{"value":"1358.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$B6F02BFC-A5C5-4489-99CF-72BD482A5EC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaac52e0c383573113bb3ef6d25fa49bc74fbd78","datavalue":{"value":{"entity-type":"item","numeric-id":294379,"id":"Q294379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$72557D5F-32D1-45EF-AA61-743AA3904168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7e4b26c43ed36a51ba81767551973f61a69977","datavalue":{"value":{"entity-type":"item","numeric-id":294380,"id":"Q294380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$B73B72CE-18EC-4582-B616-62A9037562E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$548A1C4D-9153-497E-9C0C-FC5EF944557F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$2A7FFF0B-7AF0-4653-B32C-54D45A232019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294381$F2364C47-F6CE-4710-8AF5-94A7390C95BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$59344EDC-5FC1-4669-9038-217B8EF8B356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$11EEF4A0-FA3F-4DE9-93C6-926E6ECFE06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c98e27578846291b15fb1d7173ab77e2d826bf53","datavalue":{"value":"97G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$86D3E7C8-FC94-4C09-B26C-4E3065E1DB57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0881a883eccaef72787a78faaa00552d0937ee51","datavalue":{"value":"6593825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$ECEA1627-7A7C-4DAF-AA74-97015FB07774","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289ead6eeeec9c3697de0586fa152b48f66637b7","datavalue":{"value":"automated geometric theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q294381$FFAF315F-95DC-4F89-A9EE-64DC6D273F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q294381$485F26BA-37AE-4521-AF8E-649040BB3365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q294381$446CAAD2-5E95-4427-BE2E-617F5688E059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87d3ce1b3434a706d7295fd840497a57ab115b33","datavalue":{"value":"vector algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q294381$100B75C5-D984-40BC-873C-7C486D3F748F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64be2c6a1a64ce9ded33936f92a010ced52662c2","datavalue":{"value":"non-degeneracy condition (NDG)","type":"string"},"datatype":"string"},"type":"statement","id":"Q294381$5C6A3454-1AAC-45A5-A08D-67C82175ED17","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8de55f7ba14bdaebac90f2e39048487e393fef47","datavalue":{"value":{"entity-type":"item","numeric-id":21889,"id":"Q21889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$9C538831-1C0E-45FB-9914-E3B7370A5030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$59E57CE7-9530-4A28-B190-0D189879944B","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":"Q294381$A3A2EE12-67C9-44D9-8FF9-E158E8BAD33C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c1d10b0b4041f1cbbed6891b42ef695a3dacce","datavalue":{"value":"https://doi.org/10.1007/s11786-016-0256-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q294381$9EBEC04B-DAAC-4E9A-8748-42A802BE278B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8317f158a2ada9a15e17649ef0d625564bbf820e","datavalue":{"value":"W2326082881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$2E102CA9-9438-4A0C-8AB3-F05E64FAF75F","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":"Q294381$B835F659-15A3-4B27-93D4-883731B7B163","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":"Q294381$87759E78-CB59-43D5-939A-E99A1DF457FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c6fc65716ca53b4df443be754d1a7c89f6f684","datavalue":{"value":{"entity-type":"item","numeric-id":4857780,"id":"Q4857780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$FF538113-71FD-4124-BE01-4A2CCA0BC9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd256e4cf2e8da67d90b78d7200fe9d0224b362","datavalue":{"value":{"entity-type":"item","numeric-id":1582388,"id":"Q1582388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$7B76614B-CD84-4430-87A4-974A71F97292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$67860663-C60E-40DC-9658-C4C0E85564F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$C3449624-D385-4E78-AB3F-1A4C89135C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$330C4F93-2CDF-483C-B085-37F6712BE62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc53a4dbd5688aedb3244a0d21993a72560205a","datavalue":{"value":{"entity-type":"item","numeric-id":4392227,"id":"Q4392227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$45CC6B3D-FCF1-46CE-A63A-1834DEAAEE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ead3dcb82767f5365b1a825be8e613c6c20e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4657329,"id":"Q4657329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$4248887E-EE4D-4A6D-BC38-8720CC73EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33e85decbd3dde336af3f30eb71587cc94e59e","datavalue":{"value":{"entity-type":"item","numeric-id":4238968,"id":"Q4238968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$1E0FA60A-131D-4DB7-A6EE-7179DA46BB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0206b73160e7d5b902d28e5116f8987fc9332d6","datavalue":{"value":{"entity-type":"item","numeric-id":5690444,"id":"Q5690444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$D6779F5A-65B9-4E0E-95DE-4861BEA1CCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4949385e14d478418fd21873d5c71deab0d758","datavalue":{"value":{"entity-type":"item","numeric-id":4234211,"id":"Q4234211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$F3B7DB0D-B5D9-4B27-80F8-7ECD4DBA0CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18e00bb64ddbf4e175e088e9997a52581ede50a","datavalue":{"value":{"entity-type":"item","numeric-id":1264446,"id":"Q1264446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$EFD77D37-F27F-40CE-A297-ACA9FF990E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d80d10655647513f1efec0d8560effd4b94c30","datavalue":{"value":{"entity-type":"item","numeric-id":1125620,"id":"Q1125620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$0BFF2F44-9D37-4D54-BD85-9FB9FBEC2549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a610ceea0d0b3eb6c6f91e35e578f645aa376f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294381$B3917604-B6D7-4AE2-85EC-58252457CC33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"170c0cda7b405ca05833d30b368529afee6a81d1","datavalue":{"value":"10.1007/S11786-016-0256-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294381$D8804DF9-66D4-432C-B8D5-3074EB8303E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5960a0c05512c5f8a8f1ad6694014ae97c459ea2","datavalue":{"value":{"entity-type":"item","numeric-id":5145435,"id":"Q5145435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e28b13f590b7a4d175a05d5cc74fe422915a8d9","datavalue":{"value":{"amount":"+0.7208701372146606","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":"Q294381$254373ED-CD85-4770-845F-956B7AEDE6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5bfeb363cab577c469ebfd5ececdbc497091c5","datavalue":{"value":{"amount":"+0.700847864151001","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":"Q294381$6EB6E6D7-A05C-43F2-8250-561A791E7E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0fef5aeb2141cf28b0c6f96243d7760283df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3102742,"id":"Q3102742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbc40ff3b55a854918fba0a1afc3ef10147b582","datavalue":{"value":{"amount":"+0.7002273797988892","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":"Q294381$486FD1DC-FFF4-4B6E-9FC5-7A902A9F84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"073536ae33d3db7c62a007d5c740317951ac24be","datavalue":{"value":{"entity-type":"item","numeric-id":2765682,"id":"Q2765682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1379fda59b05510512466ca6274d9be45ee79158","datavalue":{"value":{"amount":"+0.6995906829833984","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":"Q294381$4ED3DD44-5481-465A-9101-F781C8E47187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53fd36785de4a96164f555f93c3baf017fceaf3","datavalue":{"value":{"entity-type":"item","numeric-id":657585,"id":"Q657585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a65dea188930becdf48e5e8e9bd902d586af57","datavalue":{"value":{"amount":"+0.6976494789123535","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":"Q294381$699A166B-56CE-4DAA-A84B-B38C5CB8465C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:294381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:294381"}}}}}