{"entities":{"Q3909044":{"pageid":5938949,"ns":120,"title":"Item:Q3909044","lastrevid":54942544,"modified":"2026-01-30T22:23:11Z","type":"item","id":"Q3909044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3719132"}},"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":"Q3909044$1470FFA3-DD44-4C15-BAF3-2EED81D7D0D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8f0c9fefb9192b04e179b7c7ecec1d66eba7ff0","datavalue":{"value":"0459.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$5094D321-C93C-46DA-89E4-E56D8EACB13A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5f257a9fa06bac61921d73d1cf274ee6329d245","datavalue":{"value":{"entity-type":"item","numeric-id":3909043,"id":"Q3909043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3909044$37CFB13B-867E-4DC0-9BB6-F41B5585B942","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3909044$6435EAC5-6C16-4407-A709-55BBD26ED4B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$590805EB-3A3A-4D51-95E2-3B68FB18181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$148268AA-060F-4034-A53D-DF07FFC52B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$46476B32-0455-442E-8F67-8B487525CFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$DD2F7B37-6CFC-44B2-A5A7-FAC46E8464A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec9e02f55dea4379a646b28b0138a3720ee1329f","datavalue":{"value":"3719132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3909044$8855E392-8055-4CC1-88B6-21EA259C84FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3909044$ACBD3614-D0C1-4D23-B166-1DECAB9B9794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3909044$FB2A2CBF-2137-4E0B-BC02-1C77A3DB1CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ccc2aede95f83d1244d98a69572d2f7cb0be2c","datavalue":{"value":"normalization theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3909044$0A7C9011-01F0-4495-A804-88CD9B766E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3909044$2E0E8B15-AEF3-450E-96B6-AEC63A6171BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0589fa8370279a6ca488cbf7aba1f98215c6ca","datavalue":{"value":"semi-formal systems of natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3909044$7C15E702-1B2E-4CE0-B10D-9085AB06C3EC","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":"Q3909044$E676D149-0653-433E-B67A-92A60FE25332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3909044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3909044"}}}}}