{"entities":{"Q6639602":{"pageid":14250754,"ns":120,"title":"Item:Q6639602","lastrevid":55792621,"modified":"2026-02-17T22:53:53Z","type":"item","id":"Q6639602","labels":{"en":{"language":"en","value":"Who finds the short proof?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945589"}},"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":"Q6639602$996A68AE-05D3-4587-B578-AFAFF2BBA334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f5abba93f1503f7891ba26e08e949b09defb855","datavalue":{"value":{"text":"Who finds the short proof?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639602$9F9C4C60-8215-4F46-8891-3A0B69129B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639602$228481F8-F4D1-47A7-97EC-D94733917D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f9666546c0d0fded6ba7ab8965559a6b0910d9","datavalue":{"value":{"entity-type":"item","numeric-id":2180220,"id":"Q2180220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639602$3BF7450A-C3A9-4143-A18B-463424EC73E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639602$6895D46C-B09D-4E7F-B78F-DD894E8B4A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639602$ABE51522-958A-4B2E-BA41-D95DF0E4732A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639602$C1382E3B-1C52-4E0B-8AE3-0CB24DD961EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-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":"Q6639602$E0F8E0BB-4D0E-4502-8C5D-C71BA050DBB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639602$0525A8C9-9223-4B89-8A45-9AB7B1A947B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639602$A142CD9A-17E1-4576-B509-B2FBB9B44C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdf19bed18e2a0ef18e0c1d0e24f97b003a03219","datavalue":{"value":"7945589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639602$53981477-34A1-4CBC-A6FB-AEC2835019EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a9bfd49e477342b2407967b59c3de58f202353","datavalue":{"value":"speedup of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639602$8F8FE911-78FD-41CD-B7B7-715E522E887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52508c0cbe6b238390d7d80266984e52f0779ae1","datavalue":{"value":"Boolos' curious inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639602$569743F1-1AE9-4FE3-B205-3A3D17A3C74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5448e6e8fbf4218a8491a34dc88e5703f1882a4","datavalue":{"value":"higher-order automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639602$7FE62EE9-F762-4FE1-8411-90D741074ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74aab7611696781e09870483f8d8fa76d39f3eb","datavalue":{"value":"cut-introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639602$A5112D3B-AD5E-4ED2-AF2A-C8669AA2FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639602$A40D699A-AA3F-4313-B919-129822743CB9","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":"Q6639602$66435648-020A-46CF-BDA0-5F18FA861195","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4fedf115c205d6522297583c0299fd703ba818c","datavalue":{"value":"10.1093/JIGPAL/JZAC082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639602$F9D99497-5F72-4186-B317-65CB012CB52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22140587a2c6ece5185f195e81a02286c982421","datavalue":{"value":{"amount":"+0.7320540547370911","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":"Q6639602$B77DFCB7-4BF9-4FC3-91D7-2BCF9090FA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfa61574fc575acc4cb7d0ca05a72ef1b08a526","datavalue":{"value":{"entity-type":"item","numeric-id":2287904,"id":"Q2287904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61680e4186df93919bdce8884a11dca6212ca13","datavalue":{"value":{"amount":"+0.7080135941505432","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":"Q6639602$E2F0E995-62E0-481E-85B0-92A34FF09C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f88506a92079a5b24ed1e49a3b24f106d59380","datavalue":{"value":{"entity-type":"item","numeric-id":5951530,"id":"Q5951530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fac301284b79382146cda925942f03158e389b0","datavalue":{"value":{"amount":"+0.7050830125808716","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":"Q6639602$1CFF9DE7-A839-428D-A3EC-2B28D1A45178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf49610bffabfb30d665b9d9afcae1e1c873955","datavalue":{"value":{"entity-type":"item","numeric-id":5951893,"id":"Q5951893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be00d45142eb2e3c0324dc0b6e7a7d970a90209d","datavalue":{"value":{"amount":"+0.7049214243888855","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":"Q6639602$044BBC6D-8DA4-448C-8943-334D57B9EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bedcca7522067bd4c9657d84c45f2b6bd8d3026","datavalue":{"value":{"entity-type":"item","numeric-id":1272613,"id":"Q1272613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1d5f976f293071b195e2e293288b6662b42b78","datavalue":{"value":{"amount":"+0.697733461856842","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":"Q6639602$D66F4A7D-5FD8-4653-B3F2-F085630EA194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639602"}}}}}