{"entities":{"Q4397029":{"pageid":6426628,"ns":120,"title":"Item:Q4397029","lastrevid":46567161,"modified":"2025-12-25T01:23:00Z","type":"item","id":"Q4397029","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1169377"}},"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":"Q4397029$DF534606-5913-441A-B4A7-2865D453571C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c514603efebbfe38909cea10cae7fecb46e9c004","datavalue":{"value":"0897.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397029$7ECD9A58-8CCD-48A7-B6B5-D3C113D97CFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d52ac3468168b6d57078b674dd0db9d8701d0f12","datavalue":{"value":{"time":"+1998-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4397029$9E541237-08A9-4D53-A233-FA5DF3B7A04A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397029$E3B2EFEC-C159-488B-B469-2E0A75590C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397029$47F92E6C-14E5-4331-8353-6F1AAEFE3492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397029$058FD5AF-8DBB-49A2-A4FB-83A0B65149BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04a7a3d8d4de4b64a92e1b4438f49efbbf5d70e8","datavalue":{"value":"1169377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4397029$602473C4-5DD8-48F4-B1D2-7DC9BCEED95E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397029$F3AB5D33-BB52-45F7-8BA8-9258783617CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac10c5f2eba682f5de3269a2458915d6cd9535ce","datavalue":{"value":"cut-free derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397029$82356FBA-13D6-4140-BC6A-3E485B66E7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07b3138676aab0c29826b8e961bd9e50153980","datavalue":{"value":"multiplicative linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397029$90D29178-2C8E-4B3B-A334-E130C0EC6A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ca5cfccffd39d85ba6fb41c9da7ea76fab35e0","datavalue":{"value":"natural deduction in linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4397029$11E6362C-ADE2-4BB9-BE8F-05DB70E087DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4397029$B1E868BD-CA19-4B43-95BF-005BAA9531EE","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":"Q4397029$303EF33E-DBBE-48B0-B529-B41BAC3DD82E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c04d1f48e0007cc48074cb4029e2a259c77663a","datavalue":{"value":{"amount":"+0.8257859349250793","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":"Q4397029$379D510F-417F-4E8E-8A54-8F57A63AF8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08edf37047e15b9447f7521ce24714d635407ea","datavalue":{"value":{"entity-type":"item","numeric-id":3510440,"id":"Q3510440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4806e5431d83f174efa7de8339403836a1e403a","datavalue":{"value":{"amount":"+0.8235862255096436","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":"Q4397029$C5F5A099-F0EF-4EEB-9D41-CC99360A9779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ec02c7d07ea4068b497ad4a87518a0249b32b7","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b27e2974a420b67b5a8a0c5e33e44fd47b7bd9f","datavalue":{"value":{"amount":"+0.8227478265762329","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":"Q4397029$4DF302AE-E7E9-4693-BFF2-3ED61B26B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14834824771135e9cf6a75527d080c77f143aad3","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ddfe14c1231999dc20632ec4d8121351f74a45","datavalue":{"value":{"amount":"+0.8088884353637695","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":"Q4397029$29708702-F721-480B-A6EC-B15581AC1256","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4397029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4397029"}}}}}