{"entities":{"Q5881273":{"pageid":7910824,"ns":120,"title":"Item:Q5881273","lastrevid":101837063,"modified":"2026-06-06T02:58:47Z","type":"item","id":"Q5881273","labels":{"en":{"language":"en","value":"A survey of ordinal interpretations of type \u025b0 for termination of rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661644"}},"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":"Q5881273$BAFB6967-84C9-4954-9FB2-45D742570009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb0c963a63cef375bc629aea65e7324db0b5fc9b","datavalue":{"value":{"text":"A survey of ordinal interpretations of type \u025b0 for termination of rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881273$5521D964-8C20-48FA-88A7-59E382DC5D4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36decca415878b4d195a103cd34429c232613f32","datavalue":{"value":"10.1007/3-540-54317-1_86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$FDD1A742-CD91-4E34-9CEC-CCCCF8F79358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cfe7feb0a9f29a12954c6b9a9eea15a480f4f85","datavalue":{"value":{"entity-type":"item","numeric-id":790802,"id":"Q790802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$C87C6232-FD54-4AE7-AA3E-5A700A54FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5342853198866e12b3d7b6e7cf2193caff1d15f","datavalue":{"value":{"entity-type":"item","numeric-id":790803,"id":"Q790803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$E9FF4ADE-43D4-4D80-8335-142C7666B24E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$CBF35FA1-577B-43B9-B17E-26ACE25D7DFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881273$7A91B62B-7669-4A56-A111-510D158A8A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$B7290C7E-0769-4E41-88B7-FE247940A338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$4AFBFBAC-779D-4F09-B109-693C39AB1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$DD23A91F-0A87-4DCE-BC8A-0F0FC8AD9EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcd909d56ca2b4380c34a93b58d90490d73035b8","datavalue":{"value":"7661644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$DC489AF9-9564-4161-825B-E77411B9AAC7","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":"Q5881273$20DF3400-CEAA-4CDF-80D1-56B8447AA5E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a5a29a5bb2ddf3b33c14f1aad98a903dc65f77a","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_86","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881273$46EBF74A-F15C-4A66-B977-9DC0DD603FFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90255b1caa6af4a5d8670e923e45b2e4afd3dee4","datavalue":{"value":"W1602818562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881273$D8557AD6-7D76-4D47-84A2-94413F12ED55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$1C1DA090-2DFD-4918-ACC6-8D5ACFFF9853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$5F7406F0-2270-4885-ABBB-5E4F31ECE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627dfc40f56d32772b1586e3c2b075a4cffb4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3682477,"id":"Q3682477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$2377ECEA-C7E7-4204-85D2-27D5DC9862B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$0F0BBC04-A9A2-4E3F-8BEB-E7738FF4E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$4EBBFF00-B631-4536-8E3C-CBB69B76E308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$388552B7-E1B0-4CD8-9EAF-14B2CC78DE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4781d0cda5a9f9bbd11012b801d35ad22aeeec4","datavalue":{"value":{"entity-type":"item","numeric-id":5549763,"id":"Q5549763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$B1519ABF-1870-436B-8523-0818B7454066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$B9F12E78-084B-4244-9671-09E98E9E4EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a87f772a8ff43de57b875b698e4f5b3b1fe03f","datavalue":{"value":{"entity-type":"item","numeric-id":4732468,"id":"Q4732468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$FE5AD57F-FA76-4407-837B-FA3F202B69CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$399B147B-7443-422F-B094-51DBBCB104E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1022c2164e15a52e4457e4e6f38ccec78a5922","datavalue":{"value":{"entity-type":"item","numeric-id":5821428,"id":"Q5821428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881273$65D69430-A6BD-4D08-BBD7-8D6C27BB09DB","rank":"normal"}],"P1643":[{"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":"2f9e2a5804c1314e63bca5876f37b686cb7f6a1d","datavalue":{"value":{"amount":"+0.8251781463623047","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":"Q5881273$9910BC51-4281-4929-BB21-6587F3305F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3cf8c5d48fe0550acfd82378ab273d76d810a","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9185df3428a849575175f456921b80a2c1464f84","datavalue":{"value":{"amount":"+0.8238394856452942","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":"Q5881273$6C08AE4C-8E31-4AA0-83A1-82620FDB05EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaef11f213f6c0b0ada5deeb6d2fcc3c5d4685f5","datavalue":{"value":{"amount":"+0.8206600546836853","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":"Q5881273$4A86A9A2-FCA5-4F8E-92FF-C2F71FFABF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10ad35066d4110d387f068b2c4fb3148928dcef","datavalue":{"value":{"entity-type":"item","numeric-id":1805401,"id":"Q1805401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e83f563bb1c73f4a46d8e6f57eb2abec128b2b3","datavalue":{"value":{"amount":"+0.8173270225524902","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":"Q5881273$D39A97F8-6BB7-4F79-BA70-B5A10F66010D","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":"f534b1efd5b055029e1f387ae543f58cef183e6f","datavalue":{"value":{"amount":"+0.8077313899993896","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":"Q5881273$98FBE7A0-CD25-4A7E-87D5-EF9FC0AADE2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of ordinal interpretations of type \u025b0 for termination of rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_ordinal_interpretations_of_type_%C9%9B0_for_termination_of_rewriting_systems"}}}}}