{"entities":{"Q5302558":{"pageid":7332132,"ns":120,"title":"Item:Q5302558","lastrevid":50533424,"modified":"2026-01-14T07:52:53Z","type":"item","id":"Q5302558","labels":{"en":{"language":"en","value":"Formal proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5486209"}},"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":"Q5302558$8E96FB61-92F2-4DE7-9089-B04C08BC407D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66ccdc4a46d852b44e78e9dc152a96cbab929df0","datavalue":{"value":"1188.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$6AEDCF7C-3AE0-4006-8644-385B03F150C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f210947d1f10526bfe277aab343a3905d8fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":684404,"id":"Q684404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302558$258146C1-4839-4BB8-A10B-E14601A680CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55a0bf8b3b64224045ad841b57d4f9669a829de","datavalue":{"value":{"time":"+2009-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302558$D1313208-59F6-45E8-915F-7A3E3EB54F1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69df236016847b17e0a2054456c13bf0d104434e","datavalue":{"value":"http://www.ams.org/notices/200811/tx081101370p.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302558$DF04BBD5-8D88-4159-B534-FD1FF4983539","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$7318C6AB-C954-46A3-9801-9F44B631EDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$5391CB84-AC3C-4782-B291-6B9FA9FFB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$157AC6AE-FCC3-40D7-9409-86FE97A2203E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$7D140007-D5A7-4EA6-8D74-D4AFAB6E62BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$CFC45D97-8A31-4EF2-A1B7-F8C03BA4F51C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8494847337f8ce54ccfd29b10f208241a75d68b8","datavalue":{"value":"5486209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302558$35F94C09-220E-4928-B8B8-BEE198F7E101","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302558$0BE884E9-B9DC-4AF4-80C3-80F3F3A82FEF","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":"Q5302558$8A0955C2-96CB-45D9-861A-A1782E180AB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a698c9ed457d5b7194d76d0738f6cb6ad7eae167","datavalue":{"value":{"amount":"+0.806279718875885","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":"Q5302558$F5AC879A-8330-4915-8396-D3B586EDAAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd9f5ddf0572bc108cb908048a68edf9561890d","datavalue":{"value":{"entity-type":"item","numeric-id":2879090,"id":"Q2879090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e1aa0534421cafca2eb8d74ea46b4593669032","datavalue":{"value":{"amount":"+0.7912513017654419","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":"Q5302558$8B590469-8799-4A58-B9D1-24EE4A36E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeea4bb2b5ba2b2bf4fa10891363c2362a96cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d8386cdec14bc16668eac4244574e727fca61f","datavalue":{"value":{"amount":"+0.7818730473518372","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":"Q5302558$091D95DD-68C2-40A7-A858-ECA440B274B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3402ca78550be85cdc6de3757cefccaa74df2e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4664201,"id":"Q4664201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c503bb1c8596253a8514d8655a81bd703c4384","datavalue":{"value":{"amount":"+0.781507670879364","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":"Q5302558$675338BB-969A-460B-8346-83D170421581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2aab0b051f38a2ec6bcbbb178d3394950ea2eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d418c426cf88138ef2a0c380902c135ca213d6c2","datavalue":{"value":{"amount":"+0.7565377950668335","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":"Q5302558$D61FB608-31CA-47F7-8C71-4F8EA9BB73FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302558"}}}}}