{"entities":{"Q1193597":{"pageid":1204346,"ns":120,"title":"Item:Q1193597","lastrevid":66455667,"modified":"2026-04-12T10:11:25Z","type":"item","id":"Q1193597","labels":{"en":{"language":"en","value":"Strictness analysis via abstract interpretation for recursively defined types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64878"}},"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":"Q1193597$C4183415-18CF-4600-B682-F341D7F16714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"494c20690e212ea8910d7a00e345deacb8ab077e","datavalue":{"value":{"text":"Strictness analysis via abstract interpretation for recursively defined types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193597$9ADA20FC-D1CA-4FFD-9571-BADE92655896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ddb542c7e0002ad5639bedc186828f8bd78b49f","datavalue":{"value":"0753.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$02DE25DD-7286-4637-92A0-DE66160B9E01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76a519989a3eff7d5587936e98624703a61f401c","datavalue":{"value":"10.1016/0890-5401(92)90028-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$D3ED3F9A-4FA7-4509-AE1E-2685DA40EBC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$04F437BB-88C9-4364-A1E9-B46648BAE8EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$E9A864C7-1BE2-4AB3-B7E2-1E622075D035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193597$B583012C-C95B-4EC4-B8C1-7D6CA59608A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$2516D3E7-5A74-4B60-A38B-4E710ABCD758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$C1606CFD-2BC8-4968-8BC9-B5CAAB07A2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$5EE0A805-AC61-4FE7-8382-D1B86C394182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a6c1cac029e66dc6dd2379b51053f0be64488b0","datavalue":{"value":"64878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193597$028C5277-F764-47CF-8CAD-7DC285AAAF6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f10edd459bf66b0f40211317ff09c832deefb79","datavalue":{"value":"analysis of lazy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$AC10746D-AA5D-4C59-BEC3-050BD9512E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$B9E914D7-9D12-4906-A748-340CCD300009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b87e7a668847a27892fb688ba90e6e7ec8455c","datavalue":{"value":"static analysis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$DA6324F8-99A2-46FE-A136-EA3AB29A5100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf01421652379d360bb594c1d8b04fb5c31fcf5","datavalue":{"value":"type verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$5837E793-8F79-4E24-8160-3DF51B3CCC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$62A93AFF-A511-484D-B21C-17BEF7E49673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193597$22BBA728-D008-451F-BCA4-6BBC38AAD12C","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":"Q1193597$1B530E62-AA98-4CA6-A023-90EBC2692EFF","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":"Q1193597$EA2306EF-9E7F-443D-BC40-085CD859DE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$F2D36BA0-7556-42CA-B9DA-8A0AE5E0FD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$DDCB261A-7A8C-4CC5-ACF9-8CC6E6FC09E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bfd5495fb43121f8a4e322e6d89c59ef06b781","datavalue":{"value":{"entity-type":"item","numeric-id":1097253,"id":"Q1097253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$4A3CD20A-49D5-4BC5-98B3-90D280F2BFC9","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":"Q1193597$FC6665AE-7885-42D8-A255-6D39767C6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$BD41C90E-CDA1-490F-A488-CA580B17C5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$E570E9E5-E6B3-407C-B0C3-D870C0F8771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$C8494CB0-0C73-4343-83FD-5DBF7372BE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$4B5288A8-3917-4D8D-830D-22C965798E98","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":"Q1193597$690F28DD-44D6-4386-82FD-D92836E09173","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":"Q1193597$605C4E31-36AC-401B-BFD9-0B2AF4A31B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad30fc9d0e257246e7704bef1d150d61ddbc861","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$1DC488AD-65D9-4F68-A90E-E6726A27DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$D7CF92E9-594A-4813-BCBC-4A13DCA8161D","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":"Q1193597$CE59CB74-61D9-4A09-8F50-A142559E715F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193597$B70B64CF-A14B-48C1-AD9B-2EA311EB43E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993889daf6e8532d1f6124a0a628ce6a295f6ce2","datavalue":{"value":{"amount":"+0.9458612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$07CA4E42-CABD-48C9-97C2-2B7163BC3CE1","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":"6687061fd2d785236e43ce566a9dc1c5ed68ac13","datavalue":{"value":{"amount":"+0.93923044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$21786A5C-2004-4DEC-9D11-DBF321A84BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dba2f0aefd8e21577fab8944d1f95576fc2227","datavalue":{"value":{"entity-type":"item","numeric-id":685350,"id":"Q685350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585955af82b6913e3ee5a36cf5fc55869d79d389","datavalue":{"value":{"amount":"+0.89693403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$02BB295F-7C2A-465F-9DD6-13C7750E3381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1280f280a64e80eaa88e74b0f388d7f8209ab64","datavalue":{"value":{"entity-type":"item","numeric-id":1749138,"id":"Q1749138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae9ca1d42a4bb0b964edc05794042fbb8b953780","datavalue":{"value":{"amount":"+0.89635956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$D281D2A1-1A6D-4D25-9946-6ED0CE956E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c7fbffaf54c38da87f2ec08c6c6f4d0dbc371e","datavalue":{"value":{"entity-type":"item","numeric-id":4287478,"id":"Q4287478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369e965b7d571192c602c648690967847f6b1034","datavalue":{"value":{"amount":"+0.89297915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$AF383CDD-8127-43A3-93F1-9F233DDD3B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1b578d8ac4dd169ff3b568571610e479bff9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5458425,"id":"Q5458425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83c35a1fc2da1241cb5b3aeb0359ec491889965","datavalue":{"value":{"amount":"+0.8928266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$BA42710A-E68E-4E60-950E-377B0BA45D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b406de871f98bf61cdfacc5467522b06f599d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3026333,"id":"Q3026333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117eff4ac482d9c5884e4a4e991d6eb7022cd9bd","datavalue":{"value":{"amount":"+0.89203656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$25119817-5C97-4BC0-BA1B-4C25B0FC4B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a70056a17c3f0601b467aa83b1064ace9a6061a","datavalue":{"value":{"amount":"+0.8914778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$E044BE32-80AD-4BA8-B601-49AC564113B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6addffac10d1336d4361b49efd084fb8ab726d39","datavalue":{"value":{"entity-type":"item","numeric-id":4738349,"id":"Q4738349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49fa1aa2a876f20e5a8af9d733ad401a1450fed","datavalue":{"value":{"amount":"+0.89114964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193597$3C907141-2B9C-44F0-A782-2AE737615368","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictness analysis via abstract interpretation for recursively defined types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strictness_analysis_via_abstract_interpretation_for_recursively_defined_types"}}}}}