{"entities":{"Q2866742":{"pageid":2877462,"ns":120,"title":"Item:Q2866742","lastrevid":83943119,"modified":"2026-05-07T14:50:09Z","type":"item","id":"Q2866742","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 6238555"}},"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":"Q2866742$70A75607-BEBF-4F31-9570-580B92E2BBC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"814ba59b3aaaf7f2efe9f823109c6c9fc470cb76","datavalue":{"value":"1277.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$DF677701-C7ED-4702-A780-EE86A25201DF","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":"Q2866742$AB2BC2C8-C6DE-4F21-81C4-455844DCE7AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$1966D9DE-7EC7-429E-A35E-83BB43EB7AAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866742$F053C099-C3E5-4DF5-9D4D-F7A6D15C64F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$6A35E2A9-3B32-465E-8D46-875ADBE58A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$50A676C7-0A00-49DF-8DF3-692DA50C5B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da5f828bf093df4ef32233a310b4b2a6241f012","datavalue":{"value":"6238555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$EE0089BB-7F7C-46BA-8292-BDF44ABFFDB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866742$28D49AE4-5A06-4D2D-AED9-74B71E6E7FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d35f71b2feeef33ab46de91b2f82b629e259d0f","datavalue":{"value":"reducibility candidates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866742$0D05CE78-0048-44E6-ACA0-77B75041B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866742$38BE3228-3040-4C6C-87A1-FB2FEEC891C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3211800d6cfd8e1b4b9bb6512d901512ab7361","datavalue":{"value":"truth-values algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866742$460EA1D3-5D4F-41BE-83FD-32B69D624B56","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":"Q2866742$638C7DC6-EDFF-4843-840D-53FE8EA8AA41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59d2eb49f4a8d327cdde366ae28865cb8059ff6c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.070","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866742$E09CA9C4-4237-4FBA-98CE-FDF804426989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12c8f6bf459d3affd71c48256964b6c442766407","datavalue":{"value":"W2081888967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$D2BDC24E-95D3-4194-A592-975E1426D2DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$9647C79C-1CAC-4E18-B3C8-3BBF05982613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e083ca1dc86b3d062c383762bcf1c551d67dd3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$5C079B63-4539-48FA-B736-14CEBCF957D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$D75B08FB-3664-4ECB-BCBC-DD2FFC5FCD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8f6dcf4e21fc4f38e6a48e83766674329c6ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3981455,"id":"Q3981455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$4C1CD8E6-588B-46E5-9D88-CA82F990201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491d79ebb333824e2a1d28fa415eece5d0654a36","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$20E7F366-A24B-411D-8154-B83C5555ECEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97bbece6fd02ca88be78a88e7c32c0d586ba22c","datavalue":{"value":{"entity-type":"item","numeric-id":2752529,"id":"Q2752529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$1ADF4C71-29AF-4541-9D05-29A2DCFD4F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d4e38bc26a617ad6c486910865ea965b523631","datavalue":{"value":{"entity-type":"item","numeric-id":3612439,"id":"Q3612439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$5C56D82B-3B7C-4D6F-A756-56FDA25EB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$97BE335D-9007-41BE-9544-1B202F67475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00050bf08d8c66ff630f04c504e55da93f3d3677","datavalue":{"value":{"entity-type":"item","numeric-id":5432335,"id":"Q5432335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$FBE807E7-CEC8-47E8-B40A-647CE9C623EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$25A17393-0310-4A5D-B40E-D8C83ACFB0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$2DFE916D-73CB-49B8-8C71-0AE274E8CCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$FDC327FE-50A2-4A2B-91CF-0E5CEA952F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$3CDD15EF-410F-4330-9D51-B74927814B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$E9CA9A42-0C4E-4495-B370-43A280EE2113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$9A09243E-2EF2-45CD-A0BD-AA422B7A33C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$93042AEB-B3AF-43FF-A94C-2A2791B37741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$69DE53EB-1BC4-4924-90BE-B97D63ED4A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$7FF7CA70-EE5D-41FD-9BE7-3DFFD4CE61AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866742$6997906B-AF6F-4ACB-8D6E-9DEDF3B9A4E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aad2eb83f55d321ba145e4f6991c9270a52ce3a6","datavalue":{"value":"10.1016/J.ENTCS.2008.03.070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866742$EB5FED70-3401-43B0-8903-3643FB5B40BD","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":"Q2866742$752208CE-2097-4001-8FD7-3E9896DFDF20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb85740cec58ec7a36ef91932ed08f036161c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3644841,"id":"Q3644841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70936bfa61e8d2797b549daf04791c310c1afc56","datavalue":{"value":{"amount":"+0.9999985098838806","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":"Q2866742$ACE3A45E-08CB-44CF-B197-25C865330700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825978af4493bf09c69ca57b64a5c7520885849","datavalue":{"value":{"entity-type":"item","numeric-id":3612641,"id":"Q3612641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19b90086397d505a6ed726233cd52e190665e64","datavalue":{"value":{"amount":"+0.8805587887763977","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":"Q2866742$8876B95A-70BB-4EC6-8B70-0CD2F38E3859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee0949c8a8613786781550f3a20becc8c452f36","datavalue":{"value":{"amount":"+0.7550432682037354","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":"Q2866742$86C8D673-1CB3-4320-A6A2-0B87BAE78D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36dab317dc6184607b28b60227d46e835ea9eef","datavalue":{"value":{"entity-type":"item","numeric-id":2987066,"id":"Q2987066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fc3341182f32ca31a5433503ee0cc5860d88a4","datavalue":{"value":{"amount":"+0.7519482970237732","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":"Q2866742$A9A0460B-0C1B-4C8E-A3E0-74D2843A329E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7910f50ae5a96092eb3bdfb8702ba88ad922a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572e3841f19fa136286c3e7be0c912724289cd7b","datavalue":{"value":{"amount":"+0.7460833787918091","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":"Q2866742$0E1CF8F5-6E60-4ED5-984B-E8CCEEFA2A2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the convergence of reduction-based and model-based methods in proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_convergence_of_reduction-based_and_model-based_methods_in_proof_theory"}}}}}