{"entities":{"Q4177540":{"pageid":6207141,"ns":120,"title":"Item:Q4177540","lastrevid":28398386,"modified":"2024-03-05T13:35:16Z","type":"item","id":"Q4177540","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3613008"}},"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":"Q4177540$665105AE-C7D6-49D3-A10B-1CC86EC10342","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d51c07ae64a75f0c764ff1060a6ec36d9ae9606","datavalue":{"value":"0395.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$A4412CF5-F553-4BED-B6DB-279A8AA3D1E3","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":"Q4177540$7E565944-184D-4B1B-A654-15D917956226","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":"Q4177540$8E6F57AD-50F3-4DEB-B49B-15AB78F5027C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$45ADD315-A298-4E49-AB69-6D2D16F408F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$A4C4226C-1A04-4B08-B7B8-42887CF2C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$D5BAFD06-0270-4F24-9272-976494FE9847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$217B60C0-6253-4CF1-B4C7-F3B3EE87124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$A28A91FA-9956-4073-92B2-F670FE83BC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$A8E77E53-75D2-4F71-B96E-BF6742330F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$A9CECA71-42C4-4431-9F64-D13B3D1EDB72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"222a77a9fe62acf67568a0e249d233e0f7f58afa","datavalue":{"value":"3613008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177540$C34356AD-BE5E-452A-8873-EA30F45D799C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58972cf6c07c3f44fc2a810339e004360bfc53fc","datavalue":{"value":"Lambda Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$0EB1CAF3-0E98-43F6-9AE4-251B51E3CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aba17909c948763be9cd8492c9177fe0591d32f","datavalue":{"value":"Cut-Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$FBD21F10-BC12-412D-96C2-C5724855C66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2141d6434a441c8c5f31d8e17b4fae37c96d6c8","datavalue":{"value":"Formal Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$C09A4DB7-ABC7-446E-A9D5-1965DA3B8E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933546ccba4e0a8b6495dba42f6af4b5184b2bcc","datavalue":{"value":"Combinatory Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$423E685D-6CCE-479F-8417-A0B7E91CC62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$65E68E9A-85CA-409C-B524-3A401DDA5152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$42659681-7DFD-4669-A0C4-767EBB9E2F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303de6eb987f3995fb009416dd5d8645732b0eae","datavalue":{"value":"Lambda Conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$3ADB129A-43E6-479D-BD3F-9D771BA14DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d255b62bf5cbe312485560ddab253683c1fab2","datavalue":{"value":"First-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177540$E31824FD-215C-426A-8F14-A2FE545837D4","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":"Q4177540$1EE8EBF2-0D91-431F-8C76-926ABF9E9C46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4177540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4177540"}}}}}