{"entities":{"Q3875894":{"pageid":5905799,"ns":120,"title":"Item:Q3875894","lastrevid":54582992,"modified":"2026-01-28T22:09:54Z","type":"item","id":"Q3875894","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679776"}},"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":"Q3875894$74BB289A-927D-48A6-89DC-CEE7C112CE79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bfe640c59354ecf82acb6b3591a2f0c5e831083","datavalue":{"value":"0436.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875894$BD5F9766-08E7-49AF-BF92-3BF269D4A9B5","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":"Q3875894$A29719A4-19AE-4392-8506-4C521C85634F","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":"Q3875894$693136BF-608A-49AF-8E6C-615521A30994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875894$80DA4139-050D-4A8E-915D-246C520B8F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875894$08FAB418-3781-40DF-954D-66EF4F118981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1491734d73ef1b1d39f05685a641d2164828c0a4","datavalue":{"value":"3679776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875894$9C9791C6-A5D7-4B9F-BC86-8A7DABD17612","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e655a256391a7a54dddb8d456f957c04bc909fc4","datavalue":{"value":"type-free extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$9E696853-AA6D-4907-9C13-C87358AB68EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$B17FEF29-B752-42EB-8DF4-7E49134AA595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf385c4d3fc54f1e25b61abf346caf8057e3026","datavalue":{"value":"lambda-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$CD4A6F1A-F41F-44B2-B3E8-8D8235A3150F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$F9DE69F5-4155-4B89-B87D-07986B6F1E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$1310E2F3-FFB6-402F-96AF-087F3164B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc4c149d8ddc2ada423d838a1926592f474ee99","datavalue":{"value":"Gentzen-style system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875894$3402FE88-2E43-4661-813F-CE0A0A2EF20A","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":"Q3875894$4DEE5F99-7FFB-459C-8E1B-983E71709063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3875894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3875894"}}}}}