{"entities":{"Q2389464":{"pageid":2400207,"ns":120,"title":"Item:Q2389464","lastrevid":50710571,"modified":"2026-01-14T21:37:35Z","type":"item","id":"Q2389464","labels":{"en":{"language":"en","value":"A computer-aided proof of a conjecture in Euclidean geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580080"}},"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":"Q2389464$C661B63A-693A-4640-A45D-F5F3C63BAFF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e9c7cbe12538360dc8f873aeafcf0f9be93083","datavalue":{"value":{"text":"A computer-aided proof of a conjecture in Euclidean geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389464$1D878564-56F9-492F-98FC-6FAAF5457619","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f71d01f67f4a3bd5bc0f519bdb5d943ea1c097e","datavalue":{"value":"1165.51304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$708703F1-8535-4FC9-8D6A-BC5ECA110587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b34815c8f9216becd97eff3be0cd56ee6c9c313","datavalue":{"value":{"entity-type":"item","numeric-id":429755,"id":"Q429755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$7D35F88A-5490-49EB-A025-DAAA4A254EFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"895fde569e76df2f055cb42fcee60c0329a59331","datavalue":{"value":{"time":"+2009-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389464$32B71DDD-77A7-49F4-B27F-B346E912D912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$F9CC2BB3-95C9-4C65-90D9-E4FB87D9837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$813EF4B7-510B-4581-9FF4-B0DCB220619E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf235f9ed6c31f41d8a60eb5b02472c4473135f8","datavalue":{"value":"5580080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$792443FE-B2C3-418A-A304-AAB8E9F50104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b8a43d6cc814608890e287739a88eaf57467ca2","datavalue":{"value":"cyclic quadrilateral","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389464$AB706B96-68D8-4CFF-B5C5-90A64D2B5F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f078e4d86444a2bc3afbcdd9d693dbde79c8bdf5","datavalue":{"value":"incenter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389464$B32C1B3F-2376-4A2F-AA51-9E06A268D799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389464$D83AAE44-61AC-4CEA-A678-A7648414E679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668ae909f3650f1a8f2ee97502b7814304133a91","datavalue":{"value":"characteristic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389464$E23D67B4-EEC6-403D-94F2-40BF6B483180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389464$1F59C52B-29A0-40DC-AAA7-E9BD20D7FC34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$857B4362-96CE-46B2-A31F-5C9E42254CDC","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":"Q2389464$8EA3BC7C-9300-4523-AC22-3E23D2410E70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b60d3ff82103103030a0d654a0a943f0203c4947","datavalue":{"value":"Q123160488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$CE3DA8F5-4CD0-42BF-BDA5-341544099D0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceb2c522532741f937b56ad6aa4502d4e0ca31b8","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2008.07.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389464$D10E5516-FF71-401A-87EE-6DBA948873BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89bb6c7875dc159c1945a225c1da2f66004bef7d","datavalue":{"value":"W1983402197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$26E41CD3-0C2B-4578-AC0C-247D101D7170","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6f5b996c1c97eeb6f74667a0b2a28f3d8605bc","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$49729557-F158-4132-ABC0-FC453B902B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$2BB4A59B-4114-44A5-83C2-A9FA0674BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$AEEA3EBC-408F-4D5E-B9C3-F3586B8ADBCB","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":"Q2389464$64C85684-7651-4C25-BEC0-88B75CA59F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92aa42a2fc1588dce592fa4b81fd744ad89eaba0","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$FB30FE11-96B7-4E96-86A2-749B10E47F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477c36632882ff719d1bcf0aa072d9b5f55b4e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3591380,"id":"Q3591380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$5837A948-580B-4071-A264-7B10F6885FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c46d0e0129a9827000718a022d2f70438f8cdb9","datavalue":{"value":{"entity-type":"item","numeric-id":4525303,"id":"Q4525303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$D80C8F6F-2ABF-4F09-91A0-AFABF764B62D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbf1577f54ea2f237c4e77b133921a788ab56065","datavalue":{"value":"10.1016/J.CAMWA.2008.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389464$44C17CBD-6D47-456F-A359-DF859DFDABA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389464$C56C1500-3A66-46C3-B777-C9E269D96C19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346002e1ba008f82825c0eb807f7d70228c9b19d","datavalue":{"value":{"entity-type":"item","numeric-id":3499387,"id":"Q3499387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3dc7941a98a43e67ed7abbed87a1bc7637fb1b9","datavalue":{"value":{"amount":"+0.7503754496574402","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":"Q2389464$C6772A11-1567-4D69-BAEE-DEAEC8CBC57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff1887f6352aa81e4dd32e5a64ee0a7e16494b4","datavalue":{"value":{"entity-type":"item","numeric-id":1924745,"id":"Q1924745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a1e2e0712b0da49f90959d4c964af82c246459","datavalue":{"value":{"amount":"+0.7196351885795593","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":"Q2389464$4FC659D1-BD12-4EF5-B2A3-DD1815085D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ab3510f4abc122f0e36b1f8a58eb518b0e00da","datavalue":{"value":{"entity-type":"item","numeric-id":4614895,"id":"Q4614895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacd69c003bf6b6583705143d565fa26e27c46e2","datavalue":{"value":{"amount":"+0.7007179856300354","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":"Q2389464$D7598BAC-93A6-4221-A165-B869480D9024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04602058666e5b278c28a8ae3d65b2951fb8fe0","datavalue":{"value":{"entity-type":"item","numeric-id":2874419,"id":"Q2874419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d93b17cd0bd2bc0d0690e1332dce8dffc34b4dc","datavalue":{"value":{"amount":"+0.695289671421051","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":"Q2389464$EAA7A7C4-2324-46E6-8556-E425F376868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91937f59821c642c5ead31816323ad934b54abc","datavalue":{"value":{"entity-type":"item","numeric-id":2911357,"id":"Q2911357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5443f6c6936017ff8f25f2a40fe079cbfc6e010","datavalue":{"value":{"amount":"+0.6951017379760742","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":"Q2389464$FD45BD7F-6E58-4DA1-9A63-F61F119B1B58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2389464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2389464"}}}}}