{"entities":{"Q4828042":{"pageid":6857622,"ns":120,"title":"Item:Q4828042","lastrevid":74975901,"modified":"2026-04-15T01:30:40Z","type":"item","id":"Q4828042","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118592"}},"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":"Q4828042$3B29E674-615E-44BC-AED6-84DD0A220FA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edb763156289137a73d013fc0682f81b55fbcc6c","datavalue":{"value":"1052.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828042$80EDF18A-ECEC-4023-A7A6-4E87061D886A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4828042$587E81D3-7A7D-46BB-95F8-45792A6861CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec4b272a726b796d54515ee658f8d7370a60e5e8","datavalue":{"value":{"time":"+2004-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4828042$C881E291-6032-4D8D-BBD8-266D7717A769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828042$40E11CC4-1496-445F-933E-45E9F60D064F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d6c5a6dbdc10995efec2153cf022be114f19d3","datavalue":{"value":"2118592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4828042$C4B69AE8-228A-4729-BE4B-BBFCB80EFF19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828042$E5809110-8241-40B2-96F9-F3C7722C2111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0833587096266c63797a418dde5c8b0be534ed8","datavalue":{"value":"Dummett superintuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828042$BFF70652-BA85-45CC-B4FD-105EA6325C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4828042$9FFDC013-2E3F-4D2C-80C9-975B45AE9064","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":"Q4828042$E2EAA23F-4F80-4860-A6EF-F30B60BEE505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83bd0fd5a51cfdb18da6d7aa29999f0a607891f3","datavalue":{"value":{"entity-type":"item","numeric-id":3433181,"id":"Q3433181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9c00a1aa23ab43e87a1ead3475fe147643f677","datavalue":{"value":{"amount":"+0.8873945474624634","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":"Q4828042$FCC1795A-7762-4EF0-B86B-2C35047B07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a61a9e4c0c36b0184660b60ed2d7b23213da98","datavalue":{"value":{"entity-type":"item","numeric-id":4699343,"id":"Q4699343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a62b6ff054dea7a9d29a769543c55867ba89b08","datavalue":{"value":{"amount":"+0.8107404112815857","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":"Q4828042$A7FF1A1B-E4E2-49F0-AE4B-7BB585104521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee4b060e4cceccb096074df550ab798089690f0","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05592debb4d0b87bd46bdcbdc3c406ceecc3dab","datavalue":{"value":{"amount":"+0.7939344644546509","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":"Q4828042$80D1322C-2935-47EE-A664-9217F5C7196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2325724171c07c11b8ad1031aeb3709a3f8b8119","datavalue":{"value":{"entity-type":"item","numeric-id":2352485,"id":"Q2352485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259df0b9cfccbb11b56e8537577fb37dabb8d77c","datavalue":{"value":{"amount":"+0.7896495461463928","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":"Q4828042$2BA54961-8473-40EF-9593-A06F0BDE30C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5655f545400df301f9e8fec5993f0336dc88668e","datavalue":{"value":{"amount":"+0.7772257328033447","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":"Q4828042$77E16ED1-F8E4-45A8-9F4F-C319DD6DB913","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2118592","badges":[]}}}}}