{"entities":{"Q3823126":{"pageid":5853032,"ns":120,"title":"Item:Q3823126","lastrevid":54313367,"modified":"2026-01-26T15:06:47Z","type":"item","id":"Q3823126","labels":{"en":{"language":"en","value":"Typed representation of objects by functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4096762"}},"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":"Q3823126$18B61074-9D7F-48B2-83DB-E6AFF43B3732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d1a82ebae7fdadce2b16d69e4fe1774cab1fe83","datavalue":{"value":{"text":"Typed representation of objects by functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3823126$3BBDBAA6-4983-4033-AECF-13F02338DC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c80742a86c481f77c75c80c2b506f6626d767bc6","datavalue":{"value":"0669.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$5DF56987-A97C-4EDA-B9A4-408851A9B707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbefd9e1b5fe2df347ce37406d8a716f72266673","datavalue":{"value":"10.1145/59287.77345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$86B8FF27-3C8F-47FA-87A1-43DC4D2B9CC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a5e61fd74ac1b54fdba09c6aee083a336e2714","datavalue":{"value":{"entity-type":"item","numeric-id":1251059,"id":"Q1251059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823126$7A51B28F-BA4F-4A7A-B28B-914DCBAB65A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3823126$0441A3A9-FDE2-4710-8804-8E8BFDE2F9C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3823126$B074B41F-61A2-4CE1-992B-27F52FA34609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"343710a1693e9d3f4531736d12d44524ccb09e0a","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1989-11/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3823126$59319F35-BEA6-43D9-AC53-5B4EE25F1B1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$118FD4D6-B1FC-4202-8E31-8BD5E93576D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$7899472C-BBA6-4F4B-89BB-24787A60BCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$8E4F153F-89E1-437E-8B00-AC9EF136D801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$7A5007CF-822A-4A82-B8C3-E33B7EF616C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$1B9EE193-B114-43DB-A6B3-04356CE4AE41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d32737d20ee43bc458880b9610d5862063c78db","datavalue":{"value":"4096762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$8ECAAC38-E274-4CDC-96B3-9966789D08B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8d9d8f01b036450c1c99c45729da54584cae1b","datavalue":{"value":"languages (theory)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823126$709562B2-FE8C-49F8-9FD0-A936393D2B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823126$17FBDC72-9A35-4D64-ADFD-676319D167E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd23680a0705645b00d417cb7a0a546daf01e8a","datavalue":{"value":"functional objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823126$3350C358-87A8-476A-A517-A4B397879952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0fc957ab087ec1f4fbf43be56d700b03bfa497","datavalue":{"value":"functional type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823126$8DE8D21E-CF22-4ADC-A913-C0D44C91D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3823126$142619E8-197F-4566-8CF4-8EBB44906AE3","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":"Q3823126$39E420FF-BADE-4624-9EB8-821A3C653667","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06fbfac35a9f4f2132ba870941aea20899fe0ca1","datavalue":{"value":"W2045531281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3823126$2270850E-300E-4891-A069-6C00E7DCC962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26989f699069b557d544e9f6dba96f8a5e3dca5","datavalue":{"value":{"entity-type":"item","numeric-id":4201894,"id":"Q4201894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfeb5d01fb7506b42354086c200710bf94e2782","datavalue":{"value":{"amount":"+0.7023423910140991","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":"Q3823126$21E95FB2-2C49-4F99-A3E5-932072E9C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da89f4a0fe91e9ef5b801448543c2f1fc999b1","datavalue":{"value":{"entity-type":"item","numeric-id":4032312,"id":"Q4032312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957d8c30eecdfff24bdaff807eeb61d2367e0569","datavalue":{"value":{"amount":"+0.6990119814872742","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":"Q3823126$D394D5E6-1040-422F-8AD2-78837B5AA71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad432a7c4c937f3e7513e7461c48d27a05f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4952053,"id":"Q4952053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8f470eb5ef7e62e358677a6b25fb987de41b79","datavalue":{"value":{"amount":"+0.6978648900985718","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":"Q3823126$B25BFAE5-ECC4-45E2-BE02-7F63C96D4A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c235f164afbea512314b68329ec4b7f8b37968","datavalue":{"value":{"entity-type":"item","numeric-id":3323248,"id":"Q3323248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ff39558bb2838862f6c72d831f9df3c4d54b71","datavalue":{"value":{"amount":"+0.6970362067222595","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":"Q3823126$E8AD85FB-9FAB-4E14-9B94-E32ED1C6B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3219bf0f796e3282b674c04ab8a5d4fbbb47fdb7","datavalue":{"value":{"entity-type":"item","numeric-id":3731013,"id":"Q3731013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973c1db7c73c6dfe5fadc9ef203a42e15bca1450","datavalue":{"value":{"amount":"+0.695469319820404","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":"Q3823126$F09738D4-0050-4E4F-9102-59DA3EDCB427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3823126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3823126"}}}}}