{"entities":{"Q3153288":{"pageid":3164004,"ns":120,"title":"Item:Q3153288","lastrevid":48004903,"modified":"2026-01-03T08:23:29Z","type":"item","id":"Q3153288","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1823879"}},"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":"Q3153288$8CCF1542-24F8-4593-9423-ECD7ED758703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be60fc179970a761dab1b756d1661f48c553438d","datavalue":{"value":"1002.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153288$E4B4E86E-3F9A-4636-A9D4-E9A5B1772ECB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3153288$86F9A5B6-A1E2-4597-AE48-F642C30F52E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"057a96f3936b75f566a0a23d243f39fcfc13edb2","datavalue":{"value":{"time":"+2002-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3153288$6CA948CC-0547-4418-BE5E-2EA91A8085D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153288$3DE67CBD-868E-4FCC-B125-BE3807BB7C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153288$98857869-3F8F-48C3-AB07-0C44E7AA148C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"595ca45cbfe515361f7c0f8664c6c3a1e7110f1a","datavalue":{"value":"1823879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153288$933E132E-DFEE-4675-9EFD-FFF7B96D9639","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cacf3551bb1b2bc2c98cbd1454171897054b41","datavalue":{"value":"Heyting propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153288$D5971D24-9DF1-4838-AAF3-EFE30BA00BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153288$FC4DB400-D78F-4AF6-83A0-CD74C7E78495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153288$EF0464CE-0E06-4F54-8313-B7156C2DF045","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":"Q3153288$51D4F4B1-9328-4B2B-B43E-CEB2828359EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dfd4e1479a45bbe9f25251d74fcb129789a4e7","datavalue":{"value":{"amount":"+0.774504542350769","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":"Q3153288$ED945E88-27A7-4F35-937E-ED36A3C850B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03da4b6b3513810b613f5f467d21802b524db7f7","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee9f98a3e830a4d24b33a1057c88edc0619aa03","datavalue":{"value":{"amount":"+0.7732686996459961","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":"Q3153288$2F515F0F-6D7F-453B-A40D-CB16BF54F5C2","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":"d9e8e612e9751d6572b5af017904c4bf553cb531","datavalue":{"value":{"amount":"+0.7695857882499695","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":"Q3153288$E00FC9F4-BBD7-4B66-A115-527672954330","rank":"normal"},{"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":"efdafdc3638a6ececcb56082589f183789aff615","datavalue":{"value":{"amount":"+0.7681608200073242","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":"Q3153288$72CF9172-DA89-43B8-B242-D7DD24174623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32bfebc5ee8b344c13dade8a516a1005272067","datavalue":{"value":{"entity-type":"item","numeric-id":4924532,"id":"Q4924532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdafdc3638a6ececcb56082589f183789aff615","datavalue":{"value":{"amount":"+0.7681608200073242","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":"Q3153288$9D3D0034-9D6C-4F9D-B01E-16CBF581443B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3153288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3153288"}}}}}