{"entities":{"Q851142":{"pageid":852990,"ns":120,"title":"Item:Q851142","lastrevid":64827039,"modified":"2026-04-11T22:29:50Z","type":"item","id":"Q851142","labels":{"en":{"language":"en","value":"Mechanically proving termination using polynomial interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073791"}},"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":"Q851142$DC1CAE76-0A00-46DF-B54E-726F25746E76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a844bbf17ae488f2e5bc76a400e23f751fb86f8d","datavalue":{"value":{"text":"Mechanically proving termination using polynomial interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851142$A5917F79-3AD4-4561-8D97-AFCFC10FB036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98b2883aa5bc8e21015b18fdbfc5989fb9f4f539","datavalue":{"value":"1108.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$B53134A4-1EA6-4C75-82C8-D7B2709EEE6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55727f9f4a7efb137e6c3bf39c513ca15ab9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":851140,"id":"Q851140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$8E6C165B-4BF1-4DF6-B39B-1F9EE10DCCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$45DE7719-E370-4691-B6E5-22AE65846941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a445f901efdd49a331a245ca47f674bd3c6680eb","datavalue":{"value":{"entity-type":"item","numeric-id":851141,"id":"Q851141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$6C905B22-93D0-4434-A930-198539E1CB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99601cd1ef3148b698a6343b127ea54820fa08e","datavalue":{"value":{"entity-type":"item","numeric-id":483062,"id":"Q483062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$B452D752-3B67-4257-9296-5A7B5FF91FF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$E0782573-5588-4408-94A2-6DB61BC4016F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851142$45EE034E-6665-4B79-B71B-9B504ACE5DA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$41963F33-D2DB-429F-86BF-BBB499A13C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$FDBB199B-FE16-44C9-AEB0-007C7976C143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54a3fcab272bf065b5b2a10bc71b4636085a62e2","datavalue":{"value":"5073791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$4E78DC3D-D068-4A24-AAB5-FC2593708AE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q851142$B0FE6B70-AFAE-4461-B95E-9A0F6EAC6E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621527bcb2544743a612180377c0c8556ec5b01c","datavalue":{"value":"polynomial interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q851142$E0ACD00D-960D-4ED3-B192-FB2B1617BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc79339e35580174561a9b377d412ad0d9a6919","datavalue":{"value":"weakly monotonic orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q851142$EA41B968-996A-4CBA-A16C-A24DAD1CDABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5fcfc45658214af2875ccbcdca2fa4e00e0831","datavalue":{"value":"Diophantine constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q851142$F582C694-CDC0-4644-8C41-981361DA5773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8552a35f9cdbe0a792243d94863ca55a5f00c26","datavalue":{"value":"polynomial orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q851142$9D8638B7-1CA3-4E0B-954A-FAC6E73D07A1","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":"Q851142$7B166A9B-EE2C-4530-8B68-BD4472F4A1C5","rank":"normal"},{"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":"Q851142$5D724E21-A113-49CC-9110-148CCFB7D712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$F8233EE9-A4F0-409F-9728-0CD46E804444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$39DB39FA-8120-434D-8240-BBFF103BEA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$21574844-1AEF-4582-86D3-6370324D8D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680c244b02c0203bda666c4a12f1fe54854dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":22085,"id":"Q22085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$D09BAAAE-CD3D-428E-9232-99651C506E5B","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":"Q851142$9C9D935C-62BF-4476-8D57-A5C1BD469407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11ea9ab97ecd23b6c641e9eb85f9ba7739d67858","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9022-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q851142$6870DB6B-338A-4DDE-99F5-96D79C98905A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a590dd613235ffbbc4bedd1e53b47b2b73af0ab9","datavalue":{"value":"W1988455648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$D994B2D4-5890-4384-AEE3-06635FD7AB40","rank":"normal"}],"P223":[{"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":"Q851142$350D7F2F-C731-4567-84FC-A66CD70C892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$E1B09122-22C5-43AE-90B8-A684798EB4EA","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":"Q851142$58DFC489-9B81-4845-9536-83C805240A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96db905ba7f7731315ba4833b8fa1e49d39d9061","datavalue":{"value":{"entity-type":"item","numeric-id":1340674,"id":"Q1340674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$9F221CD3-9AD0-4B22-AAFE-A6905D8A9A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe69d138e5c15636dbf54e5131652b5b508542d","datavalue":{"value":{"entity-type":"item","numeric-id":4732098,"id":"Q4732098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$F9704AA8-71FD-4167-85CA-2C7977C64569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3806101ef2be47fd9dd3f1dc9f2f7f2a26cfccf8","datavalue":{"value":{"entity-type":"item","numeric-id":2740985,"id":"Q2740985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$4F9E9FDA-A99C-4E03-85A0-97BA45B80259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a87835da784886c2229f8525000a9e42f2afdcb","datavalue":{"value":{"entity-type":"item","numeric-id":3129502,"id":"Q3129502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$9927F0A9-174E-46C6-8203-827188EC6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cea6af4ac375cfff93398a6355c2fe5e1792d5","datavalue":{"value":{"entity-type":"item","numeric-id":851142,"id":"Q851142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$6D9F2421-1922-416D-BC41-08541B874B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$2D19E664-A7BC-48DE-A964-B9095B0DDEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed8f781acc8100b35634af0ade8e1b1c189e0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4365757,"id":"Q4365757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$072B77F9-1155-4688-95CA-83EA169047DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$C83AEEA4-C146-42E1-AE5F-1749027921BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$082B5BF1-29F6-4D63-9123-CD0574FD4455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbddf8d1dd3bb1e1b12b93e8ee8e3b2471d0a50","datavalue":{"value":{"entity-type":"item","numeric-id":3893297,"id":"Q3893297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$8609144D-6511-4632-A379-B15E86A73860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2f6c372d905f2d2d72c3db39f20b32a30094ce","datavalue":{"value":{"entity-type":"item","numeric-id":3912017,"id":"Q3912017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$B6BC8D0F-FC7D-4D4D-99E8-AF816F63BD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$4214103A-A00F-4E88-AE53-725320142DA6","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":"Q851142$3722615D-5F59-47FD-90FD-4962707D0724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$75516489-0BFB-4DC9-ADD2-494310168C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$FAFD49DC-9942-456E-B66A-C36670230A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cace0e36925fb7f03948a4c2b888f6a90131ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5287502,"id":"Q5287502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$FCA9DFA1-17AC-449C-A614-C5C135F9A218","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":"Q851142$705711B8-33AE-415C-B680-C8712D1BAAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6b4357df81670826494a35620f1927f608201e","datavalue":{"value":{"entity-type":"item","numeric-id":4808754,"id":"Q4808754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$8F7072B1-83DB-49F6-854B-9470CE2C3743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$7BAA1F02-5012-4757-9C20-6599C3204A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$1CADED9C-3CFD-40C1-BDE6-6FCA1D277864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1282584328bd3a7f7d619b21298158a3e46ae8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4539643,"id":"Q4539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$98D8D02B-2E51-4B87-8B5F-69A3436748C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4a0c756aae5cd7189d465b5e9132e8e9a2a6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3919076,"id":"Q3919076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$EAE56485-0A4C-4750-821A-EBD9531B06C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e7cc573915fd093dc3a892fb5f31eef88e6584","datavalue":{"value":{"entity-type":"item","numeric-id":3893298,"id":"Q3893298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$FCE1D55F-F3BC-47B9-921C-0942A46CFE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de8ad027862d538b2b6f8571a66c4e0ce34b32e","datavalue":{"value":{"entity-type":"item","numeric-id":4447254,"id":"Q4447254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$430F5955-6939-4C8A-B1A2-F90C14CECC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b23ca283e541dbe1f4ce3dc3ade59818847ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3357550,"id":"Q3357550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$E0AF7BD2-8399-4B7C-B3E5-4D87E6255F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7922620ac4e9d6ef353cba3c1c88843ccda1be68","datavalue":{"value":{"entity-type":"item","numeric-id":4279675,"id":"Q4279675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$A0E99202-5807-4912-BD15-50A87078CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a386e94ed5147b5aa2b981e021433b9799f0d5","datavalue":{"value":{"entity-type":"item","numeric-id":1204967,"id":"Q1204967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$E8C210DF-B3B3-4A34-9EAA-660BC1C01A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8c1c6dfd59aa40bcf222f8a23d59f6c7468eba","datavalue":{"value":{"entity-type":"item","numeric-id":4256647,"id":"Q4256647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$35017EF5-5747-467E-B186-EE3750F4CB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$E6D137C7-FF32-447F-8DB5-B1D54979836A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$421AD213-8042-4041-927B-1E6D804B19EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110182b1aeb3f91b8e865afb5d91ec6083c78fde","datavalue":{"value":{"entity-type":"item","numeric-id":3351437,"id":"Q3351437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851142$5DD124C1-5FEA-4EDE-8E5A-D7F869A6F924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d12f6e1bb74aad395d1034fd95403ac2c8a152a3","datavalue":{"value":"10.1007/S10817-005-9022-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851142$0184D462-6983-4281-A046-A1B6A7F8049A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e66bab930d4255de50003b8599f0a36f4823f4","datavalue":{"value":{"entity-type":"item","numeric-id":1318775,"id":"Q1318775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbb2b8b6d636cb13e7cd95754945b9c4326ef0b","datavalue":{"value":{"amount":"+0.8480205535888672","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":"Q851142$871A3584-80D3-4E72-AA48-46241E8E64D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa8714245a03ac9d445e88011ccdc957aa3d442","datavalue":{"value":{"entity-type":"item","numeric-id":3401099,"id":"Q3401099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6b70b29c4f93ac45d4067cec79306240e35a41","datavalue":{"value":{"amount":"+0.8468821048736572","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":"Q851142$5FA81C7E-55F4-460E-99B0-16BA7BB44BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e07785c6c057dc5394f559076e0c2b5b176212a","datavalue":{"value":{"entity-type":"item","numeric-id":5505493,"id":"Q5505493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece0d3fabc122610c786ae1ca3cdcb1b168b1054","datavalue":{"value":{"amount":"+0.8436364531517029","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":"Q851142$4B8C9BC1-DA4C-43A9-B844-3C517B058DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc5068002fcfc122a64810d524a1cdab4731a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055845,"id":"Q5055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4111c7d6c71b1882de7983fddf393d7260a7fbba","datavalue":{"value":{"amount":"+0.8333970308303833","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":"Q851142$37B4C63D-F6B3-410C-996F-5BEC0DB85A8B","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":"55656d85b197df0cad8f7c9fe5835b981248b788","datavalue":{"value":{"amount":"+0.8284157514572144","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":"Q851142$74F6F727-46A0-4929-8CE2-8699706F9B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanically proving termination using polynomial interpretations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanically_proving_termination_using_polynomial_interpretations"}}}}}