{"entities":{"Q4192054":{"pageid":6221655,"ns":120,"title":"Item:Q4192054","lastrevid":28412046,"modified":"2024-03-05T13:39:52Z","type":"item","id":"Q4192054","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630746"}},"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":"Q4192054$E32D6069-EEB3-41D2-80B7-286F6CA7651B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da02e0ec783e1dded2eee3a9916409c3e24b6a7d","datavalue":{"value":"0406.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$D1409B86-0226-4AC7-B6BF-9D59526A7F3A","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":"Q4192054$AC3ADD7D-D839-4810-9726-8121E04F569D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$782DE703-41E6-465B-8987-E57ABC96ED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$6E3E7C04-FD79-4C38-9720-3D38FC0B43C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$6FF614E2-200F-47A6-A664-6934A2E18239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$CFB3066C-EC4A-40A0-BCC0-7FBC198136EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"028175b7e151de17cb3d1cb66e4a38fd4b772ad6","datavalue":{"value":"3630746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192054$91F19C58-E4E4-4E35-84E8-2054880E63C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f269c6984345629e622fdc2d184eb2181969f1d","datavalue":{"value":"General Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192054$A80D48F0-4938-460F-B04D-B3B77FB55AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5126275b0a031779526750bd89d224cecf5e0ea","datavalue":{"value":"Critical Cut-Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192054$6F0AF776-9713-456B-B428-09C84C9CF3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01babf8ad68bdcf5cce319ea499fc11a583d193","datavalue":{"value":"Ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192054$7C862C9A-5ACF-4402-BFC0-9D414269A363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c14f1cd82bead20c92ef5258209643fd771a7201","datavalue":{"value":"Normal-Form Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192054$13F045B5-5953-425F-97C9-D314FC966DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192054$40D87632-5EE6-4E40-9842-EC5FB860FC20","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":"Q4192054$490B2185-B2CD-4694-8EAB-A12DF69492AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4192054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4192054"}}}}}