{"entities":{"Q3731013":{"pageid":5760919,"ns":120,"title":"Item:Q3731013","lastrevid":50801834,"modified":"2026-01-15T05:43:06Z","type":"item","id":"Q3731013","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963172"}},"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":"Q3731013$87504F19-0CF7-45AB-9A5D-137591521DF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d83679fcf004cfa8d45753d6476cd1d98d37b06","datavalue":{"value":"0597.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731013$052F3BD4-EDE0-4FD9-BB48-A664F8309270","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee3021710e0ff42da17314308425f38c439a844e","datavalue":{"value":{"entity-type":"item","numeric-id":213676,"id":"Q213676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731013$921055D8-0F46-40EC-8BC5-8ED10F03DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731013$79827910-57B5-4781-8085-230D1BFD5964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3731013$9C234399-27D9-4525-9B3A-DFCA666E130D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731013$E3F5B8C8-2916-4887-9036-155FADF9CDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731013$253E810C-57FD-4A62-8970-21C0B1806652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f328b2d38e3577344fc51f55201c7e6b9f1e4af","datavalue":{"value":"3963172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731013$C407CB99-49A1-4417-BDBB-6E3B8EB20DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731013$5B87E93F-F425-4DFB-B189-D2C684CC5FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7589ef2cad103239280b196961fc5bbc9f7377f4","datavalue":{"value":"second-order typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731013$B3247DF6-95FD-4931-8B7C-34C5D7AB1BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731013$4B88B9F0-8DEE-4084-9B1D-E8182028D59A","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":"Q3731013$271AC2A0-F184-4974-8EE8-76FA0AE3F9F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e044dd921f674b7ad4b337c1e2cec285fe30c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3490935,"id":"Q3490935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b578aae123c39ec52b7180be910dc1da37ee636","datavalue":{"value":{"amount":"+0.7561498880386353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3731013$165EC99F-C438-44B9-A0FF-C821BCA3172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc7af180c450f83ce3cad391ef178126eca05a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082790,"id":"Q1082790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a016dc91d8e4a1b4279a620a0d3ba4e47ed9df6","datavalue":{"value":{"amount":"+0.7543514370918274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3731013$B4B8AA93-7260-4225-85EC-2F291777E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7177d738ad40e6d405759914c27f097831e310f","datavalue":{"value":{"entity-type":"item","numeric-id":3795183,"id":"Q3795183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6473825304fe467dc98c5703594470b4d48098fd","datavalue":{"value":{"amount":"+0.753269612789154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3731013$AA1F18EA-73EB-40A4-87DC-08AE11FC08EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb02c493e494a178da293e31a5be5edc7d4fef7","datavalue":{"value":{"entity-type":"item","numeric-id":3495633,"id":"Q3495633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e21b64fccb4e42a637e33892e320bd4a26cd84a","datavalue":{"value":{"amount":"+0.7472125887870789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3731013$9CE79CF0-B778-41F2-A87F-8352A73635B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a5d80694b583342c3cc2f914678f7cb011ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3711742,"id":"Q3711742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b077d9044815798fb2ea1163d9b94cd09ba6be05","datavalue":{"value":{"amount":"+0.743792712688446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3731013$35C06559-D6A9-49F3-852D-B596A4BE99B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3731013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3731013"}}}}}