{"entities":{"Q5170190":{"pageid":7199762,"ns":120,"title":"Item:Q5170190","lastrevid":100398386,"modified":"2026-06-05T22:02:09Z","type":"item","id":"Q5170190","labels":{"en":{"language":"en","value":"Automatic proofs of termination with elementary interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319551"}},"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":"Q5170190$D8E2BEB1-868C-482E-B30A-98E2485CFC0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ce8abe18650420d9358b35dd2bb3dfabb18a40","datavalue":{"value":{"text":"Automatic Proofs of Termination With Elementary Interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170190$F4CD9D2B-9F9F-4DCB-9A26-35598138F024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27b205b22325555f91ff981b6d825e24cb8c4172","datavalue":{"value":"1294.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$96561D15-E963-44BA-8975-45F48E86DA65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$3F95F613-1341-4EBD-B1DE-EB31EF4418D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$A1F15B23-33B3-410C-B856-B5D576F0C0C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-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":"Q5170190$3C831E4E-BE5A-4713-900D-C87656BA0768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$BB43A67C-503D-405C-990E-6C0314B933D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$28C86350-AF72-46D4-A8DA-DB694FA4B191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$9A1159C8-D015-408E-9D35-66C9200DC702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab4b5cefbc1e81725fb8cfc6077a205c5c1d833","datavalue":{"value":"6319551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$325722B5-D3AC-49A0-BDFB-9E8B3CE33627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170190$7AA08E5C-5A17-45C0-BD38-8FB16B6275B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c0251e0c3a1bd7dae44d78112a8d491a804a6c4","datavalue":{"value":"elementary interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170190$879E5BB3-E2F2-4644-9C15-22A972C59BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170190$E7325651-C693-4E1F-B821-4DD4516B73F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170190$53219DDB-3696-4E55-B530-C24BA487C5C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$65866CAE-82F6-427B-8228-02E8381AA750","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":"Q5170190$FAD0F959-3F52-4985-9499-CFF7A21F3791","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bd8ea559443c7923115b58700d014a16f6c55a1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170190$58F5E36B-94F4-4D63-8D53-D7A434B24F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"097d6b0abd5c0a7ce5e01d2c7880aa956353f18b","datavalue":{"value":"W2010033825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$10815EE7-C5A6-46E7-A563-7656BDC164C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dd7d56f1e7c007ccdfe5831e818e4994071fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$2BE23868-36D3-484D-AD37-12A9D29DE94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b3509db28eea536b2f7f4549095c8714e80c2c","datavalue":{"value":{"entity-type":"item","numeric-id":989290,"id":"Q989290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$DD9529E1-6334-4728-86EF-6E9239694EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$6601F6F0-06C1-4F56-8175-DB03074EEE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cfb6ec665f8eac1f665978ac78d9eeb093c3d24","datavalue":{"value":{"entity-type":"item","numeric-id":5191109,"id":"Q5191109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$9F9DD339-4A9C-441F-BAC5-6A1209B4C558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97085a21453fa99e8efc9892051675c7cc42943","datavalue":{"value":{"entity-type":"item","numeric-id":3608810,"id":"Q3608810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$8260A623-82D5-4584-BDA8-DB4F115BCD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$424D4423-5731-428B-8141-51423534623F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$B570B659-D9E8-4748-8C03-8C99B5CE993F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b2984b74cf100ed2c74bf2055473ea339632d0","datavalue":{"value":{"entity-type":"item","numeric-id":4509464,"id":"Q4509464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$64C3D1AC-05DD-4E4D-A988-E0253BFFE997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$5309A846-9BE5-4DEF-A04F-203DD73A0E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93974326695561d12106d18dcdbce3e4d125e41d","datavalue":{"value":{"entity-type":"item","numeric-id":2565251,"id":"Q2565251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$E4E1CA41-3CBA-4C44-B9F8-901BEAC9FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d3278b59ca26b48dcba11320e0649be1fb27c5","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$D3515FCF-9E04-4A8C-9B8D-E34E2EA1FDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$F853A6DA-29B4-41D3-A6B9-ACC1DED041BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$594FFE68-881B-475C-A743-31F5C687EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dda2f4b34510fccefb9279e83d8420e1934ba94","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$943A8FAD-F3D2-4ADB-B389-5955A02A6E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$1292CDFD-7E09-44D4-B1D1-C3AB75A606BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170190$29A95BBA-7784-44FA-B0C9-AA26CD6DDF00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d1393972c79d75e3b63952481ceec8dcedde951","datavalue":{"value":"10.1016/J.ENTCS.2009.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170190$56A610B7-3C9D-4082-9F06-911C4D07E617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82276f5781fa5590756d9e56986c1414489e849","datavalue":{"value":{"amount":"+0.8359375","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":"Q5170190$2D6AD60C-8739-42CD-881B-85E35E1F8A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72cc8906e6add3a00b5b179417db9ecf2208f9c","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e941c5948c72d8b3719f68ed63e53bb2201f84","datavalue":{"value":{"amount":"+0.8014805912971497","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":"Q5170190$13BC0A1D-6343-46BD-A9C7-E3E2DF10230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a863ef2024b34afedba1bca55411e6f0dc57f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e1857419c3e5eaa190ac7b4fe98ea67377a040","datavalue":{"value":{"amount":"+0.7990320920944214","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":"Q5170190$24012CC5-8C0C-438E-A579-38F90F7E112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ab284ca282458f5ee0350d83f2498c8c16f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbad4484cc1f563f5acda1e29add92cb95dc1803","datavalue":{"value":{"amount":"+0.7855288982391357","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":"Q5170190$809C8BA1-5285-4AC9-8EA8-0C65A7A35E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130322684904427026a4c621fd13d0da2f697971","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c99fdc0a259cbbb64a65a01ba15af762594e8c","datavalue":{"value":{"amount":"+0.7835215330123901","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":"Q5170190$278829C1-55AA-4FA6-BD2E-D16EBEA6EDB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic proofs of termination with elementary interpretations","badges":[]}}}}}