{"entities":{"Q6943899":{"pageid":21166980,"ns":120,"title":"Item:Q6943899","lastrevid":84096629,"modified":"2026-05-09T23:22:29Z","type":"item","id":"Q6943899","labels":{"en":{"language":"en","value":"Proof of Irvine's conjecture via mechanized guessing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079082"}},"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":"Q6943899$F7E9BB3C-EE31-4CD7-928D-2FF7C0F2B49F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93969bc8a430c4a9f80930cbecac6d17065237bd","datavalue":{"value":{"text":"Proof of Irvine's conjecture via mechanized guessing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943899$2663A2C8-8BFD-476C-B0AB-EA5097E6C65B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99276f5c3ed099f62d1e5b336a361bbdd31254f3","datavalue":{"value":"1572.11026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$980E844D-79BE-4C81-BC69-6A901DBFCFC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbe3fcdaa2e72f3bce067779bfee150bff0b503","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$3B1C6FB0-C1F5-427D-9441-C29662AE9998","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$4CE6352C-FFC7-4B21-9E4C-60A0A8C9D433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c757b9b7db25e8670dea572b24907796ea9667b","datavalue":{"value":{"time":"+2025-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6943899$BBD6AE7A-3472-4662-9299-F456BCAEBCBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"214b06ecb88e93336a068f55e2deaa72f6fbaabf","datavalue":{"value":"https://math.colgate.edu/~integers/y51/y51.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6943899$DC66B828-0CFC-4B15-8D7F-9B044E4D335A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$2AEFED7A-27A7-4699-B0F2-8A1BAF12097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$634A837A-19BB-4300-B5D0-E14271DA1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$086DFBAD-34D4-484A-B305-31CC719C42F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$8F8DC3B0-C2F8-45B0-B5A1-CF88ADC101C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f05b9c0ba6d77be65ed10867a877c348f5089253","datavalue":{"value":"8079082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943899$D5F01C9D-227D-48B0-9790-6B0C6D7F3249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667788a1a7b8d0b011b88140272e2bc4236dac81","datavalue":{"value":"nonlinear recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943899$72C6FCAE-6912-4239-8B25-B6AABF4C8819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95795ea87d25cf5026ff3c5c510f8df4b544bc51","datavalue":{"value":"mechanized guessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943899$F7437062-F867-4FED-9D8C-051B186D45C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943899$B1D97408-9DF2-4F28-B6F2-BA9AD39DA5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943899$577E7EE3-CD73-43DF-B653-81989F15AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3adcc73ed91f54a1e23ec6ab5c451ad3cfea7f67","datavalue":{"value":"theorem-prover Walnut","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943899$7C6C4765-ACDA-4D20-AB1C-EEE43FD92F56","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":"Q6943899$6AD28869-4529-454C-970E-24FC99A7DC0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9a0ee8931782942b69884663591af1902728c1","datavalue":{"value":{"entity-type":"item","numeric-id":941402,"id":"Q941402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$35AC3FE1-9B94-4834-B302-DF0165316DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca924dfa732c9f98445bf46fdde2f879e6e378ad","datavalue":{"value":{"entity-type":"item","numeric-id":6137663,"id":"Q6137663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$E86E31A6-E10A-4818-AC2F-270217BAE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3780d2caad678deccd46156989b60feefa30d3","datavalue":{"value":{"entity-type":"item","numeric-id":3684185,"id":"Q3684185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$B9752F3A-9E4A-434E-AAF6-E55CB1890609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8471a95a7e360e459981596716086cee767eeb1a","datavalue":{"value":{"entity-type":"item","numeric-id":1293425,"id":"Q1293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$E6023A50-AB1A-4C0F-9500-DA6B79F4CA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36b8721f305b3d00ab919cdb9ab62dbb7b84a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4880554,"id":"Q4880554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$8B58708A-1F64-4A1A-AA19-A852311E2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0719d785e393ef4766cf7f014369e08d029f8cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1114405,"id":"Q1114405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$5E23412A-9F6B-46E9-B517-456B91F9844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79610d67000ac3800ec9c7fc973c320d024cafbf","datavalue":{"value":{"entity-type":"item","numeric-id":5093875,"id":"Q5093875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943899$2CFADB33-BD1B-4D86-98CC-7AE38C7FF4C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of Irvine's conjecture via mechanized guessing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_Irvine%27s_conjecture_via_mechanized_guessing"}}}}}