{"entities":{"Q387991":{"pageid":389758,"ns":120,"title":"Item:Q387991","lastrevid":61461672,"modified":"2026-04-10T23:31:11Z","type":"item","id":"Q387991","labels":{"en":{"language":"en","value":"Semantic types and approximation for Featherweight Java"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239200"}},"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":"Q387991$EE75C45B-EA9D-4713-99EB-75CB0A4F3267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af01e432a51bdb9e34537bff74918236bee5b25","datavalue":{"value":{"text":"Semantic types and approximation for Featherweight Java","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387991$761B5519-6EEF-4AC6-B647-A8BEB107274B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb11679a622390f96dc584379e83fb7b2d55d954","datavalue":{"value":"1358.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$8EE85FAF-FED2-4F87-8454-39A3F5CDE79A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"604e2732b1b9634c7f23f07fef29c6e42547c2b5","datavalue":{"value":{"entity-type":"item","numeric-id":387989,"id":"Q387989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$C3B7E1F6-3EE4-4840-90E3-EBF36FFED0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255519b4bf42bd15eb93540b9dd5825a6d02ffdd","datavalue":{"value":{"entity-type":"item","numeric-id":387990,"id":"Q387990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$DE666B60-6B9F-4405-9782-D5F930501501","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":"Q387991$D10ED836-31FF-430E-98E7-1B7D2231815C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d496283d286a67f5c448d94664ad69eec0b31d1","datavalue":{"value":{"time":"+2013-12-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":"Q387991$02C2E6DE-A6A0-4D27-891F-6F94A23418A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$46936E74-5F92-4DA5-8B55-1680CE12AA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$D85D4BBF-3118-45DE-AFEA-C277766F14A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2184c91da1cadc1a7c23fdda47d4c3b1365f8a45","datavalue":{"value":"6239200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$465FFF07-96AC-4229-B275-823DC461453A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7bf3ab7f814f461717d375c3a9e80a8dbb041cc","datavalue":{"value":"Featherweight Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q387991$A2C35B2F-9DE5-4F80-BCF1-324BEFA485E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q387991$7FCA9C0C-F839-4B28-B5F2-2BA31A9E8686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3a454778aa5c7075b65e7fb63846eb3d351cb04","datavalue":{"value":"approximation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q387991$ED19A505-A772-4DA6-9C26-E1FF0E3D3D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ce55bad7840305c84e66d9400e2a969fb4d37f1","datavalue":{"value":"derivation reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q387991$1F083866-7CAB-4715-A53F-8E3DEA4D3694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q387991$EE33FD63-5B28-4BFC-804B-F708E6A5C88D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0b502216191c7cc97483070944dd0a51a51f640","datavalue":{"value":{"entity-type":"item","numeric-id":28137,"id":"Q28137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$FB6B6E7B-DAFF-40E7-BC25-7DBD18BB6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$342E090B-8581-4912-9716-CF85C9610789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$864A0FC6-43DC-4C97-B7E2-A9BC655D4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$E9FFB499-75B9-49A2-BD44-30D3F05BD067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$42CED71A-5219-4727-A5C8-03C39DDE092F","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":"Q387991$6841EA4B-E748-47B2-9D8F-D20860CB926C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba6cb3062d8e8db2af35a3faf142b42985f7441b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.08.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q387991$B1F952E7-41B0-4A81-8895-DB30481D4BEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30ad404042a4f789027fc494461a6dbe92d0375","datavalue":{"value":"W2087707390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$672B5E1D-2C88-4F3B-BA74-4AD6FDA77886","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$84149A30-FC43-44E5-B725-0329EEAC5BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$F09BE01D-EE80-483A-A20F-5395399F2A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$D90C11E3-9AD9-4C57-B99F-AC0D21A127BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61ba215039c96cd178dc11f47607c7c5bc1d306","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$09B0CA98-DC84-4807-B25A-11E52EC04622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf7e8dab029071599121c5b71445cd7ceacea28","datavalue":{"value":{"entity-type":"item","numeric-id":930869,"id":"Q930869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$2DF75365-B1F3-4519-BAFB-0EBC72B1509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0907ce16827b1cb213f6a1b23bace3e818885daa","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$06655C65-5C44-4A60-95D6-6BA1641C49EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c538772f182f5531ce9b687640fc299ab79c05","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$93053378-AA64-4666-9249-C952F1663BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381109b573fbf96b27edaf91f08b05425c1b8c92","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$4C2776CA-59F1-425A-B952-994B85BE79C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940308fc5c922ecabc684d305a3561c72119b72f","datavalue":{"value":{"entity-type":"item","numeric-id":2481559,"id":"Q2481559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$62725BDB-9BE3-41CF-AF16-AA96C23EE9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adc840107dd24ff876316ba1c1e8a174236053f","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$5E02005E-CFBF-47AA-8653-45FEC9427988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ccdeea0efe5c71859ba41af585d6b409ea68c9","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$7A660F7F-CC30-48A4-9DCA-36F126AF9F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20523006f52ba88a9511213bdd7d5b972b323e7","datavalue":{"value":{"entity-type":"item","numeric-id":3520146,"id":"Q3520146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$81824569-7FEE-489C-A2F4-AFAF51CCFC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6bd229310ca619b7fcb519bbac929ba983c837","datavalue":{"value":{"entity-type":"item","numeric-id":4405689,"id":"Q4405689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$94FDC5CE-3D82-4471-B04D-BF98CF7BA47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$2ED4F860-E515-4A74-89A9-B9E7AEB28B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$46692619-5552-4C01-8D3B-88695B8A8D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c3af5b659c9cec818970365dbdcb96722aee3","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$B2C152EB-299E-47A1-9D87-0D1EED0398A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd5f5c9fcbefac0bb72532e3eb4cdbc88cd4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1854318,"id":"Q1854318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$7FD11684-39BD-40F0-BC0D-4344143D8E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$6C8E17DA-28D8-4D7E-AB51-E99C86914BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a78c85c5fc419aadf018d3c9e04aeadce3f25f","datavalue":{"value":{"entity-type":"item","numeric-id":3349962,"id":"Q3349962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$1EC41E0B-EFCE-463A-9856-A79971CBB315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$B08C1C0E-5D1C-4E8F-83B7-0BA77E5C92F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$98DE908A-100C-4C8A-8785-F1DCD2E62C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$C32281CD-4750-422F-AD77-F03F88610AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f573b0bef10376a31e968abbc5a44a42151df742","datavalue":{"value":{"entity-type":"item","numeric-id":4246944,"id":"Q4246944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$2513ED5C-F4DC-46D2-A293-B72752E5BAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$C6100484-DD77-4DD5-8B6E-74A1506B0D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3080693a907bc73c23371a385cb071efa9ec2c5","datavalue":{"value":{"entity-type":"item","numeric-id":2779257,"id":"Q2779257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$302CD8A8-5DA6-4083-85A8-79906A2DFE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$FBE71EE7-2EAE-4BC9-8158-8F20EAB14203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc34a34f29090d7e05153556366d2164ee64890","datavalue":{"value":{"entity-type":"item","numeric-id":4322072,"id":"Q4322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$001AB4BE-1E43-4005-989D-5FCE42BBB5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f878d9ea81da54f76c7915d19a0be0cac5da84c","datavalue":{"value":{"entity-type":"item","numeric-id":5055878,"id":"Q5055878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$9828D6F5-6A0A-491E-92A3-585843A5642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$A1BEF80E-C174-4F7C-A826-3D4D384DDBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$AF73F4E3-6FD9-47F6-B943-2E1D09457331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3dea7edb0a45a7a34007cbd769cbbeca1682a0","datavalue":{"value":{"entity-type":"item","numeric-id":5493382,"id":"Q5493382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$D7666E92-9750-40AA-9DC2-973E049A8828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5df928df94ea5ce4a0e35dccaf8816590ae7afa","datavalue":{"value":{"entity-type":"item","numeric-id":4414731,"id":"Q4414731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$A66E57E1-766B-4C79-AE1C-AF923B99F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929ff820f672483b6de035d1898767e05677bb95","datavalue":{"value":{"entity-type":"item","numeric-id":4855345,"id":"Q4855345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$77604830-5604-49CF-AF11-07C48E396301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$A6B8BC5C-5AF3-4CB8-8679-D2B963086573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03271e83fc25f696f2b6c92c3896191e0b33e68","datavalue":{"value":{"entity-type":"item","numeric-id":1908346,"id":"Q1908346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$4571C7FF-9841-4FED-A7C4-BBF3786589A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$86B7381E-FA8F-4F39-818B-18B975A071F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$FF05352D-99FC-4FC7-99ED-DB55934C96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3f57567f41804f61095770963040874a0d8f39","datavalue":{"value":{"entity-type":"item","numeric-id":3007669,"id":"Q3007669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$5A5C29DA-5CB8-4829-B4F0-4DA81072531E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f353d8fb820211815f70c69dbf1dd701fc9ec33","datavalue":{"value":{"entity-type":"item","numeric-id":4335853,"id":"Q4335853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$7CF72664-EC0D-4063-9ED4-66C46E2B5318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fe81fba96de8e07bb0bdb443a4a429845859c8","datavalue":{"value":{"entity-type":"item","numeric-id":4436035,"id":"Q4436035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$904A8053-EF47-47E8-8642-F1800CD6DD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$CCC5B202-B50D-48B2-BB58-3F939FECFA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$5DEB02A8-8FF7-4EF6-A4A7-832BD905D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387991$68E69D56-52D0-4F9B-A690-F363B0522086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5b96101bf2c73952187e1981b54f2456d26962a","datavalue":{"value":"10.1016/J.TCS.2013.08.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387991$2F6A54C6-0E61-45D9-BD75-1333F48CDEBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251a42f5ee5f60a9d9a032e021382c728c8d8e08","datavalue":{"value":{"entity-type":"item","numeric-id":3007669,"id":"Q3007669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6266d39bd166e25c89700a63b208db4b870d7b07","datavalue":{"value":{"amount":"+0.827186644077301","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":"Q387991$368215F5-36B7-4618-B981-21391A241A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2fd509a753b20ccae12da7c46c1251502613b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5410450,"id":"Q5410450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35459eb9daab2642a42444f653612491632d5bb7","datavalue":{"value":{"amount":"+0.8134255409240723","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":"Q387991$6A47E0B4-326D-4A53-91FB-197118B45FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0989e28adc045694137cea82d4a7fbcc6be10fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4436035,"id":"Q4436035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9032853dab307c0b2e0b642eb394ceb6282c5ad","datavalue":{"value":{"amount":"+0.7513138651847839","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":"Q387991$9A5F68FF-1A7D-4C5D-AFCE-83090B3F01DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f58df894e1c587aaee3d915e0a058cc56cf1622","datavalue":{"value":{"entity-type":"item","numeric-id":3837264,"id":"Q3837264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e10329b58c4bc6c87b88250c3b5d5fa4cb33db","datavalue":{"value":{"amount":"+0.7116311192512512","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":"Q387991$53ABC455-8484-4F7A-80F5-699CF782063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c79531b122cb8e2114771db879567f923e70c7","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"317db92519d6b87900d54698f7d01ce516b78310","datavalue":{"value":{"amount":"+0.7103713154792786","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":"Q387991$6292F307-D4CC-4F7C-A741-C624F77DCA6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic types and approximation for Featherweight Java","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_types_and_approximation_for_Featherweight_Java"}}}}}