{"entities":{"Q5195290":{"pageid":7224862,"ns":120,"title":"Item:Q5195290","lastrevid":53534447,"modified":"2026-01-25T04:55:29Z","type":"item","id":"Q5195290","labels":{"en":{"language":"en","value":"Formalization techniques for asymptotic reasoning in classical analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106521"}},"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":"Q5195290$CCB4FD57-54CA-4E80-B6BA-EB7F9FA62E04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44d3aea7ebff81d84b3bb8bfb5d7d79b2d5befa0","datavalue":{"value":"1451.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195290$EE96041E-7E1D-4E50-AAE5-BF64F363486E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$FB422C65-C4F4-42A7-814D-A5499451AA81","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":"Q5195290$246E07D6-EDE2-4ED4-A4B0-517C3A010F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21a01fed6e1c276e027d0f9654129a6fafd984e7","datavalue":{"value":{"entity-type":"item","numeric-id":1687727,"id":"Q1687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$1AAB3C15-19AA-4B01-BBB6-A9A258E52FFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e86f4a04633c16a30a7b65e0a3f44b477c2fa3c","datavalue":{"value":{"time":"+2019-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195290$31DA064B-9832-469A-899E-1F9FADE82CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195290$7858B855-9F3A-4030-916D-3AA481DE1A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195290$B2CF9F70-D461-4428-BB58-2CDF654C46BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2d6aea95b2c9038bd1d1390a77cafffe2da9d7a","datavalue":{"value":"7106521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195290$410FA94A-D9C4-4A79-8189-4CB8FCFC1E01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195290$AE37BCF2-2804-4542-9882-C184E1F64367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195290$D61FE4AD-785A-4CB2-8586-BC9D5901D20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1617677cd502f254b00f4af79c46a86cf4fb54d","datavalue":{"value":"classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195290$48FC3849-E183-45A7-A647-1E08126B64C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4662afa7c9f8436e3e8900a3438160b92f0206","datavalue":{"value":"Bachmann-Landau notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195290$A20E3A6D-8DD5-4885-B245-A8A6262CCBD5","rank":"normal"}],"P1463":[{"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":"Q5195290$8A662D89-2DD8-43B9-8AA8-4D7B321B809B","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":"Q5195290$901AFCDB-0CDE-4807-855E-69CE8648AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$28E06120-4AFF-413A-A3BB-62EE5C61C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84eefd31cc35b0f322abc9d88353a26c9605ee67","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$E9965EA5-0644-4D95-AB73-63539633F969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$35A53AF3-507A-41C8-AFD5-1D9D7790BB10","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":"Q5195290$1EFA9B1B-4BFA-41B2-A58D-1C4A3A4E609D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e08ac2fdbd0c8d873aede325f67deffb79bca","datavalue":{"value":{"entity-type":"item","numeric-id":5195290,"id":"Q5195290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$39E8CB67-0C84-4F2E-AEA1-B714DB19534A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b614d2d330f36bdd9ecd3e94fb292809877a0f54","datavalue":{"value":{"entity-type":"item","numeric-id":5307073,"id":"Q5307073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$3F684DF0-D665-4735-842F-7A93473145A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5235c10c3698de1a4379a61af54db96f22deba8","datavalue":{"value":{"entity-type":"item","numeric-id":4039820,"id":"Q4039820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$450410EA-A52B-4689-81B9-96589F32F710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$F4664138-76F8-4F52-BFAB-3939E5880768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291d4cf6a21f184ed89e23d3d44baace280bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$AFD75B93-365F-4FFF-A16D-AE8AEF6CEA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29942a76a6a8a3e22e4d4f976912372b91ce2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1687728,"id":"Q1687728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$31302EDE-B0AA-4507-95AF-6F8E48969C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93995806f3cb38efbd4dc8c293d21df9c18d37","datavalue":{"value":{"entity-type":"item","numeric-id":2362108,"id":"Q2362108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$A01D9E8C-933C-4C74-A16F-4113CCBC0DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$2D879C6B-AEDD-4E5D-8272-0AE6AD7C7141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$8EB4AEB2-B3EC-4A48-BD37-0157B93F79CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$41F2DA78-DFA8-4371-826E-244EF3239751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14afb593e146a0b4848eb62178807bc4e55d4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523168,"id":"Q3523168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$E76E0A51-75B5-4F84-A1AD-E8C2AE66F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$58EC8453-015E-4F22-A486-9703C74137EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398600f288655ed58072c0fe96a764c48f633a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$1F58E6C4-A75A-4CFF-AD57-B588C9EEB68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195290$6C915B6C-335F-42DD-B778-CAEC96721C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1e534f774e420aaaf8065c7d55ae477ee11689f","datavalue":{"value":"10.6092/ISSN.1972-5787/8124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195290$C07B4D0F-6A06-4C23-BD42-D0CD319BD796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8a5bf30a33c0fe9867dab43fa5ca843aa9e878","datavalue":{"value":{"entity-type":"item","numeric-id":5120486,"id":"Q5120486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139031a949123fbf8d7ee9bad2a42abba6ab5d70","datavalue":{"value":{"amount":"+0.7113834023475647","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":"Q5195290$619DAC42-6E11-416A-968A-A69A5A6CA8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7be6caaaa2c317c345966210e02cb9b65737f9","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9258d433e4d3c9abd34856964bff9894baf04f","datavalue":{"value":{"amount":"+0.7097554802894592","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":"Q5195290$9B470264-4D4B-4C55-8D5D-1907E37C0DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bfe1579abd1aa529055d84308768a923e2bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94057d3d6304d12e538b6ea54be6db831d90f163","datavalue":{"value":{"amount":"+0.6994451284408569","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":"Q5195290$AEB9D5F3-9969-446D-8A77-59D3952E37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369f48bb0ae678a67fd8f622b64e445377b7f33","datavalue":{"value":{"entity-type":"item","numeric-id":2128808,"id":"Q2128808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f236e193f36445a8a1c6c814b07ba33004ba68d5","datavalue":{"value":{"amount":"+0.6891670227050781","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":"Q5195290$ED2316D5-1708-41EF-A14E-48AA3CDC48DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e96188069f850e5b4c0c1b5fd43e7d00af24aa2","datavalue":{"value":{"entity-type":"item","numeric-id":3124717,"id":"Q3124717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1e5584061fd8fe3f2b01bd3e895d0f84600396","datavalue":{"value":{"amount":"+0.6711568832397461","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":"Q5195290$09BF8AA6-FE1E-49EC-AB33-275253374147","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195290"}}}}}