{"entities":{"Q3887457":{"pageid":5917362,"ns":120,"title":"Item:Q3887457","lastrevid":54612116,"modified":"2026-01-29T12:30:00Z","type":"item","id":"Q3887457","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693266"}},"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":"Q3887457$071724B3-3F67-42C9-B6A1-CE1A2E169395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45f0913c43e5bfc194923cafbb0fc755fd4c314b","datavalue":{"value":"0444.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887457$0E2EC156-EBC2-4119-9AB1-288562A01D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887457$B61F71FC-D8B6-447D-AD65-A597FC073FCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3887457$55E56C11-4919-4DC2-82A4-C391ADD5C065","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887457$B9AE20BC-BDDD-40FB-BB67-3103BD65012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887457$78A9B0AC-332E-4E9F-AF6E-D3E352318429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887457$F0590401-82EF-4271-828B-8F2506B43B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebd60d47c841db9c65a36f1b95a1e5a77739677d","datavalue":{"value":"3693266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887457$295CBF02-619B-4217-8B74-1E61E24F92AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403653981ef5cfbc3c7b02dd2f4b1a3134e253cd","datavalue":{"value":"choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887457$2E7D3055-21EA-4349-8A2B-A29809FFAC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140f2a8dd7ae54193ee77e7667b70f1cf336acb9","datavalue":{"value":"extended bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887457$B41C285C-BE1B-46C1-B6BB-D222E5F8C2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ab7b2dfc9f4d42b9ae3618926519c704dd4b33","datavalue":{"value":"intuitionistic elementary analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887457$AFA277A3-C923-4098-B7B2-707293E6E9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1767133ec3193a16ffbfffa794f18c4c80ea8b","datavalue":{"value":"finitely iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887457$1187DD31-843E-4563-B915-D0B1798F3E8B","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":"Q3887457$D0D44495-0122-4FEC-B4B9-CAD301786EC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3887457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3887457"}}}}}