{"entities":{"Q923883":{"pageid":925731,"ns":120,"title":"Item:Q923883","lastrevid":65412291,"modified":"2026-04-12T02:25:06Z","type":"item","id":"Q923883","labels":{"en":{"language":"en","value":"Type-based termination of generic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586770"}},"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":"Q923883$1D7E2B96-5022-43AF-8AE6-D050ECE68E69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3284bfe9a87d14e674bbcb2aecc60a7e7ac5d31d","datavalue":{"value":{"text":"Type-based termination of generic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923883$6B371396-28DA-4EE5-A9C1-4C8421E6F9CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29431fb7b08d74a61517285b4e038ddcee4ed1ad","datavalue":{"value":"1192.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923883$FE67F02F-7632-4AB8-9736-D2F9C61EAAC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$E3F6D87B-62D8-45AA-8751-510F9E9FDF4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$9D9D4A2D-9729-4E0E-93B8-ACB18FC1064F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q923883$262C9095-642D-40F2-AE85-4DB63AA038A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923883$A5CC2414-BB09-4E8E-AEE9-15B539BAF14F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1885261b7045c4384dfdce9c3583eb091a4395cf","datavalue":{"value":"5586770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923883$9B26A09D-4656-4DE9-A63C-4E41FD359BE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q923883$E8ABB05D-3D78-468D-8C13-0F70C5905362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec5a3644ec103924379925d7a3ae39edad3744e","datavalue":{"value":"polytypic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q923883$67AE2FD4-3943-4DB4-A4BC-FF640C7A4F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q923883$CEF7AFF4-E543-448C-A527-E8FB9D195A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b046a0952e3d959b1d20dc4963232faf241a505","datavalue":{"value":"sized type","type":"string"},"datatype":"string"},"type":"statement","id":"Q923883$84DCAFC8-F728-41CC-BD5E-B3DE6DCAB19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2aa7b742bc2ef0288c4b5f31ba432a4da292920","datavalue":{"value":"type-indexed type","type":"string"},"datatype":"string"},"type":"statement","id":"Q923883$817A260D-28DF-4B10-BE11-BDD7B348FE4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6c3fd6f8b6db5b611a467144e548e7f33d1ee53","datavalue":{"value":{"entity-type":"item","numeric-id":33989,"id":"Q33989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$5089A785-A901-42B5-A4FD-AB2152806FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$E681597A-8E8D-47AE-B7A9-42FDE5DFCD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$70B1943E-B1AB-4687-89ED-B79B685F058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$7A8E2837-C464-4231-AE0D-C993884D5CC7","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":"Q923883$EC02CB6A-DB9D-4E92-A9C8-29CE624DA27A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bd8e4b07ba95581e4928aa67f0376dc386d9100","datavalue":{"value":"https://doi.org/10.1016/j.scico.2008.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q923883$CF503737-B83E-4A41-9924-F5EA2D0415E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2602be1df3ed31a5aae1702032bd736426ca6676","datavalue":{"value":"W2158523001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923883$21B8E385-5A05-45F8-92B8-9442E5AC0143","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"154689cab9c9a027befb52bb990b8613a9f02fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$6B1EEA71-DCB3-4F6D-9A7D-91C74A945AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620ef0e6e38d27271fb26dbb3f598964e2bfe2f5","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$1DEE098E-9962-4ADF-8B0F-B41763DF6F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$D7A3C024-8B48-4C78-9F4F-09799F4FA64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b00a71e2a4323a234658e91493a7bd2e6e24f66","datavalue":{"value":{"entity-type":"item","numeric-id":4816996,"id":"Q4816996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$2E76DAED-FEAF-441F-96CD-D75D6EE866EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$4D9C216A-BAB4-4946-A023-5B1B2E169DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$7FEFE829-3EDD-4653-B7D3-50FD9C09B234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14052563b97a2fd4fb1e42192428156ca01ddaf","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$BBF36283-236E-4EE8-9945-A01636869495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdadbcbe25bd5325171cf1fa88153a2d2477cddc","datavalue":{"value":{"entity-type":"item","numeric-id":4825542,"id":"Q4825542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$109C6151-A87E-4F9A-8A22-90852DB0AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14992b7184e79897817bc14cdaf53e6e7d6f0245","datavalue":{"value":{"entity-type":"item","numeric-id":5394574,"id":"Q5394574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$52FD77F0-7E6F-47A8-8637-5FAF48F94E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753d48870b14fa87c2bd0419525ca98f7277180b","datavalue":{"value":{"entity-type":"item","numeric-id":2817725,"id":"Q2817725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$BF3FB83B-C60B-4AEB-8BC4-85851731C585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799d273207c67ec7b548e88c5034009e9de9bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$CD91222C-77E5-4D3C-8DAD-774CE1D1DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd647b7e190f6768b66094a5a1a152a66fc6622c","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$551E7464-82B6-4E27-A2F6-666CC6B32A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2109afedce1b483ee7fc2708dbda6319653a96","datavalue":{"value":{"entity-type":"item","numeric-id":4519172,"id":"Q4519172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$9CC97AEF-6BF8-4580-A464-1C20E467A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aead46996b11eca6f30517bf3c4742b8dfb4e376","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$988E3EFB-B2C7-43E6-AD5B-B83DF16BA9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44f995b22051344e2be8e13300ad67c89b8e0a6","datavalue":{"value":{"entity-type":"item","numeric-id":700974,"id":"Q700974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$68BECD12-7854-408C-A02A-384ECE487D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84a938e277b7a896c4443d32261e6771ca25b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5187877,"id":"Q5187877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$71F3ACCF-6A2F-4A6E-8C58-85DE1DADE042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e895a3ae2ca11f386e2ba397bf60265adf55db","datavalue":{"value":{"entity-type":"item","numeric-id":5187876,"id":"Q5187876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$1526BA53-9EC9-42AB-9912-F9B714845749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8165f321b4fa6f8b04b58e3947f10c6fd341bb","datavalue":{"value":{"entity-type":"item","numeric-id":1881268,"id":"Q1881268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$AC151D61-53E7-44CE-BBDD-4648F1D6617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d7cb7e6c56f5c2c87c88ee55784af24696aa0e","datavalue":{"value":{"entity-type":"item","numeric-id":5466584,"id":"Q5466584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$E4116408-105F-43DB-9363-66F26DCC99E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ab5a04fa054d3460198c743a2b9dc0c6bcefef","datavalue":{"value":{"entity-type":"item","numeric-id":5313092,"id":"Q5313092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$6A0C8B61-3297-4482-9834-69054AFC3724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11511698d35023c4a8d20816d296ddd192460fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4945203,"id":"Q4945203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$F47F060D-AB0C-40DF-A38A-8FE1FA5AD53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$4708E6AC-A911-415C-9F28-A12AA6AB13DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9921526a786e42a43beffe992b99dad14d7b7b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923883$D0E9163E-A870-44CE-A676-00767DFDC6BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"894b21684c1ff2395a17d02a7d0d6e5f2b74a68b","datavalue":{"value":"10.1016/J.SCICO.2008.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923883$26790E47-9853-487C-A9D8-5D88BAF883B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60785d38add43367d5ff460c7240014af47c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce71704a8eb765156e1a5c594d56b2b11b5cae0a","datavalue":{"value":{"amount":"+0.952256977558136","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":"Q923883$8F3FE8E4-BA00-4001-BCE0-4385C3616891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fec648d54e88a7b65d0a8f4bd3f5c2ba89659f","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70540ea1cded398ed7d9c456a6e2a7089514cd9","datavalue":{"value":{"amount":"+0.798818051815033","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":"Q923883$FED205C2-9C80-4B7D-A1CC-FCF70F758427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6213ccf25bffc8a318abcd2a4c823b54e286802","datavalue":{"value":{"entity-type":"item","numeric-id":1015386,"id":"Q1015386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b40c32331fbea2a68b15083982a292e789a65f","datavalue":{"value":{"amount":"+0.7851009964942932","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":"Q923883$522C0C79-21D6-4B70-BAEE-7D79ACAD1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39017990a1dd47667c601367a6c441d2933f6841","datavalue":{"value":{"amount":"+0.7806127667427063","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":"Q923883$8D1F3FED-9362-4D35-B34A-6DDA1A8ED538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae2ab4470147088fe29d6e8379b18e3df084a32","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7620cf3bd44bd245432cf5dda714c38762abedd7","datavalue":{"value":{"amount":"+0.7761793732643127","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":"Q923883$E96A19B8-C9E0-40CE-8F1B-D79D7504D19A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-based termination of generic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-based_termination_of_generic_programs"}}}}}