{"entities":{"Q6130529":{"pageid":13264836,"ns":120,"title":"Item:Q6130529","lastrevid":58709559,"modified":"2026-04-06T10:21:33Z","type":"item","id":"Q6130529","labels":{"en":{"language":"en","value":"Proof in the time of machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7826999"}},"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":"Q6130529$8B866E49-E4DB-4DCF-B4A9-B7EFC1DA61F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49b04e76bd255ae2b2ebd574a5e03c574411de2e","datavalue":{"value":{"text":"Proof in the time of machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6130529$12C4483C-32E3-44F6-8F33-E0CFB4142CC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ba5f7f8b4aff66527295db29be7049fdd01e64","datavalue":{"value":{"entity-type":"item","numeric-id":165886,"id":"Q165886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$0CD26FA8-501A-4672-A897-9ADB81EBE163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$6811AF2E-8755-45D4-9E5F-F2D2ED597FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"375721bd68bc74e399be92ce6fc048f85d4426e2","datavalue":{"value":{"time":"+2024-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6130529$D3C8EC92-3CC2-49DB-91D3-9A1BD7F927DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53d4274c7b7c1dc3d27e02a353408c043bfe7219","datavalue":{"value":"https://arxiv.org/abs/2305.02329","type":"string"},"datatype":"url"},"type":"statement","id":"Q6130529$791B3733-4D65-4E56-80A3-FFCB31E0AA8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$CFFFCD18-76CE-4B50-80CE-5A243A333223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85dc5dd47fe0653345e59eacf14b6f72a9cfe6b9","datavalue":{"value":"01A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$286C3104-71A5-42FD-82DE-33C99976611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c585ff1225385df763d563765306ba256a399acd","datavalue":{"value":"01A61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$4EF7496C-85A5-4FCF-9215-F8149721F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$5CE623F0-1753-4D50-828A-5DCB62D5D797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83cb38eac0ffab8214e713b7e16ecabd784b790","datavalue":{"value":"7826999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$BAA3B8C2-456A-40B0-8701-5414D1C7BA4B","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":"Q6130529$C62F90E5-F9A7-476B-A716-0A948E0C3763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb3cbcae2dcbd6e918083de91e338c1d10058abb","datavalue":{"value":"W4391845938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$1676290B-DED1-45A2-85C5-458FB6AB74F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb8a95a200a4fd4df6c7db9c1117448e2c946a0","datavalue":{"value":{"entity-type":"item","numeric-id":1912307,"id":"Q1912307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$BEB0B909-0420-48FB-BF49-025C78547582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4048b6e9fb3b9f62562c9cd3719d2a9d1c7598","datavalue":{"value":{"entity-type":"item","numeric-id":5038939,"id":"Q5038939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$9730D5D6-E114-45A8-A1B9-CD97F18E8C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$A0901ACD-BF89-46E5-AED8-CD805D287F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b430b25e563f4f6fd47d0ca0b91803e6578b04f","datavalue":{"value":{"entity-type":"item","numeric-id":4059028,"id":"Q4059028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$3AA10E4E-5030-476D-B8A7-D633740F5CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf4841a27085597345fa5c6f05e49816648f6e0","datavalue":{"value":{"entity-type":"item","numeric-id":5854480,"id":"Q5854480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6130529$E96C8977-8EB2-4823-9E07-C012E81607F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f5194e2819dd9977603511ff9be9786b1522a6f","datavalue":{"value":"10.1090/BULL/1826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6130529$35D7C1E5-E543-411D-9B7E-DB9BC5FAC20F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32069b0589eb4db5087176898bae93506014dd43","datavalue":{"value":{"entity-type":"item","numeric-id":5301848,"id":"Q5301848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fef91b69910e585d5461447f854cad8e3f7a80","datavalue":{"value":{"amount":"+0.7633835077285767","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":"Q6130529$7D896EFC-255E-4342-A500-3B1C367A6711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13ec618d5d9f54347d37f1cc7eadea7e9b538c4","datavalue":{"value":{"amount":"+0.7580189108848572","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":"Q6130529$40F02B48-2D90-453D-A841-E68A0193516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4656fbbe92a39aa996b8b4758bffd34d9eba30","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10148732db454ef56aa721b688c1616f2ad45e5","datavalue":{"value":{"amount":"+0.7509030103683472","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":"Q6130529$4DFCC7AC-41F2-441B-AABA-01139796B3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd82fd5d25e9a15439850f2079886e3b208636cf","datavalue":{"value":{"amount":"+0.7506005167961121","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":"Q6130529$9EA6AAAB-4764-4F82-A72B-A1DB9FB55C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555755d8a97d1263643b11c88a63a710be30843c","datavalue":{"value":{"entity-type":"item","numeric-id":3370569,"id":"Q3370569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331d876b432f1d8240ce7bf433f7677b95927251","datavalue":{"value":{"amount":"+0.7503451704978943","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":"Q6130529$04DF3C6C-3C4F-49A4-80A4-A653D35A2C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6130529","badges":[]}}}}}