{"entities":{"Q3041187":{"pageid":3051903,"ns":120,"title":"Item:Q3041187","lastrevid":45324694,"modified":"2025-12-05T13:18:14Z","type":"item","id":"Q3041187","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3833954"}},"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":"Q3041187$E34576B4-3170-4D10-B930-619A36AC2DF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b06cd3fa5bf5cf162a0cc5b6914be386ebdc563b","datavalue":{"value":"0526.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041187$200A3DD4-2E99-4D39-AD30-40E770BB66FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3041187$8B2722B2-04FF-4123-985D-2B4A5B18AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3041187$63FA76A9-1A8B-4CB9-A3C5-D8D33C4A0BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3041187$CABB11EA-3237-4ADF-B44D-B89FBD9EFC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041187$9711AF08-FC4D-4E4E-AE29-A9327C7A143D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041187$F06DED5D-C3EB-4E52-AA75-04B769EA1863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d81566bcab521f384cd960989d492ab4de84e9","datavalue":{"value":"3833954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3041187$37840A3F-CAF1-4C5D-8BBC-159443DB36D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b86a18b8f0d0eb3802b2db462ed014e26288ce","datavalue":{"value":"KPi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$68C56916-B1AC-4E64-BEEF-0B001F1C4DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$3569B24F-6A91-4EBE-8C14-408E2E1DD8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$8D8E20F5-6E5C-4125-8CB0-51BBE5638562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c78721141b4f13208948b9a581723f4d49bc35","datavalue":{"value":"subsystems of analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$9281EC41-A070-40A4-AF17-35549C8B3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9b3e5fad67a06cfcc3a9abe9133216c72f487e","datavalue":{"value":"proof theoretical ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$922D81B8-C9AB-42AE-89FB-BE90FCD4A8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0b506ec5ce8d99fe356a0c6c3e3c424641b194","datavalue":{"value":"cut elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$08CE877E-9788-45A5-9A67-F5C103138971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c38ffe0e9d3e08736a7716ad5731c95e9800202","datavalue":{"value":"fragments of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3041187$C254E40E-78EB-44DA-9D83-081ECE28F3F3","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":"Q3041187$71A81AF8-ACB9-48BB-9710-6058F2C9E0EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3041187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3041187"}}}}}