{"entities":{"Q4172933":{"pageid":6202534,"ns":120,"title":"Item:Q4172933","lastrevid":28397562,"modified":"2024-03-05T13:34:49Z","type":"item","id":"Q4172933","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3607508"}},"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":"Q4172933$99AD7682-57D6-40EE-A046-CAE33B15072B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40105df60de37015bbd54c258c9b4e6febdbe69c","datavalue":{"value":"0391.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172933$7BE0D1E3-215B-45B1-A7A3-56FC2969761D","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":"Q4172933$9321E668-63CB-4E86-85A1-5950897CA9F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172933$668AA23A-6706-4CEF-8489-B6516EF55063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172933$52CE28E3-3F98-484F-9F92-03A3A8EA4647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172933$7608A41D-A562-4409-8A54-33E1D69005B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aaf39d2715bf1e75628821c9c929160bc3c5e6a","datavalue":{"value":"3607508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172933$E237DF0E-330B-4255-9447-7F3552B71547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"868eff19b169f8f2cf33fe4c95c5d1fb25aff8c2","datavalue":{"value":"Higher Type Recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$43ECFC53-1ABE-4BAE-BA64-BC89C87FBFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3625562b56e5cb2094541e905b4ceb5d41afaaf0","datavalue":{"value":"Formal Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$D4EBC39A-7B37-4EC9-AA04-BF9ED89FA378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c52e79c8d76dee57bed77c713c657054f0ab3d7","datavalue":{"value":"Lambda-Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$75B93373-3C8E-4FF8-943E-FCF7D50F04DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$23F39F2C-2739-4938-BB62-565690EA8DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bebca7b253f9cc0340526433a3158fb69e77f4bf","datavalue":{"value":"Programming Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$0C2C76EC-00AD-4723-ADF9-AA5FD9186E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304d29e604460b868fe114af90702758c789586c","datavalue":{"value":"Tree Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$42669764-D13E-402F-B1CA-12B73E709E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a3663619cb240c4eb082cca3a2501902f5fb03","datavalue":{"value":"Denotational Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172933$A22FB882-D84B-4165-9F44-222E3D81DB33","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":"Q4172933$82237A53-C481-4DDD-989D-90B3600F0E18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4172933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4172933"}}}}}