{"entities":{"Q5361256":{"pageid":7390830,"ns":120,"title":"Item:Q5361256","lastrevid":32855230,"modified":"2024-03-20T00:46:07Z","type":"item","id":"Q5361256","labels":{"en":{"language":"en","value":"A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781293"}},"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":"Q5361256$9B539D38-3468-41A6-A8AF-C97CD09DB662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c497b530a62c3a196baa050d8b8856e3235d1aa6","datavalue":{"value":{"text":"A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361256$49150DBF-6D04-4FAE-A813-FFF39226050E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa22f2414e75c2bed00c05e559a36a99fb0e8cc","datavalue":{"value":"1380.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$F963EC11-A543-4693-8767-4EE4C95E186D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1063c9258c58b4fdf3d33fd92ca7c283465de5a","datavalue":{"value":"10.1007/978-3-319-10103-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$554AB38D-3B66-42E3-9DEA-4C05CA3FBFC5","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":"Q5361256$46060C72-785A-4B45-9221-8FC1C397F6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb5dc66af871dcd8cf540cc4c3f638b93272e39b","datavalue":{"value":{"entity-type":"item","numeric-id":619319,"id":"Q619319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361256$865A210F-1987-48A5-8933-09F9756E2FB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361256$D39C09C5-A679-461C-9946-8FDA0A2655C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361256$DCB97F29-45F2-446E-B3A6-9856C6FF552B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$6CA743BC-F0F3-479D-BD93-47EF33F51C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$1664F559-648D-490C-9252-40397FC9AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$2E50C64E-E397-4CC0-8758-9EFBA4A6E4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$B3681EE4-0B99-4DC6-83E8-DE7B3BBE1000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe35394944bfb357563779c20432e299ea55085","datavalue":{"value":"6781293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$468EBCA8-EBB1-41F3-B9F0-62C491A1E865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5debfd65df8d3d331bffce382d783c7755fa3419","datavalue":{"value":"stratified inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361256$3730325A-6A1E-4113-9CE1-69F849680668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68034c2f46e7532ec29bb7493525b9c43dc798a","datavalue":{"value":"fixed point induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361256$38F1872C-AA70-480D-8144-B63CA81B144F","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":"Q5361256$A53FAC60-6FB3-410F-AA73-494AB3E1EC26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f6081b2b09c1d7a9ba0342887fdec26fef016fa","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10103-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361256$56F34D22-D7CF-497F-B80C-84B4A5C85150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"117a7cd8bbdd2cae711502912d3168d5e58c8e83","datavalue":{"value":"W2344397409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361256$495CD926-D276-45F1-A8B4-85A3D978FB14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5361256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5361256"}}}}}