{"entities":{"Q4673545":{"pageid":6703126,"ns":120,"title":"Item:Q4673545","lastrevid":48473869,"modified":"2026-01-04T22:39:38Z","type":"item","id":"Q4673545","labels":{"en":{"language":"en","value":"cTI: a constraint-based termination inference tool for ISO-Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2163137"}},"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":"Q4673545$E1411871-8493-44F7-B29A-F90CEB737391","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84bd655c722db325bd16b4ef81b2343944c87449","datavalue":{"value":{"text":"cTI: a constraint-based termination inference tool for ISO-Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4673545$E73FB97E-4276-473F-9D08-7CF1856AC5B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc1201afd3d95e78cf18b342dbae10289c5756f7","datavalue":{"value":"1093.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673545$2C24C3BE-C6F4-479A-87A6-A29D2684FEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80e21e2e528f0a2ed96b1d69ccfd4f19c3591942","datavalue":{"value":"10.1017/S1471068404002017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673545$B739EC1F-E180-440B-8785-BE30D0DE82AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673545$6CF4DC55-1DDA-43F7-AA95-EB0C6C1240D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673545$FEF51191-462D-464D-B093-C17D73B6C216","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673545$CD60A5BE-1E10-42E2-8FE2-1E5415DBCA73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4673545$EE8AF6C1-5D4C-49D5-B873-0D798EAFB029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673545$2090C0A3-1443-4214-BB22-4B4F20D3F8AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f649b8a956bb8cd2c78eebf72bea40ae76de2fbb","datavalue":{"value":"2163137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673545$D9425B3A-E110-4E49-AF24-65D7D96719AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7eaa5c114962ac51b523914798d36fe5731284","datavalue":{"value":"Termination inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673545$8F712F1B-81FD-4DD8-B4F7-760D831D890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673545$B3E10D58-0452-4248-8CD1-2AC5BD063752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673545$37BFB790-DFD5-4EA5-8D40-630BFB0C68ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673545$9263DF5E-69F8-4A16-B612-ACD9C8645318","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":"Q4673545$8D9E21BF-9C4C-48A8-8280-B45B360FB49C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31e710e5c2863946c3a42f21ba494a352dea81b6","datavalue":{"value":"https://doi.org/10.1017/s1471068404002017","type":"string"},"datatype":"url"},"type":"statement","id":"Q4673545$DB97D4BE-5A21-4687-8726-F947E8701C74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa4b84532dd7fedcaa1ac93d58f0ee4ae628ebca","datavalue":{"value":"W2121932590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673545$5D795514-C0F8-423E-83B1-20B729D201C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68dfec6cc7c1b55c7aff1f98e8cfbff05da12d49","datavalue":{"value":{"entity-type":"item","numeric-id":4779112,"id":"Q4779112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071c40b37c0d5ab396947a84884829b2c7a45cdd","datavalue":{"value":{"amount":"+0.909747302532196","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":"Q4673545$825B4056-E5C6-4345-8091-594794132C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14683cbb692ce11c7e42dada161cc8d1f121af75","datavalue":{"value":{"amount":"+0.803089439868927","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":"Q4673545$B9440B74-B025-4067-8454-50D14834B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dcd30a32cb361babaf579c6e625f6cb34f1918","datavalue":{"value":{"entity-type":"item","numeric-id":5466573,"id":"Q5466573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e51bcb20f3235370b41ed0d5f0081fba297d16a","datavalue":{"value":{"amount":"+0.8026304841041565","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":"Q4673545$60A97D72-2038-44CC-8DA1-DE0D9AAF4775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510ff608301ddd9705eb6af6329124ec69d95c15","datavalue":{"value":{"entity-type":"item","numeric-id":3648357,"id":"Q3648357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c95ce93a74bdbc1ae215a2563fe1d82d42836c","datavalue":{"value":{"amount":"+0.7915878295898438","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":"Q4673545$7A6FE452-E530-45F6-951B-6FFE4762617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8beeb8278c3086dfa3b43d29200d58ced85b32","datavalue":{"value":{"amount":"+0.7845995426177979","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":"Q4673545$5CCAD1BC-983E-4EAE-B6FB-3BE3A82F9B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4673545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4673545"}}}}}