{"entities":{"Q4177539":{"pageid":6207140,"ns":120,"title":"Item:Q4177539","lastrevid":28398384,"modified":"2024-03-05T13:35:16Z","type":"item","id":"Q4177539","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3613007"}},"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":"Q4177539$8CEDCC20-1F77-41F9-B5DE-D6650BF26398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b73532849a7ad058a251bd2d4d5ac375c58c0e0","datavalue":{"value":"0395.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$C85A1FCC-C789-427C-A96A-E73C08B27BF5","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":"Q4177539$1D7EFBAF-869B-4192-9A86-8BA7C7E1E4EB","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":"Q4177539$AACE16CA-E214-4235-8BD7-C42F1E36130B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$36C64589-C83C-4034-895B-575660DE2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$87C83A5D-94BA-45C9-ABA5-47185256D638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$B48340E2-34AE-4F38-9963-8267E6135155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$34069518-2082-4B72-841D-3978C1A063D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$45F5C799-0EBF-4180-A4A5-BCCDA0D324B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$A306C816-BA72-4757-AA22-6FDA4E2A143F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e8dc92f9046ede79976e60201b90cc4c7126cad","datavalue":{"value":"3613007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177539$8CBEE653-C822-4DEC-9B9B-C7382E6BF3D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933546ccba4e0a8b6495dba42f6af4b5184b2bcc","datavalue":{"value":"Combinatory Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$D8BFD2D9-0055-4C6D-AB9A-882BA2BE5C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aba17909c948763be9cd8492c9177fe0591d32f","datavalue":{"value":"Cut-Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$EE89D68C-3370-43C8-92CC-A8E507E285FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d255b62bf5cbe312485560ddab253683c1fab2","datavalue":{"value":"First-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$5CC3EDFD-C291-4EFE-8C91-C3A681A7EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303de6eb987f3995fb009416dd5d8645732b0eae","datavalue":{"value":"Lambda Conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$A0528725-DAC4-4CA6-B822-0EDAFA44F3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2141d6434a441c8c5f31d8e17b4fae37c96d6c8","datavalue":{"value":"Formal Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$6913BEAA-57D3-4BA2-80AD-ED5E961A1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58972cf6c07c3f44fc2a810339e004360bfc53fc","datavalue":{"value":"Lambda Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$91D3711C-3A78-4969-8B9E-81549B392868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177539$3E40F70F-7EFF-42EE-856C-B9C1033F5EFB","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":"Q4177539$514D84CE-6DD8-4D54-8127-9E45C14AC3E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4177539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4177539"}}}}}