{"entities":{"Q3709871":{"pageid":5739777,"ns":120,"title":"Item:Q3709871","lastrevid":50524589,"modified":"2026-01-14T07:13:19Z","type":"item","id":"Q3709871","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938546"}},"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":"Q3709871$BF21F369-B83F-42F6-B87E-73830C1E145B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79bd9fc9530443c38ae75349b1cb3cf45e17b382","datavalue":{"value":"0585.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709871$7B43CE4B-A132-47E3-A8EA-285E9253DE77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eede50a5b3b0c8cecc2408751b26204b77b99d90","datavalue":{"value":{"entity-type":"item","numeric-id":800717,"id":"Q800717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709871$258F93D0-9C90-475C-A88A-A6EFBF72DBDE","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":"Q3709871$6070604D-7443-42C0-8457-2747C0D4A427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709871$D0CA0D4A-0579-480C-9CAC-378FCC8B0C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709871$51C40D0D-B6D9-4DA9-B0BA-465A70D9AE24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"746a058959cc46503fc402f72ffa770bc9d20c6c","datavalue":{"value":"3938546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709871$B934BA3C-EAE3-4239-918D-8C4952C8367F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98fd67d4f7fe5a1864d59e3f6e0a927e5859b74e","datavalue":{"value":"Multilevel arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$10C20534-0DD3-42FA-8DC4-C5AEBCF72B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1c6b3733dbe88286d861102384a04fc7209c032","datavalue":{"value":"VDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$9ECFEF58-4258-45A1-BC6E-B51F055E27C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$922294D2-A20F-4067-BFEB-F10DC2E6ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91698cb11032fea93901e7357dbc9418eefec3d8","datavalue":{"value":"abstract syntax trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$2D3976DD-8DB0-4F16-869E-9C3E6D5A2ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d379fbf4e4bbc40bb865616624c10a781bae65","datavalue":{"value":"multilevel functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$48017707-CB8E-4F52-8DBC-635258A99DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$E4D183C2-F3FF-4068-A3CC-C55A41BBEBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e0fcb56e8981cc6a9e7c68a735a976878ec73c","datavalue":{"value":"semantics of type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$BA567795-B21D-4791-B21B-C0E13C739A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709871$C3C84165-4EB4-4AD7-9005-72D5254B077D","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":"Q3709871$1E45554E-CB84-406B-9B55-A65DEF41E7AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec64cbe4f3fa10b5078216254c4a4145fe8d8be","datavalue":{"value":{"entity-type":"item","numeric-id":5020620,"id":"Q5020620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2142da9258437ad2b84386e11a8785af93cf376","datavalue":{"value":{"amount":"+0.7225970029830933","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":"Q3709871$64AB4BA6-0079-4932-B1ED-6337C3AC24E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aecad3fc1b52d364bd519bb55852018078959f0","datavalue":{"value":{"entity-type":"item","numeric-id":1607218,"id":"Q1607218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe15fae21dd86049fbd1d5aaefb2d60c5ff2f466","datavalue":{"value":{"amount":"+0.6907289624214172","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":"Q3709871$EF066EFD-896E-4CD9-95E1-37F7B15BBA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7476153b4a0b15dc2cef3e5c1d192581aab3f3f","datavalue":{"value":{"amount":"+0.6869773864746094","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":"Q3709871$89637727-512F-4C0C-8643-73F9A2D948D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb1bf9737eb7327d8cb1e471b0d827f2d27e26c","datavalue":{"value":{"entity-type":"item","numeric-id":5063599,"id":"Q5063599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d8d3f0fb48660aa9843fa52c42bfc62a4cbcd0","datavalue":{"value":{"amount":"+0.6830039620399475","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":"Q3709871$3B7BFC67-F614-4303-9A86-43B6A17FA5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392c129b7f21c370b84fc2af79a657c412cde237","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c7187d8d14939672132a07dc8c2afe7a70d10a","datavalue":{"value":{"amount":"+0.6762875914573669","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":"Q3709871$D7B280A5-6E5A-4CEA-ABD9-C049BF0E68C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709871"}}}}}