{"entities":{"Q4405686":{"pageid":6435285,"ns":120,"title":"Item:Q4405686","lastrevid":48120403,"modified":"2026-01-03T17:14:39Z","type":"item","id":"Q4405686","labels":{"en":{"language":"en","value":"A simple proof of the undecidability of strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1933105"}},"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":"Q4405686$3622D0F5-61C3-45EE-9589-42CADDED0381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0cc7da11de4a8cced72ed6ec9fbe99121dc7dff","datavalue":{"value":{"text":"A simple proof of the undecidability of strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405686$18048F81-6D99-49FE-AE73-7C18809E358C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a97df669bf684c65cba48881e97612a6e976e13","datavalue":{"value":"1029.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405686$6EDCC3F5-EB47-4C06-9352-80B1AE73C712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb6752377e1964e597eae0a7c728f7a654d1cbfa","datavalue":{"value":"10.1017/S096012950200381X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405686$87324FDE-A91F-4D5D-8072-06DAEA912E73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405686$1729C912-7B57-4BAC-9505-8E0C3640724E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405686$8244BCE4-E950-4771-AC8A-EE4FA29B9A8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8479a2f47f981ef0e0f4ad28679adf61eafb595","datavalue":{"value":{"time":"+2003-06-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":"Q4405686$0F7A2783-A56E-456D-8AC8-F847707A9E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405686$471D3E5D-F428-42D6-8076-5B2438F0E066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c77094447740b9584a5e71f38c97701f7295a78","datavalue":{"value":"1933105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405686$1A269621-80FD-4153-BC91-3DCD780E8AEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405686$A559D7CA-43FF-45E3-B9A7-A47103E325C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be19b50bf51210bb763949bb773afb0530f502","datavalue":{"value":"pure lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405686$7E00AF0F-D174-41B9-A94E-7E06AAA2872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405686$EE901284-FF47-4D64-9988-8CDE87147E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6c2a0027dcfe82a31adf96cba916132e928e45","datavalue":{"value":"Church numeral","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405686$15CA6099-E4AD-4C34-8F82-C3AE03FE3C7F","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":"Q4405686$098C2D1C-2D2F-4EC4-A5AD-841E035DA7F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3feec2c99d565e43a55480ac112d4857665fbd","datavalue":{"value":"https://doi.org/10.1017/s096012950200381x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405686$C297D34C-082A-47FC-81A7-59E3769F8EB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f95d4baa8e3fb51569e993225fb451bf46aadf0e","datavalue":{"value":"W2152333061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405686$31F666E2-6EE3-4591-B52C-9B21BD1710B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d5375bb519f3f9d46c091cc79910ef2816bdb9","datavalue":{"value":{"amount":"+0.8332754969596863","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":"Q4405686$80D82CBB-2F4B-40EE-803B-BD74C70A2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199e23da21899cdbcf6b00951119d8b7b0f12755","datavalue":{"value":{"amount":"+0.8190326690673828","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":"Q4405686$3E76F9F2-3656-4A33-9547-1C0AB347687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a524a11a2f605468f2a8ddae9355a7892ebb59","datavalue":{"value":{"amount":"+0.7920601963996887","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":"Q4405686$A6994C75-C772-4759-83A6-8DFE689BD802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a586e183a4cf4764da1d93b25654b386ee34ebe1","datavalue":{"value":{"amount":"+0.7893307209014893","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":"Q4405686$9D313C11-C347-4E80-AEE0-E481A01661C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65363fc027e75cbe79eb5e6ba810400f6824c726","datavalue":{"value":{"entity-type":"item","numeric-id":3783265,"id":"Q3783265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267acb9b86b437c38c03b285c8d2571e9d94baaa","datavalue":{"value":{"amount":"+0.7885489463806152","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":"Q4405686$4FD8F9E7-23E4-4F50-9A4F-89161A0ACFDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4405686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4405686"}}}}}