{"entities":{"Q6157249":{"pageid":13291860,"ns":120,"title":"Item:Q6157249","lastrevid":39733472,"modified":"2024-12-30T17:59:12Z","type":"item","id":"Q6157249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7699425"}},"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":"Q6157249$E61544DB-A9D9-49B9-B60E-A0B92EA4D8E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dcb4e0ac727df37412e99839004e0173fef7cde","datavalue":{"value":{"entity-type":"item","numeric-id":1687716,"id":"Q1687716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157249$AF9242E7-E6B8-4062-9746-94A1AB17D008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157249$6F900A7E-2DD0-4737-BB69-CD71A6286269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157249$431363F2-A2B6-4637-AA6C-8BEDACA6C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6157249$4841A53C-44D6-4D29-B2FF-584436A193D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b82aa14f69973fa1b25911e00f92c9fe2c2cbee","datavalue":{"value":{"time":"+2023-06-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":"Q6157249$9149F3A3-F0A7-4D31-8844-5ACE33CFC599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157249$5EB241C3-E2CA-4E63-9FDA-1FAB25980CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b136e37167e556c074ce595c6351bea48cceeb58","datavalue":{"value":"7699425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157249$1D42ED66-E988-4BA7-B37B-2D49AD48B37E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83caaa7616bbb2f2ac50a1d216c535fcf88de880","datavalue":{"value":"Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$7F2E5D47-2393-496B-B346-364A980CEF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$03E3927E-0F01-4DC1-A17D-6729A73425EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9f573a03b34587dd626cf386eea3e8629f75b","datavalue":{"value":"mathematical components","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$CD483D76-6D75-4A33-9EE2-2688FFD8F75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$0601CDAA-CD1B-4983-B916-BA66C6BE99F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b10071ad1035567f3e440516ad8bd684ff6bae","datavalue":{"value":"Abel-Ruffini","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$098F190D-0F82-4F0C-A496-16960094BCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40f0afffbccd470d0f24b951583d97efdba17719","datavalue":{"value":"general quintic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6157249$5154D2A2-D616-4024-A486-731CCFED95EF","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":"Q6157249$C0D5AE8D-8271-447F-8EF9-B894631DD222","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fddd1ef6233634f4b3122ca9f5462dfa11e3fc5","datavalue":{"value":"10.4230/LIPICS.ITP.2021.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6157249$C24751A5-2B68-4ED9-8B43-4D6912A4BB6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6157249","badges":[]}}}}}