{"entities":{"Q3557095":{"pageid":5586999,"ns":120,"title":"Item:Q3557095","lastrevid":50969027,"modified":"2026-01-16T00:02:30Z","type":"item","id":"Q3557095","labels":{"en":{"language":"en","value":"Semantic labelling for proving termination of combinatory reduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702269"}},"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":"Q3557095$8460DE1B-1E6F-4A8A-B566-B3A4ADE4143A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecfc7bc18021b706afb6f169f352ecd7eaa1679e","datavalue":{"value":{"text":"Semantic Labelling for Proving Termination of Combinatory Reduction Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557095$90B54350-919B-4F53-B5F7-B2E4096C6B55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f853109d39f004c42fc25cf41260c53a8101eaba","datavalue":{"value":"1274.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$6BA68B44-3A4E-4309-A2EB-31DAA04A53E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9213440e1c38f1bb61d553712fd33f20153fe9e4","datavalue":{"value":"10.1007/978-3-642-11999-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$AA9C2B8A-2C71-4A33-A866-1CBDDEB42A57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557095$72CEC2C8-B757-43B7-95AC-66493EE4654C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2be33655de324dde0358c2fdcfaa54a9a81e5777","datavalue":{"value":{"entity-type":"item","numeric-id":3003510,"id":"Q3003510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557095$55F9C4C7-6D65-4DBB-939F-15923A34E34E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557095$B5C8B066-7D61-4558-8F26-F3B9CB4A5307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$38D54587-31CD-42C2-AC90-AC854AAC6F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$C3B66D44-AC84-48A5-A125-E2CC6F2A0B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f5c57f14ae63756ca1a636d646059f5145ac497","datavalue":{"value":"5702269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$E5F40F9F-274A-4503-937D-6C475E7AED04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557095$F2BBBBF3-4AEB-4391-ADF3-363447AABE17","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":"Q3557095$3F48DE0C-94C6-4D09-BA0C-C36CC3D377F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4223a205747e8a7d9e00f84618f78333d92e294a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11999-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557095$4A36914B-37C7-4406-8109-2F81FAD56AA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a013fa2b9548a37a312aa1a974dab0307f4057fc","datavalue":{"value":"W1597717806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557095$E8D5F67E-F3FF-44BF-9B31-62868BF301A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bccde482fe6ab066f2f526036df3e530826de93","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06aca9275e88a6b697ac8dbdb385f223e20174a9","datavalue":{"value":{"amount":"+0.8095781207084656","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":"Q3557095$06362935-D21E-4ECC-88B1-2181365C9E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09c03a823adcd114bb758457b87187bf7124f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3613418,"id":"Q3613418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1c7f4c8502c31e3eb9e63c2452906f8fac4cdd","datavalue":{"value":{"amount":"+0.8075185418128967","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":"Q3557095$27E6C47E-071B-4B26-94ED-3301C2A448B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112cc9d2b2ae618c483d79ff6bd60781ce090d40","datavalue":{"value":{"entity-type":"item","numeric-id":2753692,"id":"Q2753692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624da8d74290edfd00ad386345f183cd94ea9e52","datavalue":{"value":{"amount":"+0.7919894456863403","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":"Q3557095$CB24BE57-4817-4C7A-9DA8-0B3146999CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3f45783cda7cbcf6cd35ce95ebae073e0ef531","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ece985a1bffe94c497544475c13315fb002638d","datavalue":{"value":{"amount":"+0.7813404202461243","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":"Q3557095$40D09E97-C6BE-4EB7-9442-2A9B995CA5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c58f7fa92661b23d6d37bccf7297373defc0eb9","datavalue":{"value":{"entity-type":"item","numeric-id":2873673,"id":"Q2873673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c9e2008d9cfd0da304e4e809717c8150128ce9","datavalue":{"value":{"amount":"+0.781160295009613","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":"Q3557095$2BC0DC5F-DEDA-43C7-8BA2-CA47FD5DAD59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557095"}}}}}