{"entities":{"Q3960843":{"pageid":5990748,"ns":120,"title":"Item:Q3960843","lastrevid":55114060,"modified":"2026-02-03T19:36:27Z","type":"item","id":"Q3960843","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3781163"}},"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":"Q3960843$CC7A2DFF-EC01-4266-BF2F-0350BE2BC1C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b31a78bec320b217ceb21073e7979f00e28559b0","datavalue":{"value":"0496.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960843$33835042-6706-4A36-A5F7-505FBB81F21F","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":"Q3960843$0065B9E9-AE49-494E-806D-CBE6615667F2","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":"Q3960843$9FD9FDEB-233F-4D62-B545-F8D55ED66604","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960843$F531A3DB-FEE7-4021-871A-BE336DB69F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960843$2E08E2B6-5902-4B2C-8D2F-BC5BB99DE57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960843$AC67DC4C-11F9-4F18-9A9D-38B0C33D9DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42dfbf637ed7894fd675c4774799fa9dc57efb3b","datavalue":{"value":"3781163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3960843$3032CC8E-B8B8-472A-853A-B124A051C9DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$237B6C2B-A14A-4403-BE51-F2795A8206BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$D4DAB348-FD55-4BAF-B9A5-A7F0F6495973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985801cce35499ebf879753f7d1a8687c3650ad6","datavalue":{"value":"pi-one-two logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$2478ED02-43BF-455A-B470-526B8BC1AE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d05b99878f3cd01c64f091728a6d10cfed0c0e","datavalue":{"value":"dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$71F57383-5D08-4D04-A583-22CA96CA35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8582c9c9734eff214e5b5db65e867b5c228e500c","datavalue":{"value":"logical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$C1D3159C-A5FD-4EB3-84D4-690232FB725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"101632829a8fe5d948908893eb731707b07ce960","datavalue":{"value":"subformula properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$754C9D3E-3EC6-44AF-895C-BA8977AA3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$4E1201F7-BCF2-44A5-B5AD-411CE5D5F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$B34995D6-2E40-4353-89B7-F118A6571A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fb7fd21994c10f92530b0b1d01b0c0b292cf5f","datavalue":{"value":"no counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$1D3BEB4A-8482-4D5A-A231-40F2169A44A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cde7b7e41bad73c8880a1a8ae0aa68c002f44f","datavalue":{"value":"Goedel's interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$0F3E566B-3BEA-42B0-9123-652B371E33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3960843$7DB50F1D-0DC9-476E-B196-D273FFB9FC81","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":"Q3960843$C38538C7-3F34-432B-863B-62D84E3A80B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3960843","badges":[]}}}}}