{"entities":{"Q5094476":{"pageid":7124052,"ns":120,"title":"Item:Q5094476","lastrevid":94264745,"modified":"2026-06-05T06:22:42Z","type":"item","id":"Q5094476","labels":{"en":{"language":"en","value":"Formalizing Galois theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566891"}},"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":"Q5094476$A431A5C9-4CC0-48A3-B3D3-68432CE55AAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12ac824e826668f0aeb4475a4996dc89d4e6103e","datavalue":{"value":{"text":"Formalizing Galois Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094476$30A3EB8C-527A-4174-B764-94486B203C32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ef1ca9832127e4f28e0c3a46a615f58d87eb465","datavalue":{"value":"10.1080/10586458.2021.1986176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094476$DAC60581-103C-4250-AACA-218FC0C3518C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fca3408e2573ed1a4130e1d48620d55200851e","datavalue":{"value":{"entity-type":"item","numeric-id":2049614,"id":"Q2049614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$4BF75DB3-178B-4A82-A9DE-6EEB566E1946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4f779267d3ff3acc7c5d6e73085643449b97ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5094475,"id":"Q5094475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$9D0D7210-91C2-483B-B53C-B1345BF761E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$F8DC22D7-5F1D-416C-B2AF-7652C6C803A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa016bb6723a582b7104f77969047fbd7302b4b2","datavalue":{"value":{"time":"+2022-08-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":"Q5094476$D985A1D9-B660-42CA-BA1E-A8F7B108641D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19929c39eadc7a9706512266cabb047311adb110","datavalue":{"value":"https://arxiv.org/abs/2107.10988","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094476$660F3459-A2B8-42B3-8563-A4F9D0567937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094476$4A262B08-30D5-40CD-A9D3-20FDC88039E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"570a48d2b0bff602545ef3e6b6346880776944b1","datavalue":{"value":"12-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094476$308379CA-57E7-4910-917B-6C9170880E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec6f587c970b9b12c94f61632c0f55a07af3524","datavalue":{"value":"7566891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094476$8598CEAC-49FA-4203-BC01-65F18FF06D5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094476$2D6E6BF7-8227-4960-A062-B031108FE834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094476$D01D45EB-1171-4A04-A8FE-7C292BEFFD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094476$00D087B7-7998-4FC7-B316-44B4F3B81525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cca95b8681023850340d37b11cc10118e852f9f","datavalue":{"value":"field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094476$B3AA274A-06AC-4507-AAAB-DDFA8205215A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83caaa7616bbb2f2ac50a1d216c535fcf88de880","datavalue":{"value":"Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094476$91A2314F-0A2D-414E-BE22-140D285171BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6e67cf93810dc657a210d9312434097723ef56c","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$6B370921-C82D-423F-9AEA-DD3C54C77E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$B37B15FD-75CD-4861-8CCA-E70ED5608D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$2C285301-D24F-4D2F-B565-EED8249B0DAD","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":"Q5094476$9264FBAE-FB6A-4BF2-95BE-53805D7DA8FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b79b7bde579743fd9ccb47bf6f35c1c0adc8ea3","datavalue":{"value":"W3207437697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094476$480F5455-0C67-4E66-B829-E7601BAD71F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$38D66B9F-8141-4AA5-A684-54445ECDCD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0afe65bf57cd50d32b50e16f70efe0766409f603","datavalue":{"value":{"entity-type":"item","numeric-id":2043593,"id":"Q2043593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$F09F2FC1-C5B9-45B5-AA73-BAB51A2AB018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$595F222A-AD15-4595-A3F4-3AB16B02D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5f63a9a35b8899e3cd99b40329ad4c5d24a55c","datavalue":{"value":{"entity-type":"item","numeric-id":5875427,"id":"Q5875427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094476$C4670020-AF25-441F-9848-C59C087B5613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2529f43b6a62fedd73d8798c44a0e5734a98fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4691496,"id":"Q4691496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8207ee00633401c7299f0e60c00b82c82b00981","datavalue":{"value":{"amount":"+0.7314344644546509","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":"Q5094476$BEC58AED-9BE0-40CB-A52A-00E0977750BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6750cd750a678c63f2278474a446b88f4518bb","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf61b0fa5fd85a870dd6f4fa0a9a481fa9b952c","datavalue":{"value":{"amount":"+0.7084491848945618","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":"Q5094476$EB5C537C-CFAF-4B85-AB0B-0587C0FC50E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f8e4fb92c5e9f8415dedf91c1faa12b8ea2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e687cadd870188fb934e7432b9c5069d02b3b7","datavalue":{"value":{"amount":"+0.7041641473770142","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":"Q5094476$FDFA2663-4E18-4D8C-9058-F7F824A9975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a109acdde3e77f1ee66670ed4e06b142d4f619e","datavalue":{"value":{"entity-type":"item","numeric-id":5413741,"id":"Q5413741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428f594a5cf1fe997359024e0ebcbf83e1d0ffae","datavalue":{"value":{"amount":"+0.7037621140480042","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":"Q5094476$3D4CB5C0-F743-44F6-937F-CBD0125C3E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019d5049491838a3576a75e7c41ca449f3d73b08","datavalue":{"value":{"entity-type":"item","numeric-id":3161631,"id":"Q3161631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d406b1b10f51b90fcef5ef9233c29d2741781b6f","datavalue":{"value":{"amount":"+0.7008330821990967","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":"Q5094476$9F58D53C-5B16-4384-A81F-A2B41F84C76F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Galois theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Galois_theory"}}}}}