{"entities":{"Q5878912":{"pageid":7908463,"ns":120,"title":"Item:Q5878912","lastrevid":47817622,"modified":"2026-01-02T18:55:52Z","type":"item","id":"Q5878912","labels":{"en":{"language":"en","value":"An ordinal calculus for proving termination in term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656677"}},"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":"Q5878912$BE6DC458-807D-4B8F-8B2F-71F470125645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2abb64dba95c3ab977cfb511ba64fb5105018f4b","datavalue":{"value":{"text":"An ordinal calculus for proving termination in term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878912$300B59F8-788D-456F-B897-ADC8431D6D2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f87382db72ec2372aba2a56180937ceaa8467b","datavalue":{"value":"10.1007/3-540-61064-2_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878912$DA8C46D9-5B94-4D5E-B9C1-CAA3C5F239AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b0552020aab38b42e70bf55c1e6eb6d73410d39","datavalue":{"value":{"entity-type":"item","numeric-id":186024,"id":"Q186024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$20D1F2C1-21FE-4115-ADEB-AEFE1BA91C3A","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":"Q5878912$9A571296-217B-4BC6-9078-54D6E8218463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$52313EBC-BD21-4EE8-9871-448812B082F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878912$82329F8F-822C-4C5E-90F8-3EBE317D37A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878912$EEA91BB1-5764-4C48-BA47-384BB4D4946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878912$E97A1DF1-CD46-40F9-B1C5-D6F3E4972BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c57536a28fbac1441b403df5fc1266c76ce7024","datavalue":{"value":"7656677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878912$C19AEE0B-1038-4E3C-BDD5-C6B239403558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878912$0883037A-1327-4D3E-A9D4-A2BC24F7B773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878912$5BECE84A-58A4-4DFD-B323-D69119CDD071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878912$12F59A98-742E-4ED7-A409-2D6DC898AF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3486e8b270978084d6a6d44e6e2122ef040348c6","datavalue":{"value":"ordinal recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878912$45F87C65-3407-45E4-AAD9-AFC655E1201D","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":"Q5878912$B5A80ACD-B6DB-4F59-92FB-6D4623BC2427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03c7f39e33bbf0276b34e7f3f2be123e7deb2b59","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878912$301D7EBA-448A-4F40-91AD-5D2F234462AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1951e5b736532c83991757aafdd87bcc55774ac1","datavalue":{"value":"W1539334891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878912$694AFEEF-94C1-4EE6-9571-CB0DB2A77189","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b74d218cdad6fa37f62226bad132ead702e054","datavalue":{"value":{"entity-type":"item","numeric-id":3695270,"id":"Q3695270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$9FC6CF77-552A-4955-9A12-0B66AD3F8BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a193bfe72ff810f91db99d246e99c518df8086","datavalue":{"value":{"entity-type":"item","numeric-id":1193596,"id":"Q1193596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$E7CEA8B1-F547-4268-A164-3332AF85898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$9F3ED6D2-D591-4037-B648-3B9B87EB2307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$FE4552C8-39F7-443E-A077-DD5B9F14893F","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":"Q5878912$E0F8D52D-0197-4FA5-BB59-D59649F6A212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878912$6C74F6D4-4050-4C4B-B3D4-F41B6498E532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa699000a64677631072625f1ff24c948ef9db8","datavalue":{"value":{"entity-type":"item","numeric-id":674412,"id":"Q674412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a66335a02101fd896a03a80696c93e60b3378f7","datavalue":{"value":{"amount":"+0.8492484092712402","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":"Q5878912$ED666732-CC71-4DB2-8DB3-33B191AB8152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e9931cfaa550111f744264e17068625cb86634","datavalue":{"value":{"entity-type":"item","numeric-id":5881273,"id":"Q5881273"},"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":"Q5878912$ADB73C34-10C7-4565-8D71-D4F557AA556F","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":"4778f12f193207163188c6bee449e7a4516a5f77","datavalue":{"value":{"amount":"+0.8184042572975159","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":"Q5878912$876BBED5-9E9C-4131-9302-688AC5F8B27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e25090a8eb364cc7d791575e4d381ff027a8e3c","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63acca881da1fc7d75a056d979359fccba54814a","datavalue":{"value":{"amount":"+0.8161984086036682","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":"Q5878912$596E50C2-7F25-4A6C-9421-4B3392D6D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ae8e1c1c40dc25c50d07ae7e7e17042f22d19","datavalue":{"value":{"entity-type":"item","numeric-id":5055796,"id":"Q5055796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9f189d7df897b589291beea23a2e4d56b86a29","datavalue":{"value":{"amount":"+0.8053458333015442","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":"Q5878912$3F26D4FE-679D-4F0D-820F-E2637BA16E4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878912"}}}}}