{"entities":{"Q3079697":{"pageid":3090412,"ns":120,"title":"Item:Q3079697","lastrevid":51199235,"modified":"2026-01-17T05:05:32Z","type":"item","id":"Q3079697","labels":{"en":{"language":"en","value":"Proof theory and meaning: on the context of deducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5859850"}},"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":"Q3079697$A6C0442E-1AA1-4CD4-B199-6B42C21E3165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"677ab9e577d81fa8cc399d31140bf9ec26cc3f2b","datavalue":{"value":"1244.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079697$1CF427D8-4BB6-4C1D-8A33-FB37AFDCC058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079697$A2144BEC-BA40-42A8-97B9-FC37DB7CF435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09b533463020248dec48904871d03ce0d378b98c","datavalue":{"value":{"time":"+2011-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079697$FB180880-30BA-461F-8154-52B8E06A30B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079697$738A4A87-DA5E-4CA1-9176-2ECF7A81B354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079697$FA2E86FB-8E93-40D9-8240-0DBE1AA2F5BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa92b112c071063674ac27835fba2493a75da07c","datavalue":{"value":"5859850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079697$FF411C64-4B4F-4932-8649-AAB32F1F5348","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":"Q3079697$38718269-28C3-47D5-B411-F3DB48B162A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e3f8c68323476108eb22fd6b87a9ff6f098611","datavalue":{"value":{"amount":"+0.7545991539955139","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":"Q3079697$6083BA86-74CD-46CB-9DFC-302F3470C87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831327a9e52e2ba944e96e6e68008a3d2c66f0a0","datavalue":{"value":{"amount":"+0.7428950667381287","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":"Q3079697$33510DE5-D910-4646-A3F7-990A82183DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0950ec54055d96325e837a15076d709974257ba","datavalue":{"value":{"amount":"+0.7304914593696594","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":"Q3079697$ED49E04E-0024-4B02-BA41-541DFD4CD30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8473a344cc4c4c6ad718fc58b4e2c864fabc496a","datavalue":{"value":{"entity-type":"item","numeric-id":5739971,"id":"Q5739971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7a5f5ae10ff7afce79115fb5033c8086123e9d","datavalue":{"value":{"amount":"+0.7297252416610718","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":"Q3079697$428E2CDB-C6DE-4ED1-B885-E35A0538D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"801c26e0fd8b7d8e8c193ffd6b605a1fbd471200","datavalue":{"value":{"entity-type":"item","numeric-id":975776,"id":"Q975776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1410b28f8fa2e9e86afaa1eb65b7347ab98c151","datavalue":{"value":{"amount":"+0.7285548448562622","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":"Q3079697$30A7521C-D8B5-496B-BFFC-1D1636D2FC38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079697"}}}}}