{"entities":{"Q5458441":{"pageid":7488000,"ns":120,"title":"Item:Q5458441","lastrevid":92626412,"modified":"2026-06-05T02:12:51Z","type":"item","id":"Q5458441","labels":{"en":{"language":"en","value":"Strictness Analysis Algorithms Based on an Inequality System for Lazy Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262493"}},"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":"Q5458441$CA4E18F0-BA97-4B9D-8178-AA60491C184F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7410998c795a4f3aae739d5faa56a087c61fff52","datavalue":{"value":{"text":"Strictness Analysis Algorithms Based on an Inequality System for Lazy Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458441$AFC1C65E-5315-4762-ABB9-E76C35326011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1606d3a7d270505f93b83519a9c4d5e8e377b7d0","datavalue":{"value":"1137.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458441$0C7BD71B-0828-4C85-8B78-E5046A4A0C72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00de38f913b64f1bb73437b076476c49213aa80f","datavalue":{"value":"10.1007/978-3-540-78969-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458441$CFC385FE-FED7-4BDF-8B29-996978A6900E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab68d3941e9aaee7024ab0624e21f6a8a75a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":235627,"id":"Q235627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458441$13A32DDB-46F3-4817-805D-A4DB296EAE65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458441$F146064F-DA3F-4094-BFE4-A71815EB4FDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458441$FA2A0D13-F3E0-4629-91E3-D330352CEDD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458441$E7EE1191-E935-4E6E-8557-8E0882247A97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9cb28265ce2617031245c198ca3b661c907f3b9","datavalue":{"value":"5262493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458441$FC34796E-48F7-4F12-9803-0A683FDFB123","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":"Q5458441$8AEB30F2-6343-4BBA-AA49-B36A321E57C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69c6ebfd5e69f0d6db7e2020d0e7993a79dbf1be","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78969-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458441$87ED895B-6F6F-41B4-B538-485F00BADC6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d82dcea0591a3205d7e9c69f23387fe745917611","datavalue":{"value":"W4232013186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458441$6943B77C-10C2-494B-9E84-4BF2EFE92EEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f5db8bd44a4ba5faaa42fa9337e4e7b6cef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3024904,"id":"Q3024904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8994df7fe510173555915edb9b11d029d91ec3","datavalue":{"value":{"amount":"+0.8211527466773987","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":"Q5458441$CAE6A636-E099-4F07-8CDB-A1F004B4AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c5c64f09d7d83bbfc7535de8fbfef6d1fd798c","datavalue":{"value":{"amount":"+0.814935564994812","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":"Q5458441$97E75E5C-FC83-4414-B39E-80DADEA721C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6353f7ef174afd4c4f0aa570fb0233feb832ca92","datavalue":{"value":{"amount":"+0.803920567035675","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":"Q5458441$0A288417-A22F-4CDD-BBB2-8BE1C341127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596aaa51d14f8295fd97818110b981ee7a9338cd","datavalue":{"value":{"entity-type":"item","numeric-id":3735054,"id":"Q3735054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41056bc473c6e3ef1fdc30a57493ccc09261f6a7","datavalue":{"value":{"amount":"+0.8035523295402527","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":"Q5458441$D964B5AA-6B4B-4999-9678-264DB11DF5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1470a6428dea58786e3326dabe82a40602537838","datavalue":{"value":{"entity-type":"item","numeric-id":5958293,"id":"Q5958293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a092b0dfe4eafa0a38049e23fefe38cf47dca97c","datavalue":{"value":{"amount":"+0.8005520105361938","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":"Q5458441$836016F9-DBE0-4228-975F-8EFC5BAEA5AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictness Analysis Algorithms Based on an Inequality System for Lazy Types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strictness_Analysis_Algorithms_Based_on_an_Inequality_System_for_Lazy_Types"}}}}}