{"entities":{"Q5301855":{"pageid":7331429,"ns":120,"title":"Item:Q5301855","lastrevid":50544131,"modified":"2026-01-14T08:38:36Z","type":"item","id":"Q5301855","labels":{"en":{"language":"en","value":"Highly complex proofs and implications of such proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494549"}},"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":"Q5301855$521C9039-D29B-4FC7-9E53-2DA47D06EB49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80bcebe534cc6073b9ad9c7b4d12a4a66e36f496","datavalue":{"value":{"text":"Highly complex proofs and implications of such proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301855$C4CE4C3C-83B9-4621-B89F-55F281BDFE7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"189f80de3ccc4d8adb215b968d78b8b3a0823886","datavalue":{"value":"1152.00308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$225AE077-D165-437D-B188-982CB346FAAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c17dfef6dfd0d0e67f2e830f77423c9156eef3a2","datavalue":{"value":{"entity-type":"item","numeric-id":226910,"id":"Q226910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301855$CD89DFBE-4101-497F-89E7-5851456257D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301855$401C2895-F8D7-49B9-AB0B-CF56A8648E8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301855$75939664-7700-427F-A607-E5A1AB9E1DE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$3B0E4FAE-F356-4801-8152-2B38D9943FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$165600B9-4FE2-49B5-995C-A0EF05590029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7149dc9784307609fb48f31e03d5c7219ea57f41","datavalue":{"value":"5494549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$6CDB9D77-3B1C-4017-92AB-FCDE7EC29234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678116751adccef0a447b42d06c46ec64d7306f4","datavalue":{"value":"complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301855$523D25B7-3622-47F9-A642-EC75998BFCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301855$472DB36C-1AD1-4AFF-BBF2-12F37479A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480422bce15622d13633624b91e1dd03f196b7f4","datavalue":{"value":"simple group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301855$65EC13A2-5DE7-46A3-A5C2-F97CD6F7AB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301855$2BEBEED4-A28C-433D-8EBB-70F5B1163B56","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a86ee5b59fb7060ecd08c77fdb41144b967388e3","datavalue":{"value":"Q46359617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$EFC4D908-3CA5-43FB-B839-1D4F46FDEB82","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":"Q5301855$C46641C7-C649-45DD-8BDE-CB4937635508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c8cd056924796ee6446c0921acbe42f2dfbdebe","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1655","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301855$269CE9EF-16A7-465F-AC75-5E82B9438E8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f531a96707005de3f07e57d76a9e0b999a1ad4","datavalue":{"value":"W2120795805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$D154608C-1480-4A99-9DFD-0E0C18CA1626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8090578f75b8ac635fe01bd91839e4e8041c739","datavalue":{"value":"10.1098/RSTA.2005.1655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301855$2EF9A260-A6BB-46AA-9330-04C23D01362A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834597db13d5a556c45038c4583c05bc62b4d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5411984,"id":"Q5411984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d95bb40010f3c19f9e7aa94a12b461f3d92b554","datavalue":{"value":{"amount":"+0.7622491121292114","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":"Q5301855$6FCA927C-478A-4646-90BF-EDB38D82FED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d0d6b9af3d9b8a03e6f97b776302c119ff96a","datavalue":{"value":{"entity-type":"item","numeric-id":5713160,"id":"Q5713160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9a47ad1bf3a8a128d0b6b8cbe1d3c11c3ef825","datavalue":{"value":{"amount":"+0.7599924206733704","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":"Q5301855$B7D000F4-221C-4EDC-89C7-6695D9025C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bea701d36108e729610986497099a7911bd2d17","datavalue":{"value":{"entity-type":"item","numeric-id":5301857,"id":"Q5301857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c40c34e0041ae89dffab8b12215cb92e176816","datavalue":{"value":{"amount":"+0.7439301013946533","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":"Q5301855$2D70E292-26C7-452A-984B-BE6CD29AB06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba0a57724d0442d8eb9cd40b2b85ba46dfb5d54","datavalue":{"value":{"entity-type":"item","numeric-id":2271073,"id":"Q2271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f9eba15a9a2d6b7dc160788c18904a7486bff6","datavalue":{"value":{"amount":"+0.7325124144554138","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":"Q5301855$428D06CB-0905-46E3-A999-8C323CAC3143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e35a450fc05f748631037344b8bf9c3af855b4","datavalue":{"value":{"amount":"+0.7096070647239685","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":"Q5301855$7DAAC494-2357-4F6F-9E9A-83F548DA3524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5301855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5301855"}}}}}