{"entities":{"Q6859990":{"pageid":20656573,"ns":120,"title":"Item:Q6859990","lastrevid":84252269,"modified":"2026-05-14T05:37:07Z","type":"item","id":"Q6859990","labels":{"en":{"language":"en","value":"Formal verification of the empty hexagon number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158276"}},"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":"Q6859990$BF141056-FB1E-4F58-B554-971A1F7E1AC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e7a8e7c6887aa43c86086b60c14fe9549c18dc8","datavalue":{"value":{"text":"Formal verification of the empty hexagon number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859990$026EE879-8AFC-4A3E-8A8F-38C3B44C8280","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d30fef6018216c780351c38270d94b835385d09","datavalue":{"value":"10.4230/LIPICS.ITP.2024.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859990$76583EDC-E1E3-4A2D-B1E8-3EB3557C5762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3d305b28db5d4e01d452b9fa54b208b8d3ed3fb","datavalue":{"value":{"entity-type":"item","numeric-id":6424198,"id":"Q6424198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$3E9BB9E6-89E8-4526-AD43-E3A75D8633BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b787fd7291928cf7d532c00855d94cea20b5856","datavalue":{"value":{"entity-type":"item","numeric-id":2118331,"id":"Q2118331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$C4DE9B39-D96B-4FB0-ACDB-351F420C5757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5676167c35757028cb2eac90cd19c5c6304087","datavalue":{"value":{"entity-type":"item","numeric-id":2104558,"id":"Q2104558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$5A9614BC-1623-4DB7-9742-1E69D5A7F2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9325532b68241466c44d01546d40cd1dff21009e","datavalue":{"value":{"entity-type":"item","numeric-id":6859989,"id":"Q6859989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$42BB3685-B4E9-4E05-9028-055F44A5DE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39195082325611e8a92078b5576298ab3723df3c","datavalue":{"value":{"entity-type":"item","numeric-id":1631472,"id":"Q1631472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$5E98F03D-6509-408D-BFBC-450EB011F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$0B7A5B20-750F-4BF1-B75D-418942CCA1BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859990$4A4E55EF-3C6D-42AB-B4A9-DA19874F629C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859990$55D930E0-B118-405C-84DB-31F1502ABC0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d34390b98cf29d6f104a56a3a5678d85c178a7e","datavalue":{"value":"8158276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859990$2700D639-5ED0-4B1C-989E-F3DFE2A53BDB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$2C7443E5-CF21-419B-98C3-805F61CDD8B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a86e0ee3bdad3b2e7c77cd38b0b82feebe362f1","datavalue":{"value":"empty hexagon number","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859990$6DA82103-6E94-4BE4-8445-CABCF54B47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6412610bbe50d7c5fe8a0068058c0b9c00961aae","datavalue":{"value":"discrete computational geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859990$6B497561-BFBB-40CB-9329-D48B87BAD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a573c99e39585d7506ca0d483994c3084b4d79a","datavalue":{"value":"Erd\u0151s-Szekeres","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859990$86055AD9-2D2D-4553-97B6-791B96B5A96C","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":"Q6859990$73EC5A0B-06C0-4212-9C1F-182FE04F8A99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$CB39B176-5496-4B47-ACA8-3DC2CEE2E7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a49e86fda1c507c102256f2b474f1562db23fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2323449,"id":"Q2323449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$8AF78BD0-A510-409A-B08A-B226C2477A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ebe1bc84eda0376295f6ea90448cdc06c0b0db","datavalue":{"value":{"entity-type":"item","numeric-id":4645756,"id":"Q4645756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$E752D638-0EB4-4C01-8EB6-2BCF684F61DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$A813A483-3078-4F43-8B8D-1BD1D63D8033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a40e3dbf619b683566bb917169675f46246dd","datavalue":{"value":{"entity-type":"item","numeric-id":3286826,"id":"Q3286826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$D977ED65-C33C-41C9-A3C8-974B0D9758F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85da9f006194150e26fcb9cf32ecc0e75b374e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2613023,"id":"Q2613023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$3E030D74-B23B-4B24-9B8A-3B4DDA54652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93747eaecccfe5461b271f21131906a2baae4f99","datavalue":{"value":{"entity-type":"item","numeric-id":5929322,"id":"Q5929322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$49586229-F928-4808-9893-FC71D97B730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6152a59844a2f06ccfde4ae86eec280110c3170c","datavalue":{"value":{"entity-type":"item","numeric-id":2482196,"id":"Q2482196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$4A93F823-1323-4EA2-9C4D-4D013526F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d151748803065a196de464de0f7c0aa1168e66","datavalue":{"value":{"entity-type":"item","numeric-id":6643087,"id":"Q6643087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$A1C997A3-478D-40DE-B717-2378F7CC33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ef1ddad18a2d517ded8d358f3690d57f482b45","datavalue":{"value":{"entity-type":"item","numeric-id":1253812,"id":"Q1253812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$B224FFCA-72AF-40DE-A8A8-BBD1BFE58F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$9BA13FAC-A651-4356-A802-484E2915102D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6175dab652551b56ea1ab3e59569e9c643ea56","datavalue":{"value":{"entity-type":"item","numeric-id":3670079,"id":"Q3670079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$BD173E35-D045-4CCC-9AA7-2AA3DAD30A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$C50EABD0-7C7D-4544-9E44-03107F823171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$FD0B7EB2-AAF3-444D-A25E-FB429898CDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$C1DBD1E5-3667-434E-83E5-4981ECA742EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982c4208d2c87fd937fe078b867b32a55f9ea8e3","datavalue":{"value":{"entity-type":"item","numeric-id":670696,"id":"Q670696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$992726B4-374B-4D01-AFF9-5317CC87EB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6d14f6c62e7a4683fa9be638e7e10233224dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2464368,"id":"Q2464368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$CA4331DF-0168-4BF8-8391-C6AEF0511C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$329D10D1-16E4-441E-99A3-8BCB935B8B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45642af347b3b2d3847b7b6d4ff937c4eff48288","datavalue":{"value":{"entity-type":"item","numeric-id":827302,"id":"Q827302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$7008DA9B-19FD-49A0-A060-0F48ABD214C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb8f8ba363369124e76cfe8ef214d8a77266fff","datavalue":{"value":{"entity-type":"item","numeric-id":6535369,"id":"Q6535369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$39B4091E-2571-4A20-81DA-89067372F57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8aa99fea269dd328651f815c4f4c75fe7db260","datavalue":{"value":{"entity-type":"item","numeric-id":5280069,"id":"Q5280069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$EAFA0793-6F08-40C4-881E-8C648FA3269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2995e895172c75ee038401663ed2df02ae1373","datavalue":{"value":{"entity-type":"item","numeric-id":3541568,"id":"Q3541568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$3AF77FB3-8A11-415F-A067-7B3221A4FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859990$29B091E1-9A72-4F04-A6DD-359BDE2486A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of the empty hexagon number","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_the_empty_hexagon_number"}}}}}