{"entities":{"Q2291828":{"pageid":2302571,"ns":120,"title":"Item:Q2291828","lastrevid":71778588,"modified":"2026-04-14T00:29:03Z","type":"item","id":"Q2291828","labels":{"en":{"language":"en","value":"Abstracting models of strong normalization for classical calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161325"}},"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":"Q2291828$E948510E-E6E4-4AB3-BCB1-81CD5120A5F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cc71e021f869ff53f03471e072ad3b63e306534","datavalue":{"value":{"text":"Abstracting models of strong normalization for classical calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291828$61F6C834-49A1-42DD-885B-7310E4534EB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63d37d66a90c8e60aeab667ececc6fadda52a558","datavalue":{"value":"1494.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$3F34DDEB-0326-44FA-8703-7BA3EFA3EEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$72A4691A-09B2-4912-8704-47BF535AAB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e993b5b5fc86cdeeeb23aa116dc47aa2b2e2fc93","datavalue":{"value":{"entity-type":"item","numeric-id":2291827,"id":"Q2291827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$A99D3C00-9901-4194-8176-A29AD4226402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$AB3DF6AF-F3D8-4C38-82E8-0C30F032827D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$C8723D34-1B4A-4632-810C-C5565B3FEDFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291828$FADFBF88-18B6-4447-8E96-4182ADD001A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba41333850a622cf7fdadab72f77794c23e965aa","datavalue":{"value":"https://www.osti.gov/biblio/1595425","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291828$2ADC5996-9414-4EE1-A758-3FD8FAFEB62F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$12C2FB36-C4CE-40CA-B7AA-39D9D314E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$37B89A47-CCFF-48F0-B99E-834B43AEA289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$1CADAF67-AC35-42BD-ABF3-DCAEEA6734DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$9F0BC8BF-49ED-4AB4-A3D9-1B0D39107A39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc3b0e567709b30d27857a62030bdabc3a6e348","datavalue":{"value":"7161325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$3AB587CF-B781-4A8E-BAD1-9766500C9DB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291828$EF05ABBA-E068-4222-96EC-0E42F8D1F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5feaf8208c80993f90a01299efed89cde9a86421","datavalue":{"value":"calling convention","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291828$162CE437-D603-4252-A2BD-D5AFC4E3F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5688260d56258e4916c5f7e7a5117477dbc3ee","datavalue":{"value":"biorthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291828$6E964CA4-8551-4659-B26C-45134155D566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51f2c8946bb6bab36208f5daca238dfa989074f","datavalue":{"value":"symmetric candidates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291828$3E238F46-9BD7-42F3-8A95-F57E7B773FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291828$4A505407-9B4C-472B-9D79-BE6CA0353C83","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":"Q2291828$8B5E5BB0-01D2-4AAE-A7BB-695671FFEB54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb1ef8a7364af206e03443ebe432e33953cdf39f","datavalue":{"value":"W2995413974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$F66A876F-5EB2-4ED3-A6CD-C637E82C79B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb4919030f27499ae4d3ebb471fc834fbd5a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$92C2BD48-5F9F-4E7D-B91D-67F918006DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ae311926901b6f1ea5640d81360ad861b56c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4490745,"id":"Q4490745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$1D188F6B-0BD2-4B08-BA9A-78631E9ABBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$73A6B07A-2F5D-4057-88B2-D0B25B37F991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12de2044ce18231b11890ea9775fd9ae372f0df","datavalue":{"value":{"entity-type":"item","numeric-id":3163882,"id":"Q3163882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$A5996034-165D-4D8E-AA17-8881DFD70AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5688d40c9725b5bb9cdf1fc19ea473f7da06434d","datavalue":{"value":{"entity-type":"item","numeric-id":2851698,"id":"Q2851698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$FC648141-EA2F-4A7C-8CC3-8FB036698E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d596656bc8fbd0245684abd5ccfc1f16e34465eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410703,"id":"Q5410703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$4DE2131E-25E5-43A5-B772-AD5EF5250518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43af74cfdc140e3ac8c79cb871798969d9b4db5a","datavalue":{"value":{"entity-type":"item","numeric-id":2981950,"id":"Q2981950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$30B8C9CC-3B38-4EBA-ADF9-8FE5A019F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb44e7c990540319294538e154ed09dd4282aefa","datavalue":{"value":{"entity-type":"item","numeric-id":6164541,"id":"Q6164541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$CD414A4F-DD29-4FB5-B766-90665A1F5109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$EAE6922A-3105-4E4C-A47E-B4079B0DBFBF","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":"Q2291828$0DF3907F-6B1F-41CC-89A8-127C0BC79C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d098aa06913d7a29ab62deb380c4bfe1d1dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$40B99EBF-73FD-420E-8635-7938EEF8ED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$8D38A1D8-FC30-41B2-8EBE-0550011F6F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd21fe6abd494371ff51f6c929645f455284b5f","datavalue":{"value":{"entity-type":"item","numeric-id":2482840,"id":"Q2482840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$881F703A-DAB9-4293-BCFC-DADFD3747A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373ed846edd9e54adbf99ec16ffeee1a796c142a","datavalue":{"value":{"entity-type":"item","numeric-id":1652990,"id":"Q1652990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$531E5465-0862-425E-B047-3B14E147DAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46680db2c947d92e8cc79553fc58bbd7edb3ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$D85FDB1E-FFA0-489C-AD23-83AA46284997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$AF49524A-3D9C-4F4B-9F6B-9A6B58AB32FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$C6AFF2AE-8047-4B79-9C79-1B97BECA5ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$D0B77198-73EE-414B-97BE-23265A120D27","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":"Q2291828$53A5D2A9-6C42-4B31-9687-A6E63073AC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$44886A10-9A89-4C1D-80A2-149FED166961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291828$5328C5FE-7417-422A-B382-9016C7C40602","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bc5a4ea9d9a35b0c9623271713ef963432b60bd6","datavalue":{"value":"Q126532454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$81F03B6F-C774-4DC1-B491-645A32AD2D70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f03cd5ac19fd71b39c5e4fc93423e2aeed45ff","datavalue":{"value":"10.1016/J.JLAMP.2019.100512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291828$94346E3F-8148-4EE9-974A-36A71CCB4D19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c3424776f3b9cdfe60c6ea1c3d8a57155c8901","datavalue":{"value":{"entity-type":"item","numeric-id":6164541,"id":"Q6164541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970e55836dccc3b286cbd5c3ff73a1429945b273","datavalue":{"value":{"amount":"+0.9358027577400208","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":"Q2291828$828DEA9A-7C6C-4B3A-869F-F3AC49FAFE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4c3ce61781fead40f498295317cf90e272a3eb","datavalue":{"value":{"amount":"+0.7292272448539734","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":"Q2291828$3CCB3023-AF60-41DD-A81F-5ECE95C7CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46a50edb21898f32bf25ec0bd312aea96611c67","datavalue":{"value":{"amount":"+0.723396897315979","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":"Q2291828$331FA64F-5812-4849-88C6-481DD18DDE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e7bc76d1489984235dc1ba9e4161c864841a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899100,"id":"Q5899100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b61e2bc340c940d5ac34553704857ba33d6592","datavalue":{"value":{"amount":"+0.7215592265129089","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":"Q2291828$8525FE08-A545-4301-8889-B21167D5391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae0ba9505536d3f0b78c45eebf87c11a1d7e89c","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e8edfcc8e2cdc8c006d9c1da04a064eb110818","datavalue":{"value":{"amount":"+0.7205444574356079","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":"Q2291828$E2530E4D-A26E-4F64-AC30-CB3047C1B8E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstracting models of strong normalization for classical calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstracting_models_of_strong_normalization_for_classical_calculi"}}}}}