{"entities":{"Q4635868":{"pageid":6665449,"ns":120,"title":"Item:Q4635868","lastrevid":90534794,"modified":"2026-06-04T20:37:26Z","type":"item","id":"Q4635868","labels":{"en":{"language":"en","value":"From positive and intuitionistic bounded arithmetic to monotone proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863482"}},"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":"Q4635868$56A142E7-98EF-4385-8EEF-54447CA3444E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf39a75cd17779e45196557fa5cb6a4a46cb841","datavalue":{"value":{"text":"From positive and intuitionistic bounded arithmetic to monotone proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635868$66258577-9A2A-423F-8953-B40FE6835932","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0056101c6352a4246ff1f11f4ecc585a36428177","datavalue":{"value":"1395.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$0B9011FA-E4DC-4DD2-B779-576DD9FBBD85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54134f49be875e6d399c50e6b35a3a0b7c767989","datavalue":{"value":"10.1145/2933575.2934570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$FEE413F1-2560-4FBA-B423-8D676C4C6DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635868$85247C2C-56D5-43A8-AE19-0B8E41CDCF68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635868$E7070156-CB50-47B4-8004-742E2260FADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635868$08E0E951-80AD-4489-848E-9BDED02CDA21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9087e0f06cd96a4f9248604edfd62648e88bfa6","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/81113090/From_positive.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635868$35C7974F-E33A-4961-9E1A-19CA2408ACC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$38DBCB7C-48F1-40D9-A56E-574D58E922C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$4A7FF943-0BC0-473F-9F20-82B6BFFC31F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$BB0B0258-262A-48A1-A25D-3FE860AA9B42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"478503fe1ea0ea65fb094eddb44f6f30cb462904","datavalue":{"value":"6863482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$6A70679A-5667-494B-8E62-0D98261E31DB","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":"Q4635868$08CC9228-EABD-4EB5-8E48-3A1E4934D1F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"424495588632afdb251963b3573538cdcb11e1c8","datavalue":{"value":"W2530146152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635868$0E4EE666-DDDE-42C3-9A41-81B5DDA3A9CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48413f7787e46b28866e25539896786013502096","datavalue":{"value":{"amount":"+0.7628535032272339","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":"Q4635868$100BEFD3-0563-444F-BA97-1D4E206B2673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9d69dd3ea1d7217cf74311e82d8246be6a6a80","datavalue":{"value":{"amount":"+0.7554055452346802","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":"Q4635868$D0C8F971-583A-449B-AAFE-586C3CE5D4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6139eb162ffafedfc84c8624167295d89372d593","datavalue":{"value":{"entity-type":"item","numeric-id":4264539,"id":"Q4264539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a2e4651858d4b20ed80b48711f167c469fad05","datavalue":{"value":{"amount":"+0.7551935315132141","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":"Q4635868$703C9A3A-253E-4544-9D4D-B34C530442F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce9a74800c7ede56ed6bbbb3732fe9288e3a56a","datavalue":{"value":{"amount":"+0.7494629621505737","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":"Q4635868$BA03B834-FAC6-4A13-B464-DDC3C5C2E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8a30ceea8c23c439b0c2bf57e1776b9f2d4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233d75ce113fee1fc1f3b7f035ed14461a61cd59","datavalue":{"value":{"amount":"+0.7442384362220764","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":"Q4635868$E4FE01A9-8F60-4131-8B0D-EE87743E9785","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From positive and intuitionistic bounded arithmetic to monotone proof complexity","badges":[]}}}}}