{"entities":{"Q4005456":{"pageid":6035275,"ns":120,"title":"Item:Q4005456","lastrevid":55179301,"modified":"2026-02-04T12:04:43Z","type":"item","id":"Q4005456","labels":{"en":{"language":"en","value":"Coherence of subsumption, minimum typing and type-checking in F \u2264"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 56678"}},"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":"Q4005456$4FAF14B6-9AEF-4EFE-AF99-8195833A90A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d47a3c391f4a36d9a38810fadf1c3614d6f8bd30","datavalue":{"value":{"text":"Coherence of subsumption, minimum typing and type-checking in F \u2264","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4005456$F8CF64E5-668E-4497-8CCA-DA2B0552312C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e005760fc48c53f135915cf377d2175205e771c","datavalue":{"value":"0765.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005456$BCC1BBB3-ECB2-4CCB-A323-D1836DE7F1C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7677dcdcb3c3987afd420b9efc656a4687204327","datavalue":{"value":"10.1017/S0960129500001134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005456$26976A63-F362-4868-90D4-BC4A6921C6AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005456$DF17D770-346E-4E8A-9842-87F741C89662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005456$3D14E830-9348-4ADD-80DE-8480C0181FDD","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":"Q4005456$0D65C05A-9045-4522-8E9A-F366DBEB9A6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4005456$E37A2F6E-3DDA-443F-9B55-7AF4CFC600B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005456$45E371CD-3C68-4DB0-B10C-E43E05850150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005456$B42F1FA9-C456-4C77-B28D-3E0B310C4EDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57089489607103f6385ff80569715faf0f6e0982","datavalue":{"value":"56678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4005456$378CBCEF-2256-4C47-8636-AF39804F31A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ac474b89b4bbf79cf17d4ab171e502e844cc24","datavalue":{"value":"coherence of subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$C4B7B619-982D-4E13-B71B-DA14DA619DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$5662248D-405D-45B7-8B45-03B7A477100C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0292c48d39f3ec761a009daf328345172376222","datavalue":{"value":"second-order lambda calculus with bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$F53B6CB0-4275-4698-B5DA-93B2A722CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37abd036f61325270561224ca555691936de5a84","datavalue":{"value":"semantic coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$CE589882-22EE-4E40-A357-F787760375C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$E75870D7-1DC0-4500-B3B6-1928494D3E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$535D1161-4050-4D0B-BC70-E9464B64E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$6C1A2516-90F8-40AE-BED6-A80B2893432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9fbc1b20464b258204b81eb9a09d4c6cf67621","datavalue":{"value":"semi-decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$78712E16-F1E7-48CE-90A6-F70595BA84CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a54eadb88b323670eeac63ffa81ff906754bdeb","datavalue":{"value":"normalizing rewriting technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4005456$B2AC363A-06F8-48A7-A187-945A58008B12","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":"Q4005456$394A3968-3034-4177-9CD1-B477101843BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005456$32C33B2A-6C1B-47E4-9A92-CC2E32E034F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65795f6000b6bce782c0e6be873ab44154cb4a01","datavalue":{"value":{"entity-type":"item","numeric-id":922718,"id":"Q922718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4005456$26432EC6-75DB-4035-B9F4-0105A6693647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9725f583a298b1d5899c228a6da772ae3c3df61","datavalue":{"value":{"entity-type":"item","numeric-id":4855340,"id":"Q4855340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9753e21944f51a35a26d02f8d724e51e8641b10f","datavalue":{"value":{"amount":"+0.9400262236595154","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":"Q4005456$6116CEE2-8137-4BDC-84EF-EEB4973F5D59","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":"463c2c3b182539a3f42efee4e38ffe8d21f56250","datavalue":{"value":{"amount":"+0.912404477596283","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":"Q4005456$CC927BDE-5C35-4788-9D8C-78E4E6D068B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee3a3403892b4f66e652e5a89a91407811a4734","datavalue":{"value":{"entity-type":"item","numeric-id":1605176,"id":"Q1605176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da94df4e59efe814af37d8f5180cfd9753329d5","datavalue":{"value":{"amount":"+0.9106413722038268","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":"Q4005456$76F7DC8A-BE8C-4D7D-9A46-63DF3BC127A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949ec27568ff89c2fb087ac8a16f34e8e7e15440","datavalue":{"value":{"entity-type":"item","numeric-id":1127527,"id":"Q1127527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b35d98040934b2977febc87abb78b12177ab9c6","datavalue":{"value":{"amount":"+0.8130768537521362","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":"Q4005456$B99ACBFA-636A-411C-B7D8-525562EE852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7077d80c7878960ca5a0d3f41f472959fcec70f6","datavalue":{"value":{"entity-type":"item","numeric-id":1322474,"id":"Q1322474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5471ef37d668a79564f9ec5ea2db8dcca556b992","datavalue":{"value":{"amount":"+0.7962474822998047","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":"Q4005456$C73BB91C-323F-4DC7-961A-BF135A3260F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4005456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4005456"}}}}}