{"entities":{"Q3960845":{"pageid":5990750,"ns":120,"title":"Item:Q3960845","lastrevid":55114066,"modified":"2026-02-03T19:36:33Z","type":"item","id":"Q3960845","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3781165"}},"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":"Q3960845$459D4118-7347-4BA0-9EEC-F2DE6C77E950","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b35609d771679806b7a2cdc9060fc3f4b9a5c30a","datavalue":{"value":"0496.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$26406742-DD6F-4C5F-B781-22C486E112A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3960845$628A7298-03DA-482A-9923-A8FFED6739ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3960845$6A050D03-3818-41B1-A2C4-B72D4AD022D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$1D94B6CD-F364-4633-87E9-3D05FE0FBAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$73CC9283-9840-4F7A-8554-258940A08812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$AD92F5B4-CFD0-4AB7-B5E8-711FF880BEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$B53B0682-8962-4600-97AF-057D55871E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$44C4CF88-B24D-4DCD-A8FF-B1873769B6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$F8E9CAF3-09E0-4F21-B035-568D26EF06C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3449312df97a96b258e22b0e4518cae6ae2394db","datavalue":{"value":"3781165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960845$B409B054-3554-475F-9DB9-7844DA537836","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$352B22B9-1328-4673-AB9A-933BE58B8A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5500d70b26d176193c41ff8d02c636dd6522b769","datavalue":{"value":"beta rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$D8DC8868-841B-4AF8-81AD-2145005604A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5fe15cc0258624d7fe8e974a964f2940f4a657","datavalue":{"value":"pi-one-two-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$540C75A8-AE28-4079-86B4-7250BD4E0CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051d63f28858f2880370af7fe4fa3b76005fe87f","datavalue":{"value":"complete cut-elimination for inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$4C21282D-EE7E-4BE7-AA2A-30AA0954B0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$02008831-A6F4-4F33-8D93-7E1D8B678209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edef1cab7723c8240d729a8dff1a2bee63be927","datavalue":{"value":"generalized recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$D95419FB-FEF6-46C1-8502-59CAEDCF078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bb68a0e6d6481788d90b9c9b6b232ad71a66a6","datavalue":{"value":"ladder","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$11D66E27-AA8D-4B3F-9E63-4A55552AB303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207d4bdca116b0d29edc6a4bd857f4e0fe0f8d29","datavalue":{"value":"dilator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960845$3DFF557E-8867-43E8-A56E-FA20A883FD0F","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":"Q3960845$3753FFF5-28D3-4CCF-8BEF-9D6D6BD020C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3960845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3960845"}}}}}