{"entities":{"Q4742775":{"pageid":6772355,"ns":120,"title":"Item:Q4742775","lastrevid":28883854,"modified":"2024-03-05T16:10:43Z","type":"item","id":"Q4742775","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3797741"}},"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":"Q4742775$225C615A-648D-45E2-8279-3257940EBF3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7059b89140a945d36350e66f257eb8fff279cf51","datavalue":{"value":"0506.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742775$20022E5B-4C3B-4582-907E-6EC38D40934A","rank":"normal"}],"P16":[{"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":"Q4742775$36664231-4265-4272-B8C4-A4D229E837B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q4742775$6ECAE215-9C9E-4EFA-B264-6D2B58F77ADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742775$BEA5A12A-6AB8-4E7E-8872-69D39172042B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c1ceed31507fa0a8a7bae3af90cf77075ed2e6","datavalue":{"value":"3797741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742775$A3A0F3DB-9D02-4713-99AC-35DDDE535131","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742775$E75DB0CB-98BC-4686-827F-74E44ED8BE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742775$88218779-D96F-402C-B763-A75B07A56205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742775$8137194F-E5AD-4176-9436-0E1E1D2CF097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742775$303677C4-ADB2-41DA-9836-145001B0AE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742775$AF832D12-F825-4DBA-B000-FE83212DFA8F","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":"Q4742775$27D471FE-46B2-4E9E-B1FE-8E3A3EDD5878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4742775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4742775"}}}}}