{"entities":{"Q2957669":{"pageid":2968388,"ns":120,"title":"Item:Q2957669","lastrevid":56881284,"modified":"2026-03-24T10:21:33Z","type":"item","id":"Q2957669","labels":{"en":{"language":"en","value":"An elementary proof of strong normalization for atomic \\(\\mathsf F\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678646"}},"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":"Q2957669$A2B41E60-8E83-4538-8295-92A7E0BB23C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c173c93c444a75b7d589678ee4a389fb945c183","datavalue":{"value":{"text":"Elementary Proof of Strong Normalization for Atomic F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957669$ABA37B22-AC52-4039-8EC6-78C15C0AAD82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ffe0f41e66a750e6b64035c5cfa4aa93276c1d0","datavalue":{"value":"1403.03120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$B5B03BA5-619E-46E6-AB29-074A99500B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c496b5c18336e6b6026159d39fb24b7fcf5a28cf","datavalue":{"value":"10.18778/0138-0680.45.1.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$2C9B2AE5-D9EB-4DB4-8A41-7465F77C965B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$B882BA9E-8374-4835-ABCF-942C5B9BE102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$68081827-4B5C-45A9-B6A7-7663DEE8429B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$A4678F78-0528-4514-96C1-B37DC1B3EFD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-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":"Q2957669$CD6A88A9-8DF1-43C2-928B-DF9439412AB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$51A52F25-13F3-47CA-B19C-EBF07D8FE07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$0D567507-C193-4712-B66B-BA5862A94502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$7A4638DC-DF78-4BC0-8767-0243FD75F1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed1e676417f4fdaf4503715f2cc1a69220163a65","datavalue":{"value":"6678646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$D3EE237E-F898-48A5-9F3D-2D7222BE92BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957669$9386E275-393E-485E-A2B4-DC833831DDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957669$63D5EFD4-78E5-46AB-A8C1-16798C2B3EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260c82ab33d72bae0a103890c3b383eb806bfcf0","datavalue":{"value":"elementary proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957669$83ACEE6F-ACCE-4D8C-ACAF-ECC32ACD3979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957669$C3E080C0-7BC4-4F29-9A6E-F7DF17AC3B27","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":"Q2957669$D38A3D01-BA2E-4B36-AF3A-BBFFE1853068","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2b74c2fd740529d578ee9b31f97722fb29c5f73","datavalue":{"value":"https://doi.org/10.18778/0138-0680.45.1.01","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957669$6827B420-8EB1-4647-94AA-0D9B9A598178","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf19454bf7d026a2d8ce5ef7b41e4316295d3f8c","datavalue":{"value":"W2617835031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957669$393C997C-C285-46F0-BA05-0BADC3A4F9EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf4b357a0a94978ac349e24753f1162ff858b41","datavalue":{"value":{"entity-type":"item","numeric-id":2778814,"id":"Q2778814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$66024B40-08BD-4D42-B1BA-2F295A9E7B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$BA78011A-FC2F-4B67-9CC7-2DC2F35114C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c3aa229c7d9b117248a861f8bd0ec882e5e5df","datavalue":{"value":{"entity-type":"item","numeric-id":558443,"id":"Q558443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$2372AD70-8DB3-4543-9EDC-CF2E58B2337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$3CAB6D9A-E5E7-4D50-9FF7-B36BB93C22F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$40A3C141-BB5A-4E34-83C8-CD5DA7319BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8943a7776890839521c41d303d4b1f3cc9ce64","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$7B3BF425-5A07-49C1-8433-8C26DF86155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$A085739D-5F3E-4AC1-B1FC-0D4AF3D153A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$5DCE95C7-7D87-4BA6-AE6A-48ED6A29BBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$407FD4D6-BD51-4260-812E-FA79021F72CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$D1156BCB-2C47-43D3-9BE8-1359DD2C0C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$8FBCBCE5-CADF-4741-B132-95D63C63E584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$F970409E-FD32-4F6E-AE8F-C1BF399F57D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d096bd8e84705daecc43f0660a41d679463a9c5","datavalue":{"value":{"amount":"+0.8384665846824646","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":"Q2957669$468EAAB6-103A-4C9B-84D9-C129285CC0A6","rank":"normal"},{"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":"f144d053ace0b39b58622cf645f7ffcee661d0cd","datavalue":{"value":{"amount":"+0.8230499029159546","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":"Q2957669$7B54400D-E9FD-4551-990B-BFF921B2FD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c69c984026464bc3ed3212594c1ddf307a8382e","datavalue":{"value":{"entity-type":"item","numeric-id":3035254,"id":"Q3035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beebc716b72d1835cc3503e4cdb3b42d35a81eef","datavalue":{"value":{"amount":"+0.802031934261322","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":"Q2957669$B12C55C0-BDDF-4CB9-A018-E56A7B55ACD4","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":"15cb05992933701fef94b6da3a0e797562bca84e","datavalue":{"value":{"amount":"+0.7958452105522156","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":"Q2957669$7E14014F-D618-404F-BA76-46AB11EAEA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf9b38bf0c6087997f986dbd44e0df31bdbb67","datavalue":{"value":{"entity-type":"item","numeric-id":5369470,"id":"Q5369470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdd02f480a08a1b669a4be61de4dc35ccdcfd5d","datavalue":{"value":{"amount":"+0.787560760974884","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":"Q2957669$A92F26F9-2B73-402A-A447-BD627F769EF1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957669$F6DCB427-9B41-4030-BF91-B5AD1BB6A6FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957669"}}}}}