{"entities":{"Q3067476":{"pageid":3078192,"ns":120,"title":"Item:Q3067476","lastrevid":51169796,"modified":"2026-01-17T01:34:15Z","type":"item","id":"Q3067476","labels":{"en":{"language":"en","value":"Proving termination properties with \\textsc{mu-term}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839829"}},"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":"Q3067476$4D3762C7-635F-42E0-A3EF-55F30AA94C43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d69894898b48650c1bc5fe036e480cfe89620bf6","datavalue":{"value":{"text":"Proving Termination Properties with mu-term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067476$EA926019-262C-463E-8FBD-008C81E904BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5ee9105bad53cb50b97fa5b881af6c9e00f747f","datavalue":{"value":"1308.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067476$B7E0D49A-15E1-4713-9971-86BC8B005EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7546295106346191e0eeee5e8a4d3a9b5638e4b9","datavalue":{"value":"10.1007/978-3-642-17796-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067476$D3441EB7-5E96-4E9F-BBF0-AC5A893A07A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bbe7fc73ae36d42296587e4644ebbe3b7b1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":989288,"id":"Q989288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$A800AD50-3A77-474C-BA73-690436CA58C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$467C0094-8C1A-4918-975B-A845C2AA8F77","rank":"normal"},{"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":"Q3067476$D05CECA7-004F-4279-BD8A-856669A14EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a1766d1bc37a94f1b3bc2e2577c39b702d3f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2871850,"id":"Q2871850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$EB8FF52A-DD26-4ADC-A8A9-06B7D3671898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$F0EA70AE-4CDB-433A-9450-C6975104C9BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067476$FE803A1B-C76C-4A0F-97DF-CE76C940D091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067476$1293C158-AC65-4AA8-B5C6-09F5EF5D43A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"707bdfd59e592f4348c7e03bc4e9d61e356415d3","datavalue":{"value":"5839829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067476$14F1CEB4-14F2-479E-8923-3207645C7C5C","rank":"normal"}],"P1463":[{"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":"Q3067476$CB1DBCAA-34B3-4701-9B37-67450D0DA101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$0B89B19B-A023-4F62-ACF7-01B8F05D4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$672B9E84-3A4C-4881-B7F5-5D7C05CBA74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$AFE3F089-0E1E-4C50-8602-CB1CC8920C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494d6979e4f6948fad47029137758aa771db2a23","datavalue":{"value":{"entity-type":"item","numeric-id":22034,"id":"Q22034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$1CF62883-DF7E-4DCF-BB2D-B3011FF39B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa4d2ee831327588266f7bff63c8d0bce25b9403","datavalue":{"value":{"entity-type":"item","numeric-id":22035,"id":"Q22035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$DBAEB3B1-E600-4E11-82D0-A3D8B3FE93E7","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":"Q3067476$4223E719-3833-4E41-9E97-A8847246DF86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dce8b576f0b95d11b455af30503709ad79a2966","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17796-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067476$4F630DBE-926C-4E68-BEE9-DCF06A7BA3D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90124457f4756bd9279a2628b584ebc90850b416","datavalue":{"value":"W1677884663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067476$CE8F2A8E-D6CA-4650-B3BC-7D4F4C4854D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db567a69db90da129707225d3624b9c37b69b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$6C320002-13EE-4FAF-8BDE-7D5A27A99A44","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":"Q3067476$A0A6DD50-3255-4F5B-BC7A-CC17A288D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0958e6b4e0375c6bed7aa9c3bc9bcf8c6a3a5985","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$DD640BEF-BB9B-44C3-A42B-5D0743630AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28df93d2f1ffc0e63be30b9121b171d24a4878e3","datavalue":{"value":{"entity-type":"item","numeric-id":4933277,"id":"Q4933277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$255228E1-077C-41D2-8A8C-1713FCC78055","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":"Q3067476$0E1EA6A7-D6D4-4A07-9E14-E8BA7459291E","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":"Q3067476$9DA1DC45-1831-4EA2-83F7-F2658019C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb7a3581d9370d367eee022ec76bf1b25a51382","datavalue":{"value":{"entity-type":"item","numeric-id":4809069,"id":"Q4809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$2743EB50-28DB-430B-AE1F-513609D059BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$3219210D-FFCA-4AFB-9C28-8A95C727BF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$AA472581-FF2E-4060-870B-DBED6B834E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93313f8491f48a6f10e9a1a08deb4367886c2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4412115,"id":"Q4412115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$1B02609C-B8D9-4E1A-92D4-F0CF5642B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$93038118-8496-41A0-B0F8-3B3A7CE839EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$C141C728-32B5-4D70-B481-E53468BEDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0a67550b91d4a74d29e7b40c5a8f1dc5c2f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$FE4BB280-01E0-48E7-8C0A-E4DFA85721B2","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":"Q3067476$9DA977EF-A10A-4DA1-9653-C677F738788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87573c17092e5ea68e91a6ff0c61b4867e15c12","datavalue":{"value":{"entity-type":"item","numeric-id":2996200,"id":"Q2996200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$DFE5D89F-50CF-442D-B2AB-207BF696E316","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":"Q3067476$90E94FC7-C381-4E7E-A9F5-73DB11008CEA","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":"Q3067476$FAB7E0D3-284E-4F5E-8B16-702F64F81484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc431046827099423394ccf9f85ea1f7397e44a","datavalue":{"value":{"entity-type":"item","numeric-id":3636816,"id":"Q3636816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$6DA10F84-EFE0-40A1-BA8D-6EB88F7F8572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2553a58aa036d5e37235f7bc389f564cfdf0ce61","datavalue":{"value":{"entity-type":"item","numeric-id":5389156,"id":"Q5389156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067476$8591E00D-1DE1-4DE9-AB9A-025826687278","rank":"normal"}],"P1643":[{"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":"e0a5911d55b6f687b3e4b6e3249a1075bf19ee0c","datavalue":{"value":{"amount":"+0.8370503783226013","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":"Q3067476$154DB694-3529-4B6F-BA44-2E2A46C49FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aece81f3b6dc7a3878ad3fa68414954b3fc66b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3525002,"id":"Q3525002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f6dfb240aa5d57baabbb710109f7873158559a","datavalue":{"value":{"amount":"+0.7970174551010132","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":"Q3067476$DB2E6A66-73DA-423B-8B65-DD6E6C0660DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734aff2d9581210446ffa2d87b046723e051bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c74dcc3972242500b9ad8cb11155a42aeef9b0","datavalue":{"value":{"amount":"+0.7900504469871521","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":"Q3067476$E6FC6A44-3717-4F93-BE81-3D04182ADA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a9e1640b8cb62bbdce08c72dc26d81680eead9","datavalue":{"value":{"amount":"+0.7894509434700012","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":"Q3067476$9A3E6D3A-6BA9-4B2F-A074-994B2C8841BB","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":"b95b210f68586b7761916851ba7ef16ed137921b","datavalue":{"value":{"amount":"+0.7869271039962769","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":"Q3067476$65A550F6-6FCF-4AF2-9D6D-0599DB40A925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067476"}}}}}