{"entities":{"Q4874794":{"pageid":6904373,"ns":120,"title":"Item:Q4874794","lastrevid":46430028,"modified":"2025-12-24T18:51:31Z","type":"item","id":"Q4874794","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 871432"}},"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":"Q4874794$6E11B6A7-46BB-46E1-A39B-BC8141D29777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69efd9ac7223739a539f7563c0834c89747e8411","datavalue":{"value":"0843.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$33AD0DA3-738C-418E-978D-BF7B5BC28279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4874794$5F81EE95-94FF-436F-B5C5-F727291E7C76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed8fd212c2f0ddb9329716d1e3c475c7266f372","datavalue":{"value":{"time":"+1996-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4874794$2E3EA86B-249A-432D-9A5C-9F8CB0E1C5FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$8EC7AFE4-A31B-48A7-8C27-583A77D9D4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$7C2BED64-52B9-454C-B2F1-BD0EDCACED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$CF5260E1-CE9E-4099-997E-FD282470D57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$DF712D03-D335-4232-A031-1EF0D6D4C7DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8684c7321cfa96d1801e6188dd8b14faa4fc6758","datavalue":{"value":"871432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4874794$04DBF05E-B04F-40FE-9FA2-768DD468CAEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73a50ebc1a82574e84ee1696fdf855de0fc76b4","datavalue":{"value":"multicategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$D3647FFD-3185-42C2-9FBC-861D8F0104DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$6E250F6C-5D96-4342-8A94-48B8801B5B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$4335DA7E-C6A1-4C78-916D-8C8515CDFA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$C94AE653-A607-4856-9BFD-DB6AA94B437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$BAEFC250-2E6A-4F3A-9E88-3BB1503F746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$7885B548-6F1B-4C4F-AE0F-1B4438209CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4874794$63577496-9151-4846-A3A0-F092B22BB846","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":"Q4874794$291A16D7-67D3-49D5-AC6F-A5441D5927E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6382052715ce970e5ba9b499a54b280adc4032d9","datavalue":{"value":{"amount":"+0.8525396585464478","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":"Q4874794$BE616F46-28D0-488F-B7A7-81D2CFF95263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81a9fe63180760e6a1dd7af101b6668fad4b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa104e042d6d5f8c2b4d4335de77be8c82424970","datavalue":{"value":{"amount":"+0.830060601234436","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":"Q4874794$E9DCE7F5-E2D6-453A-87A0-ED8FA7B3E193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936ada3bfc6ce087817144ce70e3f6c938c25b01","datavalue":{"value":{"amount":"+0.8105103373527527","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":"Q4874794$ECA23A46-B23A-47B9-BD24-42E79D6BC848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8086fce4db2f660f1696abcf2a31ce4c9a872e62","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd87f3a370181401d2753c11167ea11fadce0d6","datavalue":{"value":{"amount":"+0.8037616610527039","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":"Q4874794$4C3B7EF9-6249-44AB-9580-AB35BF1080FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4874794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4874794"}}}}}