{"entities":{"Q2740985":{"pageid":2751724,"ns":120,"title":"Item:Q2740985","lastrevid":41956088,"modified":"2025-05-19T14:44:41Z","type":"item","id":"Q2740985","labels":{"en":{"language":"en","value":"Algorithms with polynomial interpretation termination proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642196"}},"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":"Q2740985$BB600155-C217-412C-90E7-A91F5D9B9B79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab01f8a21a6434a647cf93ef68dc88f5e43835cc","datavalue":{"value":{"text":"Algorithms with polynomial interpretation termination proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740985$A4BDB1F8-C30B-41BF-ACD2-4BB1771A639C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5f86b3ec856306e14153f32916df82ba70a16ba","datavalue":{"value":"0987.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740985$100AFF6D-C459-41DB-A223-F5E18FCA9D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a4a5826153904c83405425dd0171777b8737545","datavalue":{"value":"10.1017/S0956796800003877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740985$BA207E5C-8BA0-4618-859E-8D685102A5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f65f7d0692030b5b6e68cd05f2bea37cb96acb8","datavalue":{"value":{"entity-type":"item","numeric-id":276255,"id":"Q276255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740985$043AAF6E-FB89-4A66-B0C8-9255AA48F744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddce10392cd701dea16ef2cbf23dcb3afdcdfaf0","datavalue":{"value":{"entity-type":"item","numeric-id":2740984,"id":"Q2740984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740985$C3911AE7-9146-4CA8-929A-8ACCA6D1A1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740985$E0845A04-06EA-40A8-9CA9-63DD0D8AC21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac57ac5b28708232fa91007aba8af0493575b16","datavalue":{"value":{"entity-type":"item","numeric-id":925063,"id":"Q925063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740985$0F478771-499A-43B8-B41C-9EED0351C972","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740985$78644821-45CB-47DC-AF3F-7AB3AF501CED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65236f11c6868324c9cf523182acd6ee7e837356","datavalue":{"value":{"time":"+2001-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740985$41BE6ACD-1337-4A03-A419-4A4DBF2F6FB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740985$0771EA1D-8825-4E60-8CA7-5209B57D5119","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb5d5e4f7e90642fc8a2c612adb4a51ec15cd114","datavalue":{"value":"1642196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740985$516FDE87-A517-4248-BCCD-54D7899E81D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed29c81045792d2169c35728e1d25002a371a8b","datavalue":{"value":"polynomial interpretation termination proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740985$7F5742C9-C40D-47F0-BBA4-4DAE2FEB5562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2740985$220A8179-0A9F-4083-B1BD-F5802E0D6F85","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":"Q2740985$E3C6E9D3-F6F3-473C-823E-F644FD1E75BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9171c10c670a95a81d3e48cd970e7f47baf1d4f4","datavalue":{"value":"https://doi.org/10.1017/s0956796800003877","type":"string"},"datatype":"url"},"type":"statement","id":"Q2740985$1C4E979E-1B78-455A-AB65-CDF4E8E6D884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5369d4b04946f4159a1c6d8ffef16d40100755d","datavalue":{"value":"W2055717180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740985$684B2547-CEA0-4C16-BAF2-DFDDEF50E4A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499cab77001d1986558db15e4b7bdc8b14ac5609","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad893dd54002b2365cb8fafe9f17dd18aba47e1","datavalue":{"value":{"amount":"+0.90352094","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":"Q2740985$12E45BF6-537C-4814-8AC3-40142B9707C6","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":"a2fa576214b45d541aaaba4e57ded6d6da6c5841","datavalue":{"value":{"amount":"+0.9002621","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":"Q2740985$1A4300D0-799A-458E-A88C-F7A58E57D64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03258115b220b4196832769f5fe8aff47bad0c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4264735,"id":"Q4264735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5236fd4c106f04724970baf4155bded7049a4d4","datavalue":{"value":{"amount":"+0.88693076","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":"Q2740985$8AA0F784-1B41-4BF7-8E0C-538562809525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b19c1456fba0cd1b32b438c03d97982e921e747","datavalue":{"value":{"entity-type":"item","numeric-id":5230299,"id":"Q5230299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e95a37d4bb830b7ae6ec484d2b16296131e13b","datavalue":{"value":{"amount":"+0.878543","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":"Q2740985$8BE3FA2A-0A92-4E93-A459-CDBBF0FB62B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ee01ece2290a88761ab9c99a1e55c531a106da","datavalue":{"value":{"entity-type":"item","numeric-id":5138783,"id":"Q5138783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e95a37d4bb830b7ae6ec484d2b16296131e13b","datavalue":{"value":{"amount":"+0.878543","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":"Q2740985$CD97FA6A-A320-4AAE-BF26-201D972A7C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10998c287b200d6721264332bd926b12cdae593f","datavalue":{"value":{"entity-type":"item","numeric-id":4440336,"id":"Q4440336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4d42482cb15abf8c0ad521e4a9723e2f85449b","datavalue":{"value":{"amount":"+0.87704974","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":"Q2740985$A70CB3DD-B47D-4C57-8E1C-A6BBD3E121C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1c485227f5d394671a89f1a4a745bded5425b9","datavalue":{"value":{"entity-type":"item","numeric-id":4248251,"id":"Q4248251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f9fc34cb1577a65b45362f140c86382eee8cea","datavalue":{"value":{"amount":"+0.8659268","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":"Q2740985$A9B5D8A0-2026-4414-8F09-C42954BA298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc4431243db8fbf3ac889c0413ff461468644e63","datavalue":{"value":{"entity-type":"item","numeric-id":5308459,"id":"Q5308459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c92f0d06610af9003c32bf3e806fa86c89750b","datavalue":{"value":{"amount":"+0.8592589","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":"Q2740985$715976C1-E79E-487E-A8E1-DEA0B8741C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9aec3ca792c74be7bb74ff612cbaecd1b3e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":2233526,"id":"Q2233526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a8480b2cc029d3bf8c89682ff81ed58a8c940b","datavalue":{"value":{"amount":"+0.85693395","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":"Q2740985$1B090DA4-5F6E-461A-84C0-C9AF9A3796DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209dd9e008f70c6d43cf02a0c03a28fb50396fe7","datavalue":{"value":{"entity-type":"item","numeric-id":1912495,"id":"Q1912495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0eb7b97db71dd69e423e38b533c5a9c5977671","datavalue":{"value":{"amount":"+0.8553202","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":"Q2740985$3FBDBAC3-3730-4F5A-A20D-B68A6E8FF35E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2740985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2740985"}}}}}