{"entities":{"Q1314350":{"pageid":1325100,"ns":120,"title":"Item:Q1314350","lastrevid":81159872,"modified":"2026-05-06T17:52:24Z","type":"item","id":"Q1314350","labels":{"en":{"language":"en","value":"Type inference, abstract interpretation and strictness analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501166"}},"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":"Q1314350$1E9647E5-EA97-466A-B990-DBCEC7100FD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3635bfae8de9110cd2d274b4cfdbd1946f07a07","datavalue":{"value":{"text":"Type inference, abstract interpretation and strictness analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314350$678C723F-3C10-4951-A4AE-697228FF9979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a505c55a6606cd05d52da5db2ddc0dd07e31a3ee","datavalue":{"value":"0832.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314350$C6C61584-69D6-466E-B66F-28656E61137E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de7302db17807d35afbeb8c35bf40e4e3900fed0","datavalue":{"value":"10.1016/0304-3975(93)90086-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314350$060B00FB-87C4-4A13-8FA2-E914B025AE94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078cfe53af569247617001143d839321dd2e8878","datavalue":{"value":{"entity-type":"item","numeric-id":235602,"id":"Q235602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$F75AF05F-172B-4DA1-877D-6AE5C8C4EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19bd195d4c114f60182eb405fef43f8863f52348","datavalue":{"value":{"entity-type":"item","numeric-id":2660667,"id":"Q2660667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$955A783D-B9CA-42AB-8499-97E6A9DF809B","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":"Q1314350$B5C8FA90-96F5-4326-A14C-28C5B007F1AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e26b88711e08010d610855bece2ce31f95b0ae14","datavalue":{"value":{"time":"+1994-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314350$038F5072-A12E-447F-AE44-22BF79098D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314350$ACD540EF-66DE-40EA-B308-78CB75AEFDE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"340b090cfd3835e0990bb7445a59f554641cdd20","datavalue":{"value":"501166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314350$A54DFF54-32FD-45E0-97F0-20A9F36D520E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5107afb59dab43f5a888eb0d75afe4bd13f19b2","datavalue":{"value":"type-free programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314350$D8BA6698-79F3-4863-9B44-977AFF2E6C3A","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":"Q1314350$EFE06BCE-981A-408D-A005-E964CECF95BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cb4eb5dd67038d77d8a88186c2d9409fe7bbe7f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90086-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314350$B9449957-49B0-4FE4-852D-96A1DA4044DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95f76a2dc641dcdad5d2ba6cb8ad6b5641a99640","datavalue":{"value":"W2022290763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314350$A8577AAA-AD57-499F-98D4-AD7EEEA16A46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fe6ca5421cce2b3382f33ba6ecafa84a4a9441","datavalue":{"value":{"entity-type":"item","numeric-id":3026333,"id":"Q3026333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$2E0C1048-115B-4C81-81A4-70777C672351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$2A40AF76-A777-4605-A8D5-9650FCC39826","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":"Q1314350$B4FE00AD-171A-4590-887B-50CFDE9ABFEA","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":"Q1314350$269B4AA5-AAB2-4114-95AC-7CE94B8438AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$C005AA15-A9AC-42F7-9757-9AD8A1CBF266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dccfba157a696355ea793f546eb49959318e628","datavalue":{"value":{"entity-type":"item","numeric-id":3685169,"id":"Q3685169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$31A5BC8D-FE8A-447A-8C26-D730D7FB8020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$060B262C-EAFE-44E2-B8B6-82BB1F036707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$876B1D83-5673-44F5-8F20-FB7FD4C2288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$ED42EF19-4CE8-4481-8A1A-73E136C3771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9922389f27ed3bfb04bfaea5e36e68a955b95f38","datavalue":{"value":{"entity-type":"item","numeric-id":1089331,"id":"Q1089331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$04F42576-B07A-420C-9C1E-74F1ED9D66FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$DEB7D830-DEE1-492C-ABCA-D5827D59FEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$2ADC46CF-ABD4-4C06-84E5-61C6B7D3BB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$0525EFA4-754A-48FF-90D8-63635855E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$7FF2EBD6-5DF2-4503-8949-CBF92C418460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fba58ff256554daa3c7c00e75c486e7bc08ce19","datavalue":{"value":{"entity-type":"item","numeric-id":3664406,"id":"Q3664406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$A71B846D-DCC6-4EB0-BCAD-1F0B22F4E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c041f75172a57ebbbacd43f363f521129e24c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3718128,"id":"Q3718128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$CAA47210-763D-4772-9D07-507C9B8769E2","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":"Q1314350$F2496F98-ED52-4278-85D7-C36161AF5143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$55B3B81B-0D8D-4ED5-8CCB-2CAACAB70FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc9805b5fa6bfdbbc40963bf99daff64ad8032d","datavalue":{"value":{"entity-type":"item","numeric-id":3664454,"id":"Q3664454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$907E0C8C-7F8E-4689-89B5-973C6D8A94FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314350$7C1FEAB5-BF03-41C8-A5F6-882B6DAA865C","rank":"normal"}],"P1643":[{"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":"dcecfa3f8d259fd5f6ba16dbe8d1848ce493707d","datavalue":{"value":{"amount":"+0.7951630353927612","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":"Q1314350$679A9FEA-1DCA-4A23-A2D2-834885E40800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b2e6ba4439f38479153120eba085f8959e729e","datavalue":{"value":{"entity-type":"item","numeric-id":4847376,"id":"Q4847376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6889d0caa67b35c475ededb9cdc53a4aef9ff5","datavalue":{"value":{"amount":"+0.7880778908729553","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":"Q1314350$10217C25-F50B-4BEE-A9FA-1A9F1A776C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c9fdd76ddbdee94f144d00e063a99fb2c57ef2","datavalue":{"value":{"amount":"+0.7764471769332886","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":"Q1314350$4154026F-AD6C-45FF-8B23-E6F9BB91AAC7","rank":"normal"},{"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":"e786d7c97dfeb3ae885a1c2bb3988d3898930266","datavalue":{"value":{"amount":"+0.7748380303382874","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":"Q1314350$4A9309BD-9ECF-411F-BB25-31D9756995A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference, abstract interpretation and strictness analysis","badges":[]}}}}}