{"entities":{"Q2957693":{"pageid":2968412,"ns":120,"title":"Item:Q2957693","lastrevid":52730876,"modified":"2026-01-23T09:21:56Z","type":"item","id":"Q2957693","labels":{"en":{"language":"en","value":"Non-constructive complex analysis in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678679"}},"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":"Q2957693$D353E939-F376-403C-A3A9-8701F7D88D58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54dc468e1063509abb1375bc3884898ce9f0024d","datavalue":{"value":"1354.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$D23EB21C-C12C-4DA1-84DC-7E1FB7D516C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49b5af76041dffa05da9518344b26ff1f15c9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":2343126,"id":"Q2343126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957693$FBFEE1F7-01CE-4234-A017-55D61B3858D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957693$63108D5F-03CB-4826-A380-6068EAEB2958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$D51F6FAB-DC35-4AF4-A851-56B504BD1A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$3835A57C-83FE-47E5-9D0D-165D0A3AFB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9724c54f6c863dabae389997dc41ca598097fcdc","datavalue":{"value":"30-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$EB54CF0C-3504-4451-BF68-5C35C5449C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a2c3a267d39cc0a240359433e7798b450888646","datavalue":{"value":"55-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$F5570AEE-991C-488A-963E-FF1162D38CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14ec5327f96f75dd33c754e69e89d726b09dbde6","datavalue":{"value":"6678679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$ED7C49F5-73D7-44CE-B19F-C3A63026552F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957693$FAA4E77D-A66A-4C97-938E-2C9D655650F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73caaa0671e2e0896d02d8425135c071f6435f0f","datavalue":{"value":"winding number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957693$68BE0967-B181-4DDA-809C-5CD96C1CBF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d9de6499a9187e25e8189dec316bec96b816f","datavalue":{"value":"complex analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957693$B078983A-1BA5-4713-B9BA-84BD0E573EA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"922708389b91927b28d1c165c3a087e32b97a744","datavalue":{"value":{"entity-type":"item","numeric-id":44093,"id":"Q44093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957693$4185D2E3-ABAC-465F-BE56-0E1F27127424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957693$0D19B067-C00A-4146-93A1-9CE68221E15B","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":"Q2957693$A609E77F-DDFD-4C50-B9EB-66C833AC83E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c00abbbaab883c24f3b36373d9dc51a8c8e3faa","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2013/3896/pdf/2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957693$3B6B053C-F955-4A76-BF4D-3E8FE57CE666","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a53f8d38c1e68748c7d4b2afb8439bf209dc3467","datavalue":{"value":"W2790102975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$0601C869-BC10-4A52-996F-D1D748CF521F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b74dc493381ea439dba96447a42c1a4d00f2b4e7","datavalue":{"value":{"text":"Non-constructive complex analysis in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957693$2B9070C9-FE0D-4B52-83CF-DA11A8951021","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cee33b25df2f1b602a5a7f97beb284b8d6aaecee","datavalue":{"value":"10.4230/LIPICS.TYPES.2011.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957693$900F61A8-43F0-44EE-822B-0E5FA5BD8E0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b136797f512721fd81e3ff6a23e98699e00bc304","datavalue":{"value":{"entity-type":"item","numeric-id":4736392,"id":"Q4736392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720e2d930b7bf0376593ea86f900f4d0482bfad1","datavalue":{"value":{"amount":"+0.7120606899261475","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":"Q2957693$048CDA7A-4B23-48A9-A597-0F750F5129F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b744135904d7bbad092c2acf0e887789b0c382","datavalue":{"value":{"entity-type":"item","numeric-id":5930550,"id":"Q5930550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bad248965cbd44be9db30f62c8b643ef79e93bc","datavalue":{"value":{"amount":"+0.7001500129699707","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":"Q2957693$E289C79E-DAE2-42AA-B5DF-B82C59B91DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09903e494277d353d2220bcec3796967e689850","datavalue":{"value":{"entity-type":"item","numeric-id":2829261,"id":"Q2829261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfdebb8f6c3d03186b310576d9f71ffe6ee02809","datavalue":{"value":{"amount":"+0.6950583457946777","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":"Q2957693$290B2F81-74C1-43B5-987B-531C50672D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8236f844ccd17424e98516bf89f9494c84ff76d7","datavalue":{"value":{"entity-type":"item","numeric-id":3412181,"id":"Q3412181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94ffbb28122f9df8cd1d2ada40b18c731cbe8cb","datavalue":{"value":{"amount":"+0.6932978630065918","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":"Q2957693$190D9AB7-366C-48BB-8CD2-D5D2F27F670E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26056bce893d9c3869c796df859e812158dfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4735190,"id":"Q4735190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949f4e561d68fbaa99335ec48b869b26bb911067","datavalue":{"value":{"amount":"+0.6910784840583801","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":"Q2957693$DFA1A83D-14E6-49FA-A19B-5A97A047F080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957693"}}}}}