{"entities":{"Q1891251":{"pageid":1901993,"ns":120,"title":"Item:Q1891251","lastrevid":73934994,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891251","labels":{"en":{"language":"en","value":"Strong normalization in type systems: A model theoretical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759340"}},"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":"Q1891251$F3AF744C-8A1B-46DD-9E5E-C920B68F5F9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7871524602a2331c779060e9732aabc6f943609f","datavalue":{"value":{"text":"Strong normalization in type systems: A model theoretical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891251$E2F158B9-AE5A-443C-A654-5A2BF5FCBDD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf347beeec6be3d43bc75b34f393a41cec4e3114","datavalue":{"value":"0818.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$3E2A9343-3FCC-497F-8760-C83B869D4D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"517c13460357f98eb073a0d2f23285e24c6100eb","datavalue":{"value":"10.1016/0168-0072(94)00040-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$19DC9114-DBB6-46A7-B0D8-F886D7971736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09db71bf8353d171c52fa077151919ce9cd3f474","datavalue":{"value":{"entity-type":"item","numeric-id":759748,"id":"Q759748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$B91EC31D-591E-4985-8AC9-B6ECB43AB6FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$7173F56A-A62E-45FB-8AAC-389414E1D8B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48f675f2e6eb2017d9ed14e1dceba137ce412126","datavalue":{"value":{"time":"+1995-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891251$4ACDF76C-6C50-4DAF-9899-87CFA7DF9F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$9849E14C-DCB2-4399-A934-5191B7262980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$671832CB-6714-4DBC-B012-4E6B6D0E052D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86266eaa2977cf3919c208f7909f2aeac5d5e76b","datavalue":{"value":"759340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$01DF04FB-91E0-4B26-A1D9-FBDBAAA53FA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891251$A0FEBBD1-E1BD-47D1-AF89-492F9276D318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da346a8f7bfbf28c6937fee99948797b09d6bfd","datavalue":{"value":"formal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891251$2839DD98-F022-4174-9883-E3DA0D607B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891251$DFA45EF0-9B85-4D13-A939-F17D42A036A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feac48875de6405415ab99bb9c5a45fa1a9f75bb","datavalue":{"value":"Calculus of Constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891251$6954A569-E55E-42C4-926C-9C7A606F615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891251$F3212446-A82B-4B73-BBBA-9648C98A9ABF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$E6E4E65E-A2D5-4D33-B826-747CF930D0D4","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":"Q1891251$31C07438-57EA-4578-8AF0-E55F9D358C3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$608C164F-866C-4FA0-8096-0169950CF8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$8DC697FE-1E0C-4681-9BB0-709C45E61E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891251$F63FE256-92D9-4FDB-BBD7-97AE0C972A6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a16f45eb5b91e85a5b6b40293e2a18c8451b1196","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00040-a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891251$6052B988-6982-4975-AE97-E29CE7D32C93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd668c4ac36919acd8efa6b470e8e0081a7c00e7","datavalue":{"value":"W2051134825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891251$0BB39CB0-0608-49F8-94D7-37710E133477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e2cfcf9f8ac0233557b6d690d557c3ef22bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871864,"id":"Q2871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a140f90cb5ccd38577d5cfed9b2bd87af7995cc3","datavalue":{"value":{"amount":"+0.8266010284423828","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":"Q1891251$F2AFA3CF-DB55-42A2-AA85-A324205E6CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c8c0f5ae247476426e7422638b0d17ca3f5c27","datavalue":{"value":{"entity-type":"item","numeric-id":3365535,"id":"Q3365535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8473972a21bb097f698685fa4182245529c55e8","datavalue":{"value":{"amount":"+0.8218324184417725","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":"Q1891251$6AD3B694-2BFA-42DD-86E1-2B7AF3549FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b983101c23b5badc458e82fb7bf8a6cdfad525f0","datavalue":{"value":{"amount":"+0.8154483437538147","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":"Q1891251$FE5CE9E3-4BB6-4047-B76A-1C3632FA3591","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":"a55634d5ead9e71c074ed45da728c787a122fb3d","datavalue":{"value":{"amount":"+0.8028493523597717","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":"Q1891251$CE582079-326F-43FC-98CF-763E6AB98721","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":"81717d70e148d4bb45cb381d95cce70783090af6","datavalue":{"value":{"amount":"+0.8005208373069763","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":"Q1891251$AC269CAF-F8C6-4F71-B767-5B67C980F0DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization in type systems: A model theoretical approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_in_type_systems:_A_model_theoretical_approach"}}}}}