{"entities":{"Q3204052":{"pageid":3214760,"ns":120,"title":"Item:Q3204052","lastrevid":49448989,"modified":"2026-01-07T04:28:27Z","type":"item","id":"Q3204052","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180813"}},"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":"Q3204052$AEB7105C-F66F-4A2E-86C9-8D6BB31CD2BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25b76c2f643b2deecf205470674ad8f1d2cbf0c","datavalue":{"value":"0716.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204052$ADA80675-AFFF-432B-994A-1FB472DAE986","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204052$B90CB0DA-9202-4FA9-9286-C63BAD1B874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204052$32DD18A6-C3B4-4712-BE00-1D252A03E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204052$230974FC-D43D-4116-B5B0-ED48852392F9","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":"Q3204052$EC7CDFF8-6BB5-4AE9-A091-D703D53CD565","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204052$1F900E0A-BAA6-44E1-A887-7C30E7FE011D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fd1307b54bf06831a57388987f7f33856be02e6","datavalue":{"value":"4180813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204052$1898E7C4-BA54-49B0-9B30-7127F14472DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8cbee1b4afd753304d9d71bf8c66345e0376ec","datavalue":{"value":"programming-language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204052$0313AAA0-2B65-4173-8F3B-5B1AEB82733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ebc8a44a074694328f56c2041a45b118a459da","datavalue":{"value":"semantics of type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204052$D591AF82-979B-424B-BD23-DF15441EEE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12448c1e9d3406a000112f8596c46a6bdd6c7e2f","datavalue":{"value":"recursive polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204052$68DA796B-3067-4748-9F84-DE8A098FB570","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":"Q3204052$139B45A2-0DC1-4041-BA31-6FDD9E7A03FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26ef7ac46ca6ffa9c0d2bd243609233520aacd","datavalue":{"value":{"entity-type":"item","numeric-id":3988831,"id":"Q3988831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535671ead776548455f8dce302ff0f5d5bfff7c9","datavalue":{"value":{"amount":"+0.9992669820785522","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":"Q3204052$46B9DF36-34FC-4EEC-B58E-A0506D529587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16a1ef22cef48b38519b54aa1446f63908cc9f","datavalue":{"value":{"entity-type":"item","numeric-id":3452249,"id":"Q3452249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0911e6c21666fb8cc59c125a6507e1e45e174079","datavalue":{"value":{"amount":"+0.8400996923446655","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":"Q3204052$E7A188CE-2710-44E8-A8DC-B5E567F2A5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127bbc9a2d4e633096b4beaf899857fd7928300","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923a0db2e7b1f0888088a6c831648c41a65562b8","datavalue":{"value":{"amount":"+0.8192701935768127","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":"Q3204052$0C66FBFE-76A5-4869-9A13-82C7E1BC457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178bc87819fd267d8361ed460b2cc49c66665d06","datavalue":{"value":{"entity-type":"item","numeric-id":1349683,"id":"Q1349683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec276c7515b9ce9c01f0c96ac62ebb82f97270f9","datavalue":{"value":{"amount":"+0.7191754579544067","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":"Q3204052$0A5C1AA0-E507-420B-948B-CDE244376053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2709ad7dde8c85e1ecf2ed3473615a93b5cefc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1176245,"id":"Q1176245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6f803f4dde3e412d7595d91c61bd57117af641","datavalue":{"value":{"amount":"+0.7187730073928833","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":"Q3204052$0EFBBCF2-B9A5-41AC-BB94-A41DA2406BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204052","badges":[]}}}}}