{"entities":{"Q6175517":{"pageid":13310405,"ns":120,"title":"Item:Q6175517","lastrevid":57112239,"modified":"2026-03-26T16:23:43Z","type":"item","id":"Q6175517","labels":{"en":{"language":"en","value":"A Java-like calculus with heterogeneous coeffects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7729839"}},"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":"Q6175517$6C0B4255-0DFE-4ED8-9A61-D9F9339199D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b9d55159afd469df3fd7fd2f995d66c32718235","datavalue":{"value":{"text":"A Java-like calculus with heterogeneous coeffects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6175517$C282C897-5A17-4905-B9AA-3D5CE8F6DB27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37efad2748dd94ebd586b6d6d450bb87c7c48ad4","datavalue":{"value":{"entity-type":"item","numeric-id":6175516,"id":"Q6175516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$E6B91537-DD74-4FC4-98E7-EF18F7DC9BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b645328e2209310bebff6f14f65855e4392fbe72","datavalue":{"value":{"entity-type":"item","numeric-id":2988631,"id":"Q2988631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$66B213B0-605E-417A-ACAF-694B9C9ACD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$6ADBF96D-41BF-4262-9B7C-E6E8D768E34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$DE8C1A9F-3498-4753-82C7-517BE36D088B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$7906AD1C-DA85-451C-8E31-DEC132F0C0CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8fbdc973831ed82b98450c41c7d5e06c8adadc9","datavalue":{"value":{"time":"+2023-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6175517$7769F608-9EB8-4097-B2EF-91A2A50F85CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175517$0ED7F24E-FFA8-4F0A-BEA7-DC5EABEC2B96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334c461ba6898e2652848648972bc1efa3809d20","datavalue":{"value":"7729839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175517$689C945D-14C8-4719-8711-B5E375D1091E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175517$9886A90A-BEFE-40EF-85FA-E98644575169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175517$AF658C72-977F-4D5E-BD33-A36C943BEB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408621712574f446ab04f1d6da0af358a40ba2e2","datavalue":{"value":"Java-like languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6175517$1529E02F-DB5B-4F03-881C-D7F489BE415A","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":"Q6175517$6FDF6585-E4EA-4880-98FF-30FBEA8F2D31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$096FFF10-6A79-4ADD-8B5A-FE97BC9409BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0147fdef4107211c6794a9326745241717486b68","datavalue":{"value":{"entity-type":"item","numeric-id":6175517,"id":"Q6175517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$DE9D3272-FD32-4E75-956F-E1D92F6962CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$61D19D3D-7BA5-4236-896D-9FBFE8679E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$A99F48C5-F402-458A-819A-B5C9A37E281D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$BDE4F493-0DF6-4F06-B65B-082340482F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$3B6C97F8-0299-45A3-BD7A-761BE59E8D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$5042DA73-11D2-40EF-AE18-78DEF36EBD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4acf48c088e1bf6cdbbead4e5b78479dba27f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5327449,"id":"Q5327449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$316FF74D-5E5F-4276-9E69-30D13CDB3C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a8bc534918a9e641d1996cc8ebc0b79eab94e0","datavalue":{"value":{"entity-type":"item","numeric-id":2819671,"id":"Q2819671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$864065FD-D866-4B10-84BA-BA82B9DCB9D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5e4e2e089f74db226f59773e4633e3e63736e40","datavalue":{"value":"10.1016/J.TCS.2023.114063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175517$B535B5AD-E466-42AC-BA14-679E0B576C2F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175517$8E308D87-38B0-451C-A126-5BA5AD4ED654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6175517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6175517"}}}}}