{"entities":{"Q3875895":{"pageid":5905800,"ns":120,"title":"Item:Q3875895","lastrevid":54582995,"modified":"2026-01-28T22:09:58Z","type":"item","id":"Q3875895","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679777"}},"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":"Q3875895$C8C718C2-C397-43DB-A075-5C6E10684D74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92367231ed16fe53bb63dd7335e77247e9e8e48f","datavalue":{"value":"0436.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875895$4BEEAD50-74B9-4E30-9ED6-509AFEC2E412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875895$CEFA0A07-1545-4A3F-9857-51E6E6749BE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3875895$0E2CAA89-3079-4232-B5A0-E8339C3DC41D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875895$6A92FACC-0D64-4ADA-970F-3B1B71F83A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875895$B262EF9B-CCBB-4478-8CFF-9C227DDC5ED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f07e53615deaf318a49123b7acabffb787178aa","datavalue":{"value":"3679777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875895$384B9780-CC75-4C59-8FD9-C1172BED156C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875895$486E7505-B5FD-45CC-A304-0D9AC55ABDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875895$2CD6B95F-7A70-4A0A-854E-37B4F85FDB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc4c149d8ddc2ada423d838a1926592f474ee99","datavalue":{"value":"Gentzen-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875895$B100B9A1-A2BE-4A1A-8F5C-267C44D5FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875895$33824A07-01E3-4E56-9E35-8ED4824D3BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6709291a95732bd4e89645c6e2080d386e8d529d","datavalue":{"value":"type-free extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875895$34B55186-DDA4-4949-8D03-3F631B5CB2E8","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":"Q3875895$0E7A727F-4034-475F-B349-8EE0388A7D75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3875895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3875895"}}}}}