{"entities":{"Q3644841":{"pageid":5674747,"ns":120,"title":"Item:Q3644841","lastrevid":49758370,"modified":"2026-01-10T10:53:33Z","type":"item","id":"Q3644841","labels":{"en":{"language":"en","value":"On the convergence of reduction-based and model-based methods in proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632163"}},"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":"Q3644841$92A5D585-AE46-4BAF-8746-4B7100E9E1F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f41cb7907421c93988da199f78ee1024537b124","datavalue":{"value":{"text":"On the convergence of reduction-based and model-based methods in proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644841$61979339-2DED-4518-AF0E-19F311AFA387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf0cf06263432390b0b1c56cbe2f4ee03021d3c4","datavalue":{"value":"1183.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$81DE821B-9C78-49FA-BC67-67E9AF0B1638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644841$4C5FE477-909D-43F4-82EB-4E02B893EF05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644841$D5D682F5-3D9A-4F81-A863-C01BB2B7D372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$B20D8F9A-A062-4D01-8747-05C21664F17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$C1C6D241-0715-4E9F-928C-D64CDC660B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$C1E43F73-AA4F-404F-84EF-D2E64A4E1E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$2D5ABFCE-A5EE-4E9E-BC2D-DCEED972E6A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a017642d3e806f71fe977cccb756d795e20176f8","datavalue":{"value":"5632163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$729226FB-559F-4653-B67D-405791DC8A32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644841$D9A8410D-3B40-4E87-A7D3-FE3AA0D3C427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644841$23A550DF-E1A9-4FCB-AEC3-5A4787B9F19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01075d081bdbae8d8ef04513cc08de3fc664dc49","datavalue":{"value":"truth values algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644841$2A465BAA-1781-4B44-93A5-78333FD13641","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":"Q3644841$D0674C4E-D797-4C80-92F7-5CF35A77FD8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5008d776d7b7db72c92b1dfec0e0caf5387fc663","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644841$BAF4BBF7-3EAB-4724-AF7D-D14B28D0F049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b95fc96f4b55693e09d891b0bfe8e2d0527c9ca0","datavalue":{"value":"W2032560163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$BB67D3B4-029E-495A-8934-99E498EDAEBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14dbc29cefb887351adea7bf98f229c0094efc74","datavalue":{"value":"10.1093/JIGPAL/JZP022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644841$EEC13EE9-EB44-42FB-B166-72569B628408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644841$801A3E5D-AB85-4C2A-8102-FAF80DBF108B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3908eb0a7bddc40053700f6f59d1ce15e1ab67","datavalue":{"value":{"entity-type":"item","numeric-id":2866742,"id":"Q2866742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q3644841$66E42EC8-F8A6-47F4-B37D-FC0535E0A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768b9318300d8be361b599a70bc6277221a4928e","datavalue":{"value":{"entity-type":"item","numeric-id":5111441,"id":"Q5111441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c963c455dafbe690b1567882487a4784187118","datavalue":{"value":{"amount":"+0.8793534","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":"Q3644841$B636C4CA-D26C-4462-B18D-1ADD47433E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbb8484190e270c42c08f500387e21de0064879","datavalue":{"value":{"entity-type":"item","numeric-id":1726351,"id":"Q1726351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad12e045f51f002502ec156662d252d9eb5ef4f","datavalue":{"value":{"amount":"+0.8725619","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":"Q3644841$8A995F54-78C1-489E-AF91-B688097CB42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda344dc59111ebdc243aa7385d8c420b1f3686d","datavalue":{"value":{"entity-type":"item","numeric-id":2767011,"id":"Q2767011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8671d739318482adeb5047f32fb871b8b4fbfb9c","datavalue":{"value":{"amount":"+0.8662872","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":"Q3644841$2FC6D43D-5AD4-4CA9-816E-29BA3FAB3AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82924ac879bef0a3c651e59476fbc4d685a96ac2","datavalue":{"value":{"amount":"+0.86180097","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":"Q3644841$E65877B9-4008-4EA6-AE66-FD13A4429CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c78321fc864123c91d9363d6ce6cbd68d9d3227","datavalue":{"value":{"amount":"+0.8604339","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":"Q3644841$CBCA1BAD-C87C-46C5-BADE-E8AF526CB653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dabea422cf75d48381904a6c1782cbb9190416","datavalue":{"value":{"amount":"+0.85894","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":"Q3644841$E2BEE8D7-1CD4-49DC-8417-F62C14CD7546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0dc953e2dcc4cf82edec1058bba3f6d7da8e53a","datavalue":{"value":{"entity-type":"item","numeric-id":4770008,"id":"Q4770008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d2cdabfeea94270d993032826f47f0f7f18a26","datavalue":{"value":{"amount":"+0.85827476","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":"Q3644841$44E4B846-2ECD-4CF4-8C15-0EBADB694E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ba1c674b8c2ae1df7fd3017f835f546ef95963","datavalue":{"value":{"entity-type":"item","numeric-id":4625692,"id":"Q4625692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838e173bab0e80ff882b1b509fd2397a752b4675","datavalue":{"value":{"amount":"+0.8578753","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":"Q3644841$1AC04493-2884-434F-924B-005E26968BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a9a768631a0d71056fd56d98fd96071926413","datavalue":{"value":{"entity-type":"item","numeric-id":5009679,"id":"Q5009679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f6746f4e3b4b6831d9e55c26595d79c96730f4","datavalue":{"value":{"amount":"+0.8576516","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":"Q3644841$0F95D4FD-F03E-478A-90E8-0258F3A50A75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644841"}}}}}