{"entities":{"Q2881069":{"pageid":2891789,"ns":120,"title":"Item:Q2881069","lastrevid":58048743,"modified":"2026-04-03T14:40:29Z","type":"item","id":"Q2881069","labels":{"en":{"language":"en","value":"On completeness of reducibility candidates as a semantics of strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021320"}},"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":"Q2881069$2475C043-D968-4EA8-8FB1-55DEC7729CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b61684ee18d0ffb5e66f30450de41e07eb0e0ff","datavalue":{"value":{"text":"On completeness of reducibility candidates as a semantics of strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881069$9B84BB0F-FED0-4E6E-899D-0C3633D46A18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99be4a22e945b5490c50c8a0e593ede368cac2c6","datavalue":{"value":"1239.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881069$83546261-0952-48BD-B8BF-7B655669A526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5434e42d8f14dad6fdcf3b8b60dd677f07b60001","datavalue":{"value":"10.2168/LMCS-8(1:3)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881069$1CC6A226-E3F1-4CCB-A9E1-AD7F56484440","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bae40e2d630d71ea8b9d388f9791557a54f23de","datavalue":{"value":{"entity-type":"item","numeric-id":701128,"id":"Q701128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881069$7DCAB85C-6676-4102-9F6C-7D5E87B7D229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881069$AFE98417-C2F0-4F53-8990-CB57BDCBCA6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881069$D695F4AC-7426-45E2-A76C-55D983676CC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c64d4ef6f19e8ace17c279afe44cb39d67f24d8b","datavalue":{"value":"https://arxiv.org/abs/1201.1705","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881069$335C2663-CEBA-493D-BB9E-64370A402D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881069$A0D4A5A2-A9BF-4790-AD5E-82749A128DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf4d55d3fe267cf62150970936c7fed2e568e22a","datavalue":{"value":"6021320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881069$7F5C7578-BBD3-4F8E-9D18-1D6EA7F1308B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$525D60A4-112E-4802-8802-6311BB04ABB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$3416331B-2F0F-4B8B-A51A-C33502DB6AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d35f71b2feeef33ab46de91b2f82b629e259d0f","datavalue":{"value":"reducibility candidates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$63DF1BDA-1100-463A-AE5B-91A5F6105468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77eac090945c9102bb415d78f228d7564576863","datavalue":{"value":"minimal deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$A324ED49-B934-46E3-A674-D75D7D5CAF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaea954f08d051882fd6208f088899bb2552dca8","datavalue":{"value":"Church proof-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$E321B45A-2E4F-47F6-887C-5E4874C3DC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54f57a32186d55ec457f5c86a6f51cf366e6fdf2","datavalue":{"value":"Curry proof-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881069$A9D6EB05-72F3-46CB-BB72-B352396D17A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881069$1BC4C18E-9478-4DA4-9B8A-9778FE6845A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881069$3D17A667-40EA-4206-9365-1F1878CE3EB4","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":"Q2881069$7F33F127-E022-4FB9-A2A6-F6DE74A1BD1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60c23e12c0cd0a785fe1dd5c2b3c4ba57c8e8422","datavalue":{"value":"W2073404010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881069$F8C36568-B3FF-4E98-9792-65B64148C3D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf860819a7d9e00e8ecfc66b9e54f67135b51fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5111901,"id":"Q5111901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1aa88c51462e772221be039838c5bc032f07b12","datavalue":{"value":{"amount":"+0.8397936820983887","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":"Q2881069$A3718F49-FA9E-4638-A7DB-8E05AC66672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fdcddadbf3da5f3e6fd0b5fb36d0f4b317eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":818927,"id":"Q818927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18de6dbc112e926071b85d89d63610d02cd0f32c","datavalue":{"value":{"amount":"+0.79067063331604","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":"Q2881069$3D81581D-5D7A-4AA6-8399-D6AFA9815683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c11f09bed0d191e52272f6192240edeb8c98ed","datavalue":{"value":{"amount":"+0.7366063594818115","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":"Q2881069$CC8B1BB0-415C-43E1-9EF4-7E643C821C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d42fe49bfdcf25b8a646b75d36b1c49087f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3422018,"id":"Q3422018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b880e7ce72ae3cfdade7e64485183b59293cd8af","datavalue":{"value":{"amount":"+0.7301445007324219","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":"Q2881069$285BFCDD-3B3D-4394-AD0D-9C3A0CCA5BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c1e41bf16df7fe84774e04f862b09db94f4566","datavalue":{"value":{"amount":"+0.728376030921936","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":"Q2881069$F7CCFC31-85A4-4316-9BB5-C459470B6B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881069"}}}}}