{"entities":{"Q2805157":{"pageid":2815895,"ns":120,"title":"Item:Q2805157","lastrevid":42139174,"modified":"2025-05-23T17:48:11Z","type":"item","id":"Q2805157","labels":{"en":{"language":"en","value":"A context-based approach to proving termination of evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578701"}},"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":"Q2805157$B7C8FAEA-ABFB-4046-AD0B-9C0F7897BC44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc989c54462657bd59daf332cef466bf8a4c9079","datavalue":{"value":"1337.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$A9E367F5-1451-4641-8BD8-210554F4FD6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64e3f5ef123aa6f51585b85ba7e1d30c48eefe6b","datavalue":{"value":{"entity-type":"item","numeric-id":879355,"id":"Q879355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$2B32D1E1-70F6-4B84-AB8C-61C7C2D80F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$453C3525-9BF4-4F88-A25D-0D51488510E8","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":"Q2805157$692FB5DD-7321-4827-9BFA-5CD82FD9162A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805157$DFBE260D-1693-4F74-A6F1-99650F73AB3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$0D9B3C4D-A73B-449E-90E5-8FC661DE39B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$7F845CEE-E6BA-42E5-BF4E-CADE62893E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$D5BAE567-D852-4332-BE50-5757A15D0076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6999f4bc88484be14875f191ba9c85239a9d8506","datavalue":{"value":"6578701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$5BE62CCC-15D8-4234-81B5-3FD84DF21EC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805157$40452FB3-147E-4959-B2BB-E641E3FC3373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"663ab9b77931b44553413fb2e71ec23af3c2c23e","datavalue":{"value":"evaluation context","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805157$1E8779E2-018B-4269-BE9B-5DCB4DFABF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402460fccb0cb3f2f6936ca9908791a2b4937cd7","datavalue":{"value":"weak head normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805157$69EC7C09-0006-42FF-89E4-5F9CFC53AAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805157$CBF1134F-6EDE-4BAE-9BE9-F77F0D8C526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54837e2920de4f3acef3a3ae6bd5bd00099230f0","datavalue":{"value":"normalization by evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805157$8A716D1F-C0EB-4F37-A8C0-AB45B83664C7","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":"Q2805157$F8C12578-649D-42DE-A836-05DBA70A6C57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45e27979eb6cfeb822d4aca1c8ed1920e0a528bc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.090","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805157$BAD42394-0F2B-460D-9F6E-6CE62F7B41E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0e91dd434e05600e1115eb6b0da6b37940bbbd2","datavalue":{"value":"W2109833947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$98820DD0-C24A-4267-B8F9-869C6FE8B506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ca8f6f6b5ac0f34854c5c3a7531294eb51737","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$30BAD3E1-8502-428A-9539-F3A3C64D322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$EC674D9F-3E60-4CA9-BA14-BDEA53D46C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cb59848a25a21640623c0b047a52c256087175","datavalue":{"value":{"entity-type":"item","numeric-id":4281467,"id":"Q4281467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$FA8499CE-6E5F-4CF5-81FA-21530C05839F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8497b2d78ba0b1939b3cc4392136c45f636c16c","datavalue":{"value":{"entity-type":"item","numeric-id":817701,"id":"Q817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$D85BDCE7-C854-4708-9287-596E98EC352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378877bcf6c6784857308e7934243ad314668b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310642,"id":"Q5310642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$46E8924B-D147-4172-934A-D1149EC05948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2747a8c6f8d719be02ea61693091a9779659f973","datavalue":{"value":{"entity-type":"item","numeric-id":879356,"id":"Q879356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$AFFB7530-5CFE-422C-B36D-8B41AEFB9D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ddae3cd6c81f3adeb0b414d4377c9d2993c7433","datavalue":{"value":{"entity-type":"item","numeric-id":2852349,"id":"Q2852349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$30C7F0CD-F6A9-4B30-8F99-560A34FECEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730be61f324b593b9cdcf693cd18218da2ef3707","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$6F492432-2303-4D1C-9DEE-8FE8EDBE5F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$617D31CA-25BE-43BE-A62A-65D1BAE86708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$3C102576-4328-4905-A4E6-A5B437C8486E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$6B6877B8-3E6B-466D-8973-86E2EA712703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$3CFFA947-CFA5-4C8A-B28E-5674300FF013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$FEFB1119-C41A-40D3-80BF-DC14EFD879AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6d766407f32c9651e01df141d97c09f73980f7","datavalue":{"value":{"entity-type":"item","numeric-id":4357067,"id":"Q4357067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$075A76AD-3DCA-46AF-B6C9-908E826E1ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$15EF7072-E57B-4FE7-8EFF-739A99A05BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$D82529F2-C491-468C-B9F5-18BBD33C07CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805157$4551AC57-4DD2-44B9-A7A2-EC1404F6977F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b367efca3bdf521b850d7f0bd7135a8592e6da1","datavalue":{"value":"10.1016/J.ENTCS.2009.07.090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805157$917CF09A-B692-4889-B28C-F63A5B741A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e75a6853abcf72a160bb0d2054234b62f9bc154","datavalue":{"value":{"entity-type":"item","numeric-id":2778874,"id":"Q2778874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db6070065ae99be6123acfe6c4fa40b8d6bc55a","datavalue":{"value":{"amount":"+0.92245895","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":"Q2805157$BE205496-7462-4653-9A8F-0DBF39804768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8913ebb0a3c91f549c40ab7c824e5e4dcf413c","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd16d20824b6350be60161224c528cba67d9ac5a","datavalue":{"value":{"amount":"+0.90612054","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":"Q2805157$C0536472-138B-4F26-8A8B-DC15F950E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc926484bcaf0f8effefa86241065855320104e","datavalue":{"value":{"amount":"+0.89277864","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":"Q2805157$E3028437-AC1A-4EFF-BF94-9BAC3BB60A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9eb521e6c9322a030fb5d1d91b6b79aeab2cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2808236,"id":"Q2808236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5778a3d3ab808bef43f7564d6c1ae6b65d1d8753","datavalue":{"value":{"amount":"+0.886479","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":"Q2805157$56245BA1-7AE2-46C0-B388-5B3BED05E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a9b58d52db82e88e52bba1371ec8afda15d0b7","datavalue":{"value":{"amount":"+0.88552654","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":"Q2805157$F621DBE3-70D6-41A2-8A21-2F44D7DDF417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcce8ece0bc881a6adb213fe2643a1bfe9ee3bec","datavalue":{"value":{"entity-type":"item","numeric-id":4306397,"id":"Q4306397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6885e2525549b468f95f0bdab56c34b56d47b4","datavalue":{"value":{"amount":"+0.88428235","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":"Q2805157$1050FF8C-8D9B-43FC-84B9-8CB280ECA2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c429d2d65f23fcd3bf94e5f016eb4ea4580e44f","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2036c934e4fc601154278f18383f83d5037dbba0","datavalue":{"value":{"amount":"+0.8792105","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":"Q2805157$C53A2602-3060-4710-9A86-9A6B49C68956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cb8320e4ef940f052ecae277d263e4adaefa63","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff76012851add935c329c6a8486f3ef6147b3b08","datavalue":{"value":{"amount":"+0.8766032","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":"Q2805157$2E3B8F5E-7D90-4F62-913D-D265A42FD506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b194bd179e0241d89bd65d08880e9c599a9187","datavalue":{"value":{"amount":"+0.87479776","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":"Q2805157$0194AAD9-2E10-4EA8-B8FE-C1F381C2BDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5720cd84594b4966bf6d004209671bd3246f9205","datavalue":{"value":{"entity-type":"item","numeric-id":1323317,"id":"Q1323317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d696683d1712609e8e0834bcde18038524fc62d5","datavalue":{"value":{"amount":"+0.87444514","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":"Q2805157$D0E1F00D-4675-4547-975A-61E3ECBE1F32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060d0eabe468f6a51ab5f98f32a53fbf3bed2f85","datavalue":{"value":{"text":"A context-based approach to proving termination of evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805157$64C392A2-9AA3-45D0-8494-B57D10C50465","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805157"}}}}}