{"entities":{"Q5168926":{"pageid":7198498,"ns":120,"title":"Item:Q5168926","lastrevid":52044752,"modified":"2026-01-20T20:02:24Z","type":"item","id":"Q5168926","labels":{"en":{"language":"en","value":"Termination analysis and call graph construction for higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318895"}},"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":"Q5168926$26447E79-FA60-4FE3-AE9E-72CB107DAA26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2818b11a6140607a91d40dee697185b7c1ef809a","datavalue":{"value":{"text":"Termination analysis and call graph construction for higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168926$18114F64-F82C-4B74-BF2B-11B95C8DB4DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0038332e8aea3d99c49a21d50f72426ad3acba1","datavalue":{"value":"1291.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$D676401B-D11D-4065-AAA5-26C2F612A399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54cc2820190c5b1bd432acbe1620e52b82e32b91","datavalue":{"value":"10.1145/1291151.1291165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$A5543AD7-682B-44DE-96FE-A4EAA0658901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcd9e5737b465e6b16d21af908a235700c48da62","datavalue":{"value":{"entity-type":"item","numeric-id":3189779,"id":"Q3189779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168926$0C68461E-0710-46FF-A4D3-BDE46AD48810","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168926$199267AB-E773-486D-B0C0-FF30C9705026","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168926$C8074330-C8AA-4B36-8AC0-09BA10FC43A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$AE61CA80-5C69-47AF-9F1B-3F6D68105C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$44B17958-9126-4224-9C82-E61C4A449C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$62E6BC46-8E9B-4762-B829-255DACEE6B24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9352b59b8efd2dcf2c40da935c98864724f723a0","datavalue":{"value":"6318895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$D9AAF801-0EFD-428C-9027-11CE7A5A6F5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168926$A3B341CB-086D-4F35-A5F7-8F90580F1BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168926$802CB09A-DB73-4665-8E21-9C47CE1672A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168926$8D0F6C0F-E0C1-4D32-90F7-3E13BEEB2796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5168926$04199212-D832-416E-BC8D-34B76D3BCE16","rank":"normal"}],"P1463":[{"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":"Q5168926$8B294243-C0F9-48B4-9C03-C6C0E96EF9FE","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":"Q5168926$DF377D83-8BE5-4A6E-AF28-B47CCA9CCA1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f942d6731b4d6bbe688c400adb5b4e612d449c","datavalue":{"value":"https://doi.org/10.1145/1291151.1291165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168926$4AE656A9-3991-438E-9027-C44EBEBB1594","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c53849852b18036bc20430555bc15b61f8b9740","datavalue":{"value":"W1972318755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168926$3E3F3F2C-C83D-4051-9F7C-922203A8FD6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91768692aa8af2cc359f3a3d90889b1aec265909","datavalue":{"value":{"amount":"+0.7486770153045654","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":"Q5168926$61116EAB-BF16-48F9-972D-C0AFEBAC23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead39f050a3f34b15b8f5ee6994426e0ee895230","datavalue":{"value":{"amount":"+0.742886483669281","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":"Q5168926$BC0853E9-82E2-4A9C-B5BD-F1FCFF3AECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0799e8c034b999d7d63955690ae84cb06442b136","datavalue":{"value":{"entity-type":"item","numeric-id":2900270,"id":"Q2900270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca71392556a9b01a0af025fbcdcd3ffd0fb217a","datavalue":{"value":{"amount":"+0.7055149078369141","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":"Q5168926$3BDFC10F-DA89-447D-A09F-059E7564C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3979394568233adfaeb3bd7ac61fc6701a5eb73e","datavalue":{"value":{"entity-type":"item","numeric-id":2875080,"id":"Q2875080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58468e16280c525b5390bad543dbfe8998f410f","datavalue":{"value":{"amount":"+0.6962361335754395","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":"Q5168926$1E8C6B34-3219-4CDF-9DAA-2EF09A483910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72412cf213d0a26a443d290b652adb3dd8876c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0ee456d3cacb21e73b370742890e8d825e9546","datavalue":{"value":{"amount":"+0.6927041411399841","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":"Q5168926$7213CDBB-3D2F-4770-9600-F3E200B0020E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168926","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168926"}}}}}