{"entities":{"Q3997528":{"pageid":6027360,"ns":120,"title":"Item:Q3997528","lastrevid":55137280,"modified":"2026-02-04T00:40:14Z","type":"item","id":"Q3997528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 48659"}},"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":"Q3997528$93DA5231-2A2D-4653-8CB3-C49533A04D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"044ca98e8895e0bb3dcf190809240ab2ec112c90","datavalue":{"value":"0767.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$65AF137A-FD4D-418E-B799-95AE815908EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a074d5598a6623a5d37bab29d65c5ede3f76f6","datavalue":{"value":{"entity-type":"item","numeric-id":1204119,"id":"Q1204119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3997528$B80EA048-732A-4197-95DC-5091FA80485F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997528$91BA9816-5F72-481D-A63F-584FFB10AAC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$DEE1DEA2-B3BB-4691-8868-E4CA98F86A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$D08D2C9F-7C23-4976-8177-F0D34CEF2F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$48CB21A7-2CEA-4D5D-A6B8-3C575EBB7C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$2412CC76-6440-4700-A0B6-65F40A7B250E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$59B43FEF-4845-42AD-B079-4BD77EBA1B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d73d8e70fb03f7bfc73a6a929ffd8606dda2506","datavalue":{"value":"48659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997528$FFD9AF6A-67C0-48C7-A4B5-FF9DAD92E6D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6cc8959e7c2be896d4b96aebd9c69649c9f3e0","datavalue":{"value":"lengths of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$4CA2C3CA-09F1-4A34-87D1-713D11516E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$72F1996E-D173-43CE-94FD-B88ED4DB2D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$757D34C1-D260-4AB0-BC65-E3FA8E882570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c673b3392befd31c08869b3379c73351390cffe","datavalue":{"value":"Gentzen's sequent calculus LI for intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$2485CBE0-DD74-4A98-A5C9-91E2BBF02C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ecfb8fff4214c294d00cd70cd127f9bc9386633","datavalue":{"value":"efficient decision algorithm for derivability in LI","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$C460C340-682D-488E-966D-2862C9D8CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997528$9EB36AEB-06B8-4227-B620-3A82D636C8AA","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":"Q3997528$86F8176A-6B3D-446D-BD45-C88CD2F4A5B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335b3cc827cec77139a26d6061602617d3d5d28b","datavalue":{"value":{"amount":"+0.9123701453208924","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":"Q3997528$6468EA67-68DD-4991-B5E7-0EAA52BF311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6685ac7a3790687a707794b2d77611e5646d84","datavalue":{"value":{"amount":"+0.8121822476387024","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":"Q3997528$D03D0A2C-7018-44D3-88FD-6414591ED4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3a8f1d481118bf34f164d7d041c4c6204e25c","datavalue":{"value":{"entity-type":"item","numeric-id":3752367,"id":"Q3752367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50c024ef6afa6aa992d7d5d56a95fc4bfd57f1b","datavalue":{"value":{"amount":"+0.8030622601509094","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":"Q3997528$84B82268-169D-4E55-8F59-3A0EF8661638","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":"801ed96b7b8ac068004fab8eda6f3b247b95e658","datavalue":{"value":{"amount":"+0.7848024368286133","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":"Q3997528$385F03CB-210B-42AD-AAF5-A529A59A4BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997528","badges":[]}}}}}