{"entities":{"Q3345748":{"pageid":3356456,"ns":120,"title":"Item:Q3345748","lastrevid":48760168,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345748","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880077"}},"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":"Q3345748$C9764447-198C-4411-AA65-D2071AA4B86D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eca84e0bceff4b50c165813d44f1f0bcc4eeffa5","datavalue":{"value":"0552.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345748$D78B688E-6413-4F7F-B5D1-3832CC2C783B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345748$EBD628A7-A3D8-4F16-8375-027E142192A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345748$50514D3C-1463-488A-AD43-1478DCBF36C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345748$554B4967-26C9-4694-B4AE-912B17DBDD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633728823465a1346c457609796f701909a1953f","datavalue":{"value":"3880077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345748$1226D8C7-CDAA-4432-89E8-100064529F42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$4CBF778F-96BF-4F9A-8355-E704D565367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$B85599AC-419D-4FC8-9A8E-33220A56F452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d68e3c12b442d5c3fd8c97262c92d38404795","datavalue":{"value":"interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$63DC5E32-089E-4ED2-8180-278E410F3F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$8F5C4E59-0F18-4E72-991A-F9BB4A4D2CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$C84BC927-1A38-4455-B174-F25FFB441E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18b44a75d362762e006a2e3a7c87dfc6f06915d","datavalue":{"value":"generic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$28004080-03E2-4E94-B905-993EDF3F4464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$549A55A6-765B-42CB-9D90-2F546569D684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c5c807fcc057e4374a8c8679097e83dc600416","datavalue":{"value":"unions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$CD7DA1CC-458B-4CCC-8CB5-39CF18B10CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$50A3C183-A6AF-4247-98E7-010537AA9ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345748$11102850-FB63-4010-B6A3-2D7BC3AF5A58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345748$85DF392B-E271-4904-A872-BDCEDDCBEC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9d2d5b01eac9c1e85447cff2c9d5feef38aebc0","datavalue":{"value":{"entity-type":"item","numeric-id":1249427,"id":"Q1249427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345748$F134E772-6F1F-4778-A26C-527981A04277","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":"Q3345748$7D95100A-4155-4381-B2F9-96743132B1B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eacf526424a3cae255398c0734c498abb2e0f83","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6ba0dcd769257bcce688db5313651285e4f561","datavalue":{"value":{"amount":"+0.8913589715957642","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":"Q3345748$B69CC40D-2587-4CB3-B393-83E7A66AE5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be2b9bc247dee9644e1cbeeeef502eff1d521aa","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e343ddac22a6e2429e4cc8f2529c81b4c858c28","datavalue":{"value":{"amount":"+0.7702081799507141","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":"Q3345748$DB06D707-D9B5-4851-A821-F23E19982173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f034a101acada3934d653956c6ddaf0cb1000961","datavalue":{"value":{"entity-type":"item","numeric-id":3677152,"id":"Q3677152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554629246aa9fdea78e3e951c86536b6965bd09a","datavalue":{"value":{"amount":"+0.7690110206604004","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":"Q3345748$39FB0E53-2B7C-4E0F-8528-D69FC66C7B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652580eea7a88c8f4ca946a7eb70a8c19bc2820a","datavalue":{"value":{"entity-type":"item","numeric-id":4507960,"id":"Q4507960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe7fb0fcef3927d933ee8c27834b3c70326508e","datavalue":{"value":{"amount":"+0.7342122793197632","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":"Q3345748$902387A0-65F9-46CD-A050-AFD53D71582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476902758ff54ea98ff615cf6ac8dd2a96a70c71","datavalue":{"value":{"entity-type":"item","numeric-id":1799296,"id":"Q1799296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc219a6d10595f1cf3ffe02a64efe382cf54311","datavalue":{"value":{"amount":"+0.7325226068496704","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":"Q3345748$D28D0CD8-51B1-4F35-BA86-A5C65CA15DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345748"}}}}}