{"entities":{"Q746783":{"pageid":748632,"ns":120,"title":"Item:Q746783","lastrevid":64031073,"modified":"2026-04-11T17:10:38Z","type":"item","id":"Q746783","labels":{"en":{"language":"en","value":"Proving mutual termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496669"}},"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":"Q746783$ED9EB0AB-C04C-4E01-AB5F-692CFD71F43B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e38b3a1e8d21abb680f935cffe47d945479af1b3","datavalue":{"value":{"text":"Proving mutual termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q746783$2E4EB76F-F5F0-4164-AF37-A99694599820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b576d219a6136d313ad99a8c46dc0702dc28e6e","datavalue":{"value":"1322.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$48248D9E-64BA-418E-B974-3CE37CD0C3FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b329a57ff7674c206733f52eb9992cba6ba140b2","datavalue":{"value":{"entity-type":"item","numeric-id":746782,"id":"Q746782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$0F462D3A-4441-4879-B666-556DE30A3FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568a61c55802ceda18ea5e885b2fc3da9204e0c","datavalue":{"value":{"entity-type":"item","numeric-id":340039,"id":"Q340039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$C2B02DBC-2B2C-4F50-ACE0-ABC888B7B68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$99CB5C4A-22E8-4BD6-B597-BEFF05E35E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$D1C08C5A-B617-46DF-8F99-E5D58A8AA67E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q746783$545CDF26-10A1-4A09-82FF-2B11AC4D0F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$007F48CA-CA52-4E92-8264-FC91FB2411A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$082F5428-F369-46C2-9916-90D2E4679C56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb457921a463b0abfb7369682e4c5894b4c2144","datavalue":{"value":"6496669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$16D0044A-FCCA-44E5-B4DF-EB73D01577BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f1cdab7341bf9c93a4074d2de123735a1762ce","datavalue":{"value":"regression-verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q746783$C4569B1A-874D-4E1F-804D-304108EB2A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5ac46422607c747e60f1c77051817e04e9baee","datavalue":{"value":"program termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q746783$7EAD8FB8-8B00-44AD-A104-BDE5F97ED965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d9fc562ff596f8fbf267376f2801163d020eed","datavalue":{"value":"mutual termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q746783$DA42B10D-46D2-4AD4-8698-B1A446D2E2A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$761BA200-63E2-46AB-8C4A-AC60C4012B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$92271F60-E00A-4D4C-BAE2-4E3D0ACB1F9F","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":"Q746783$89CDDB34-919E-4FDA-8AD7-9A4682BA4EFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c29c625b03d65fdebac3f7028d3013e6068763","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0234-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q746783$AC6CD1AB-099E-427E-84BB-149F27719DBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"427b4b5b23bf5141e944cb6ec5f774e112b8a651","datavalue":{"value":"W2177439807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$73FE5775-7BA5-44CC-8310-4678039713F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$BFC78A83-1E08-43CE-983A-1C894F9F52C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$44B74CDF-8F4D-47E8-98C8-8820D7C8A39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$3F12D544-608B-433C-8E84-0E03D97ED807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98855e5f63a687d22ad5b8fcf60eef7c9c99fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":938300,"id":"Q938300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$C338DCFD-8700-4CCC-8B15-D2597975D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$3B1DED66-38A0-4747-9551-6A08FF10CD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$1DFBD2CE-38BD-404C-A745-2A6CB6FB749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96c4f173d9de2d5cc3b8e582f83d4c2ac414ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3929798,"id":"Q3929798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$A011AA38-C9A9-4657-B42B-52C582A7214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746783$58DB5612-8A60-4588-A70E-0202CFAA0B11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18e410149ce1b511bfd710b5519baa13dbf9466a","datavalue":{"value":"10.1007/S10703-015-0234-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746783$616CB4DB-F13F-465E-B296-2FD1CF63C4D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6464788f6003c55eb5f1a99784db6dc33607560","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaa1ca2a981d2ca3dded24aa85d0083efc6c17e","datavalue":{"value":{"amount":"+0.776292622089386","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":"Q746783$9FC6FF84-C227-400E-8FE6-0D3576763CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca9413c57927dac6f91d591d99752ff2c30cedbc","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaa1ca2a981d2ca3dded24aa85d0083efc6c17e","datavalue":{"value":{"amount":"+0.776292622089386","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":"Q746783$75F5D7D8-1CB9-439E-95B0-5A20343B3408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ec0df6d73828d5ec403ae3e6c35a83d77a285","datavalue":{"value":{"entity-type":"item","numeric-id":4647514,"id":"Q4647514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2cbb788004f956e204a856069923203666d1a8","datavalue":{"value":{"amount":"+0.7741255760192871","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":"Q746783$8604462F-4437-4AC4-A95B-C211E265FFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a60eb932c8557a8d9a340978cb9b5879fec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fb9098ba9c976cff23698a295ca0c2bc59f487","datavalue":{"value":{"amount":"+0.7693300843238831","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":"Q746783$D9985422-6AF9-41E1-9894-3B47AFAD9500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cb83556b7cef6399b3b254f5ad5b10124d3050","datavalue":{"value":{"entity-type":"item","numeric-id":1887136,"id":"Q1887136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a305bcff061aeb949fe5029ab78351dcdd5aad08","datavalue":{"value":{"amount":"+0.7591856718063354","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":"Q746783$64D83C38-EC76-4D3B-B9B7-B7C7634CF501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving mutual termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_mutual_termination"}}}}}