{"entities":{"Q3695249":{"pageid":5725155,"ns":120,"title":"Item:Q3695249","lastrevid":50283080,"modified":"2026-01-13T18:04:08Z","type":"item","id":"Q3695249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3920434"}},"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":"Q3695249$00034F38-5AC9-4693-8704-004FDDDDC3C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"846043cda20af9f95be551130a728031bb930e5b","datavalue":{"value":"0576.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3695249$8F1CF5CF-1D48-47FF-9BE7-273B48880B15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1bd60084f6c4bbff8b2a78090037871a5a20cec","datavalue":{"value":{"entity-type":"item","numeric-id":1845877,"id":"Q1845877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3695249$7D03BB8C-A81F-4C85-AF7D-906B25D46CDC","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":"Q3695249$D91CF18A-FBAA-4A4B-97B8-3C95B1051552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3695249$9464BC51-9D64-490B-8028-F3C84106A3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3695249$929A8607-5A61-4250-81A6-162D8BEB68B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7b20dfcbad74ac422ab0fbb315da34ec73af0b","datavalue":{"value":"3920434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3695249$57C4C89C-F7F3-4BFA-87A2-6A4AEE57AA1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7385a430a2af8ac65a3ba39f72c19b96d3853d","datavalue":{"value":"sentential calculus with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3695249$53FC9D99-7B38-4A0C-85CD-8D995EA670D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0b506ec5ce8d99fe356a0c6c3e3c424641b194","datavalue":{"value":"cut elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3695249$9139FC84-E568-4F83-B504-ECBE1BFFB2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12372b42850f80d2fcaf00d7fd1d6a9fcec58044","datavalue":{"value":"predicate calculus with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3695249$622615E0-E323-4139-9811-F6706538A202","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":"Q3695249$63AE7F8D-F1FB-41F5-987A-ED60C091337E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3695249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3695249"}}}}}