{"entities":{"Q4862765":{"pageid":6892345,"ns":120,"title":"Item:Q4862765","lastrevid":47392330,"modified":"2026-01-01T14:57:00Z","type":"item","id":"Q4862765","labels":{"en":{"language":"en","value":"Strong normalization with non-structural subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 843732"}},"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":"Q4862765$17013A26-E8F8-4127-87F8-DC0785BBD6F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"590bf9f6d27c3edaf4b15e094c72558e780bd151","datavalue":{"value":{"text":"Strong normalization with non-structural subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4862765$B1FBE3F6-CCDE-461C-A1B2-07F786E4FEC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a321ccbb09afc7780f75faec9f278991119a6ce7","datavalue":{"value":"0840.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$A8EC34E5-FC47-4CF1-923E-E355D3670935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cefd110d259c6acd3e26dad996f7ebb7e27b928a","datavalue":{"value":"10.1017/S0960129500000815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$A1F6D5B4-A7A1-448B-B4C9-638037A4B460","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$BF8B738E-FADE-47DF-9776-09D6626ABDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"437e27f39d9f4ede0992af724048fe19602330ed","datavalue":{"value":{"entity-type":"item","numeric-id":1355749,"id":"Q1355749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$3AD14336-997D-4F8E-A750-07A27E0FBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f811e3f3dcab3f43bc2cac5f5c769c98be55f5","datavalue":{"value":{"entity-type":"item","numeric-id":672458,"id":"Q672458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$C107B17F-5105-48DF-8ABF-9C8C7AB1D18B","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":"Q4862765$D4443978-8C8D-4559-B474-18E7C0F9791D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3795412637b3de2331b3ff6904fdddc88e823af","datavalue":{"value":{"time":"+1996-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4862765$8192E7E9-D831-4DB0-8261-46243728B165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$DBEC0F0F-3012-428D-9294-1968781F1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$379F5DD9-A4B3-4328-B232-FF1971E9BF3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70a4a9047098f8429b31c212d0d5f5798e2c5653","datavalue":{"value":"843732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$1C8E5D87-1DDE-45F7-B889-1753D4A79058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862765$FFD9AD28-AD92-4C26-A2AE-E551E8F491EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2305e201e88a41384edeaa8fe294d61c7be30c","datavalue":{"value":"untypable terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862765$85B71F40-0400-472B-B758-06D498ECDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862765$C27EBAEB-3D90-4640-BE8F-3C8EE8E31CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610f9a3f6f3d39b09f9f6aa52060d891ee954beb","datavalue":{"value":"Partial Types with Bottom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4862765$3D5FE4E1-30E3-48A0-AAF2-DE3F6E114A1B","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":"Q4862765$D34F2DF8-1137-459D-A2D2-861E2EFF0B12","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1959e92789c2c39ee50ffb2328620e100c99bdc","datavalue":{"value":"Q61660783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$EBB22BA7-EA72-4E05-BF6A-08175746E75D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff07822832d6f2b37392d53640e87cc5f372eae3","datavalue":{"value":{"entity-type":"item","numeric-id":808687,"id":"Q808687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$01BB8DCA-A16E-485E-A752-7049E1D28DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac3ec01883f9afb7f64445e0b4904ccd7aa4c19","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$A71F558C-CFC8-4458-A68C-0D6EFDC31373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$27D88F19-A72B-460B-B37C-8D493277EA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e8d9092234dd4289988ba4e073f4eadee7dd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1337466,"id":"Q1337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4862765$D0FA9DF1-B884-4732-86B3-76C91DC3516D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5091a6ccc21bbc0f05778e92b71f85732ad96908","datavalue":{"value":"journals/mscs/WandOP95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4862765$01982233-083F-46EF-8C08-BC25F56EBEFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebed28782f7de1c5df341ee5cee3d512cd956178","datavalue":{"value":{"entity-type":"item","numeric-id":1351999,"id":"Q1351999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75871946f09c9973a14ee34c9b2aada05ee0bae8","datavalue":{"value":{"amount":"+0.7931667566299438","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":"Q4862765$B69D4854-6218-4369-B9F8-C459F7877A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b84e7ec6d03c14228d6ecf6a5fcac07ec6fee4","datavalue":{"value":{"entity-type":"item","numeric-id":4246950,"id":"Q4246950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1cce6414dd97858e891c00b499171508ac4537","datavalue":{"value":{"amount":"+0.7494912147521973","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":"Q4862765$B8C296A2-B527-41D0-BDB5-86166F46179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd787b89bd438bc28ab4259f77e0e7182b5cf750","datavalue":{"value":{"entity-type":"item","numeric-id":4027624,"id":"Q4027624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76d2e09553a84dd63e1b47011043776f773d66b","datavalue":{"value":{"amount":"+0.74390709400177","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":"Q4862765$0BC3E13B-0923-4EC9-878F-5DC4AB97140E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120bed7b77db292bcbdc338f4f3e6e9eca07bee2","datavalue":{"value":{"entity-type":"item","numeric-id":2753671,"id":"Q2753671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee2c42031839175bd29a411d27cf3568302a8eb","datavalue":{"value":{"amount":"+0.7424142360687256","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":"Q4862765$7CAEBEE8-E8C9-4AB0-9EAE-8787A3B77005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bc30ba0901c90a95cfaaa1d3213a95915e51fc","datavalue":{"value":{"amount":"+0.7418745756149292","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":"Q4862765$52C6D4C8-811F-412A-AA87-E1DC5B75FC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4862765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4862765"}}}}}