{"entities":{"Q3050396":{"pageid":3061112,"ns":120,"title":"Item:Q3050396","lastrevid":45347767,"modified":"2025-12-05T22:39:46Z","type":"item","id":"Q3050396","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645048"}},"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":"Q3050396$089DDD11-A5C6-4DA7-933F-5D87B7B95AE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e58b4835c2c9a9c49008b37775525b7890d3ca67","datavalue":{"value":"0415.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050396$63CB37EE-AA5E-41F4-99C3-59D013B46E3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4657a88c4f305d8731d11ba38f0e52910a921920","datavalue":{"value":{"entity-type":"item","numeric-id":1078189,"id":"Q1078189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050396$B6D101B4-614C-4D22-9AA3-59AC09E752A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q3050396$698448C3-E0D1-42DD-B4C7-427C27CDAE64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050396$FBD6DE2F-E9E8-4A16-8BFD-773510B55BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050396$CFE60A48-D6DD-449D-9F87-19B9F5B2F250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b6ace382cdb13a5074cbf671a0aac9ea409ebdc","datavalue":{"value":"3645048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050396$79ECED86-DF9F-4438-A2CE-D84702895A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a02fa28e08b9e4882c616fe60049efbbe08ed06","datavalue":{"value":"fragments of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050396$BD2DAC97-2275-471E-963F-5585D5D805FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02ce6b3579a631a444035eeb14a574f63c6dd0a","datavalue":{"value":"metamathematics of constructive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050396$6C1522DB-F1F5-4758-90E9-4E8017A59591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050396$DCA75F9F-0D0A-40A7-B7A3-3A6A8D613B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63c042af4af4d2b89993458bb249a99bf992938","datavalue":{"value":"mathematical reasonings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050396$6C65438F-7F5B-46BE-9125-D55D330CA143","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":"Q3050396$26FE9E80-4BFE-40D8-B400-2D5547BCF8BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3050396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3050396"}}}}}