{"entities":{"Q5094471":{"pageid":7124047,"ns":120,"title":"Item:Q5094471","lastrevid":58424928,"modified":"2026-04-05T04:10:41Z","type":"item","id":"Q5094471","labels":{"en":{"language":"en","value":"Schemes in Lean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566887"}},"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":"Q5094471$931DFC20-DFC3-4F36-A32F-66F63B4630E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"589b081d58a0db6ef5494aeaf721925bf0993260","datavalue":{"value":{"text":"Schemes in Lean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5094471$B259EF99-23CA-46EC-B453-3159023A50B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3c3b3a39d1054a931fd044fe2c09ec8a46a4893","datavalue":{"value":"1497.14003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$16E030E6-13E2-42A6-AD10-CD46202C3F47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d9a4378d05bb716be6e79ad5d1eb4d094ce031b","datavalue":{"value":"10.1080/10586458.2021.1983489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$7965BF34-A122-4C7C-904A-5E9D1379CA29","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":"Q5094471$CBE76118-7DB9-4D0B-A7C9-2C8CB0878A25","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":"Q5094471$C539ABF4-78A9-468C-9376-6EBA2F7D7463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c54b35868dbf73543e839561cb72800de36f0124","datavalue":{"value":"https://arxiv.org/abs/2101.02602","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094471$93B1005C-6A85-4F78-860C-D4C5A77F1FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$B37587E5-6A37-4F58-80D3-46595DFB4BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$A7EC670D-BC3A-4EA3-B960-F8B4B2D7D516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7662b5d9d1e280fa2a4bd2399b8014c692835dc1","datavalue":{"value":"7566887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$B7B4AE88-1D2B-4256-BAB5-4DDFEEB8D1DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a04dc9ef9274c5f3f3c4fae90c5beaec7cc2e6","datavalue":{"value":"scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094471$FB0986A0-69C4-47C0-889F-C17529669E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094471$AF21A453-DEC3-40A2-9716-9DD2AA632E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094471$301EA897-6525-4D06-9319-559800E15BF3","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":"Q5094471$C5A17E37-281E-4791-ADF6-5CD66850CBCA","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":"Q5094471$A11895B6-B4F2-4E76-BC2B-69D4034841E9","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":"Q5094471$7DF55EF2-2A4F-4D25-B980-7991C9606F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b51153040f4731ea1ee6cc83a5e04cb684bd643e","datavalue":{"value":"W3217786894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094471$E8BCCCE8-AE5B-4C4A-BDAE-121EF8610891","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":"Q5094471$3F7749F8-9DC4-408D-A69B-AD3FCA3C8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a52784caac36ec5fae3d18690b3fe59b50322","datavalue":{"value":{"entity-type":"item","numeric-id":2626260,"id":"Q2626260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094471$9D637884-CC69-499E-AD3A-972E3A90FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094471$56BEDBAE-1AD2-46EE-AB5C-8DF551B80CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160891e173c8fce65d2399de7dfb3fcaeafeb946","datavalue":{"value":{"entity-type":"item","numeric-id":5846813,"id":"Q5846813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094471$FF33B280-C11F-4EB6-A775-F299CFC161EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa390bed40476ada5703053994becb4f6c4652c","datavalue":{"value":{"entity-type":"item","numeric-id":5094472,"id":"Q5094472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f05fb5572e54e1983e3507ed6a7db2b4dc2e39","datavalue":{"value":{"amount":"+0.7461430430412292","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":"Q5094471$E88D3265-1D60-4C6E-A85E-AFCB27F66554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1f3331b51ca53f8eaab24ecae369057c407154","datavalue":{"value":{"entity-type":"item","numeric-id":372699,"id":"Q372699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df80b6f42a8a1e47f34626bae2d2e5393f6adea0","datavalue":{"value":{"amount":"+0.7224234342575073","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":"Q5094471$F3C44AB3-8DF4-4761-91E5-F10DF291787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e81882b2b44b6d0bac32f95c1fb92c005b2cf53","datavalue":{"value":{"entity-type":"item","numeric-id":5039658,"id":"Q5039658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d947df7e49276d6e357a5bfa0fdba456b58409","datavalue":{"value":{"amount":"+0.7176492214202881","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":"Q5094471$08DFB09B-F945-4D50-A8DA-E9D33D7F0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfc612fa3980070fdd53a2cb4ca179e44861c9c","datavalue":{"value":{"entity-type":"item","numeric-id":2128117,"id":"Q2128117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de4833ec256e8bd97959fa9b3c9482937d8be28","datavalue":{"value":{"amount":"+0.7076380848884583","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":"Q5094471$46CDA0FE-A904-4355-AB37-D261876C139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c16381ea40fc1a12e87285597109c5dd7239da","datavalue":{"value":{"entity-type":"item","numeric-id":6157246,"id":"Q6157246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11af184157cd0510c85ec01951184e4cd76b8a4e","datavalue":{"value":{"amount":"+0.698867678642273","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":"Q5094471$9207EDC6-E8CD-440A-AE43-E0B9625C676E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094471$45043A7B-924C-41A2-9E93-EF06CFC2115A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5094471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5094471"}}}}}