{"entities":{"Q3648168":{"pageid":5678074,"ns":120,"title":"Item:Q3648168","lastrevid":81101609,"modified":"2026-05-06T17:43:30Z","type":"item","id":"Q3648168","labels":{"en":{"language":"en","value":"A direct proof of the theorem on formal functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638166"}},"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":"Q3648168$45DD3AEB-B79B-4080-B7EE-638AD943D1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a34571bb8bb4ff6cabd3d65e4b393b3ee1ce8ff2","datavalue":{"value":{"text":"A direct proof of the theorem on formal functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648168$2D956413-B396-4850-928F-DF8E8600FA79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8bb978e4a9c8273ccadd2e51633cfe360a20287","datavalue":{"value":"1177.14023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$D21E7F0A-3F49-4D99-961F-B0AE25C58DD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e538df986b7d9def38b7174926afba8a781e5d1","datavalue":{"value":"10.1090/S0002-9939-09-10015-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$E4622A90-25FE-45F2-A26A-FA7C57DF2611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c778721ed60ea73d50d6a942e91be4bfba576abb","datavalue":{"value":{"entity-type":"item","numeric-id":225399,"id":"Q225399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$2933A783-4D9E-4679-8BA7-5BCA504B3944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b46327978e80974066fbf3bf47d9ced24c56a77","datavalue":{"value":{"entity-type":"item","numeric-id":1683402,"id":"Q1683402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$D4338B69-64FF-43D9-88C6-3216DF17444D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$3CDABA8C-C03A-4A91-892A-FC889B25749F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7802724d6393d9480215271c847488d3a99586","datavalue":{"value":{"time":"+2009-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648168$EC46660C-CA61-490A-810D-3505A0440DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b634cf8b438391e55d2b9cb4298c6e01ca3ea837","datavalue":{"value":"https://arxiv.org/abs/0711.4456","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648168$B8A7D1FE-2D89-44E0-B0EB-EA9B7F69AF12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$88CBEA01-6B10-4DC3-8C75-9808821AEC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$840B5489-C379-49D5-8AD3-479CA9F81AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2257f2f0389a8260f2de8730f0d1e3acdf22ce","datavalue":{"value":"5638166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$EB796AA5-61E3-4D20-A00E-065BA25909E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b739690b358751920cf4467070eadc330f62b6","datavalue":{"value":"formal functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648168$F0367CD7-39A5-40AE-8A9E-7B14AB9D5E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648168$58D6F54A-852F-4AFF-A4D5-1C4EAC42442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648168$218D4426-C771-4527-A21A-5431C5D1BFDF","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":"Q3648168$086F657E-B275-4289-8291-DF1A0BC12E06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b89f4287dbb4901cc6ba9064f810b81f5cb4f38","datavalue":{"value":{"entity-type":"item","numeric-id":5563439,"id":"Q5563439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$140B7979-5637-47DC-9BE3-7E5D34A90268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a717f561241244767a3bb6c233d8ef5919f0cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3247612,"id":"Q3247612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$7CA4F779-37A1-40D2-B7CF-DEF9B3D10448","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":"Q3648168$71B3047E-3394-4677-94B3-0E71F6739E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d7254a653aab7501df40d90fe6db404f36c1ee","datavalue":{"value":{"entity-type":"item","numeric-id":2555526,"id":"Q2555526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648168$FFA5BB2D-BF01-46AA-86A3-EC3D7E77AC0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af93cec7d7584ee0067c224e922073b96c9327d1","datavalue":{"value":"W2952801370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648168$9206C2B8-46ED-47FA-AF98-D6AEBC9FD044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5955a997514412328090c51c4a8c2eb25b7857","datavalue":{"value":{"entity-type":"item","numeric-id":3509919,"id":"Q3509919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4f3c0f6b5035e715ea67ec8ce60f7819ed0e82","datavalue":{"value":{"amount":"+0.9189032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$F1D3532B-F80E-4845-8131-B83CB0436603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8920f87e30043edc9dcb8a727081482c062449","datavalue":{"value":{"entity-type":"item","numeric-id":3689173,"id":"Q3689173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4a623b7338ad5ca765b6f226c894114e240a29","datavalue":{"value":{"amount":"+0.8809483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$2E2A63E6-31A2-4BE6-8243-F4CDC6965DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d571d41d813bb8ba60757dff1b402830199e98","datavalue":{"value":{"entity-type":"item","numeric-id":3824897,"id":"Q3824897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25072bf5725322faffaa85ad64543df655369d0","datavalue":{"value":{"amount":"+0.8746095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$55B78797-DC98-4D50-B5A7-3CF3FD65F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9897931497befa161cbfb2625e184bc8a13cb5c7","datavalue":{"value":{"entity-type":"item","numeric-id":6178296,"id":"Q6178296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21742129bb06a628358594848c545ab426184188","datavalue":{"value":{"amount":"+0.87010455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$C2732CC0-A16A-4E76-AA4E-786F3FA704C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a6fc97b92ae27cfb755edd9e0b4c790141ceb2","datavalue":{"value":{"entity-type":"item","numeric-id":4786523,"id":"Q4786523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e189a914b0ebfb610a2dd6ba34df68f14c16bb9","datavalue":{"value":{"amount":"+0.8698006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$921B6E5C-E5CA-41C4-8902-A56851E3C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321255606fd392f1bd89d5d6c4c99b80b45ce3d2","datavalue":{"value":{"entity-type":"item","numeric-id":3094172,"id":"Q3094172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e928f62883c48815304ffe026826e60ba11ff01","datavalue":{"value":{"amount":"+0.8640524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$678A65DB-9F11-4717-BC27-483523BBB5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d049bcdf1140147f9305ae425eac6d8662cb503","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7f16c792cb4166d4af5b20dc2f9cf4efdee93c","datavalue":{"value":{"amount":"+0.86223423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$C830BDA8-B705-44E4-9F20-02A0DACA34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9298b4d60be7a1250b7954360e358fb6db7550e","datavalue":{"value":{"entity-type":"item","numeric-id":1285595,"id":"Q1285595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65cac6f252d4f795a31ee11f3cc03966c6f7165","datavalue":{"value":{"amount":"+0.8607264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$FD46F3EE-DFE1-4345-A076-A3CE96208B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f1ee01e1e34915786df5dd6dbda594122fc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":4874205,"id":"Q4874205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813c3913e3f24551e0224b0780c087a7b72748a0","datavalue":{"value":{"amount":"+0.8603388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648168$211C983D-815B-467A-9016-A5C17F906ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct proof of the theorem on formal functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_direct_proof_of_the_theorem_on_formal_functions"}}}}}