{"entities":{"Q2871866":{"pageid":2882586,"ns":120,"title":"Item:Q2871866","lastrevid":51900725,"modified":"2026-01-20T12:22:02Z","type":"item","id":"Q2871866","labels":{"en":{"language":"en","value":"Synthesis of moduli of uniform continuity by the monotone Dialectica interpretation in the proof-system \\texttt{MinLog}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244441"}},"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":"Q2871866$E9F435B2-0A21-4514-9F45-99E77811FD69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07dabc1a2a39826b391715dc3bcd0f247206d8d6","datavalue":{"value":"1278.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$9021F4A1-6914-494A-83E6-A8473C09FA95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fda900f24f6234602837a102ab7eee0fdf7131e","datavalue":{"value":{"entity-type":"item","numeric-id":557797,"id":"Q557797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871866$F10278CC-D956-4E2F-B1D1-ED1CF4D3F2B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871866$A6FAD1D9-44E9-4AC3-8D39-1DDF40E574DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a42291d4080115f65e5b2f35c106993223b3e1b2","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610700237X?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871866$3EF20FD0-ED43-493D-AAC9-9CA948E0EC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$1E2322FC-747B-4CCE-8017-8CFC8C6DC4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$9D2650D9-C25A-4980-A7AD-DCBF96A0DE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$E85F701B-CD41-40B5-B916-A8337E467ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$BD3A3879-AC07-4EF7-B931-2B32FA68221B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b818f79ba361b3e148093af067f9f55debe4b2","datavalue":{"value":"6244441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871866$AD127CDE-A40B-41D1-9ADD-ED7E3FE2AAEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e773fb98d9dc58f444601ac5f616643aa33d94","datavalue":{"value":"program extraction from classical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$64D027AA-0569-4B88-9B89-F04542852BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c3bd25fd43005e1a8f75d7e71fcd10a2913fc9","datavalue":{"value":"complexity of extracted programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$9CA0BE10-91FD-48D3-A7A1-25A5A5384D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef44a703233ae4ccc23cadcf4f8e4bfc31905e95","datavalue":{"value":"proof- and program-extraction system \\texttt{MinLog}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$CCE40994-C2E2-46E5-9C8D-56539A64B072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c451d254c6fefde47f62dec143bfc56e016e6b06","datavalue":{"value":"G\u00f6del's functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$8CA148AD-787D-468C-AB9C-1ED458CC732C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$3B92FB56-0076-4E6A-8CA6-0DFEF6B166F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$A2F103BA-9C62-4F04-9351-D20D2C09A080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810e7159d9d4f45688dcda42b7438121a52626b5","datavalue":{"value":"monotone Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871866$555F890F-8A3F-419F-8158-93819446FC94","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":"Q2871866$83887C0D-0689-40E7-BBF0-8FE9FF650C26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4822db64e9c344afa0d2cfa509790422eb730928","datavalue":{"value":{"text":"Synthesis of moduli of uniform continuity by the monotone Dialectica interpretation in the proof-system \\texttt{MinLog}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871866$E7AF182F-7E82-42FF-9D4C-73786DB732FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87769249be4f419bd31557379ee5381ae8453d6","datavalue":{"value":{"entity-type":"item","numeric-id":1015381,"id":"Q1015381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c645aa3408eb14e07a261fa9205fdf7465c1e92","datavalue":{"value":{"amount":"+0.761585533618927","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":"Q2871866$A7D227D9-C7DB-4843-B39D-7883427A1DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d7b574c424b6743e9400f8e41c5ebf71d51db","datavalue":{"value":{"entity-type":"item","numeric-id":5300905,"id":"Q5300905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba26489a1987fa8345c49331a80792c21c90cc3","datavalue":{"value":{"amount":"+0.7456740736961365","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":"Q2871866$9DACD9F4-EB37-4481-ABB4-C26A2081DF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094dbf6a6bdfb9a5ca3fbf6fefeab2645abd5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3184220,"id":"Q3184220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610a83b8a8d10ac5c143db7f75d48f4a46269e25","datavalue":{"value":{"amount":"+0.7419992089271545","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":"Q2871866$3832E093-3124-4BB4-B72B-556FC42840B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656e48ca1509c013c472738abf1c0271b0652514","datavalue":{"value":{"entity-type":"item","numeric-id":5394596,"id":"Q5394596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c24d9187b370f9fc23ac1da2ec891da09e9d3d2","datavalue":{"value":{"amount":"+0.7409542202949524","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":"Q2871866$0C83FEED-1E4D-4224-B7F9-CAC3ECB0B3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e072e7793a249f2fc5306c2df96bd2841a2fd73","datavalue":{"value":{"entity-type":"item","numeric-id":5898845,"id":"Q5898845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732261561df76cf25988f003428cf93eb5a29947","datavalue":{"value":{"amount":"+0.7390433549880981","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":"Q2871866$F70655DA-0EE8-4D73-9FA1-42A255E4CA30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871866"}}}}}