{"entities":{"Q2844696":{"pageid":2855416,"ns":120,"title":"Item:Q2844696","lastrevid":51802205,"modified":"2026-01-20T03:03:35Z","type":"item","id":"Q2844696","labels":{"en":{"language":"en","value":"Pure type system conversion is always typable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199311"}},"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":"Q2844696$42313B9E-B13C-46DD-A65D-C684C552B261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f8df337bc2e9cfae491275b1fa92fa3a45a499","datavalue":{"value":"1271.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844696$9FCAFB3A-B40F-46F4-9660-69D110F7DF3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323b84516cc8463bda006f2cc88396ea0bb3d214","datavalue":{"value":"10.1017/S0956796812000044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844696$A5A36CC9-6408-4D1A-AC58-A55B647712B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837115d701db3c6d1129817eee769862467ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":2844695,"id":"Q2844695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844696$54826961-D2FF-441B-9909-D597BC855B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844696$FC678B41-D84B-471D-8B8F-6E4453029ECE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844696$F60AEBB5-FFF7-42A5-8847-76494F4ABC8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844696$BF8B5A7B-A2B9-4883-92F3-BEF4E81156FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844696$626110FC-3001-438A-BE9A-B6198CC3ED76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b186456cd745c6d30a1505fb2e8bcd9b6a5e9f","datavalue":{"value":"6199311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844696$A5C258BD-3D55-486D-ACBA-F4FA4A40A1FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59994c1bae3466bd687e28f01a110a4bad32dc26","datavalue":{"value":"functional pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2844696$5BFD97A9-88BA-418A-9336-B8122218A528","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":"Q2844696$D59171FB-A89D-46E7-92A4-F367323F53FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844696$6BE076BA-E1A8-4F96-B5DA-9240ED42D3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590bafa3f5ab2539f54e87a74876e71f860845ef","datavalue":{"value":{"entity-type":"item","numeric-id":3377462,"id":"Q3377462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844696$6D01A543-5D5D-4923-88B4-75E069B11F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"861a2a25c7fca58fe9ffcab2f0cb89c0e3db8dec","datavalue":{"value":{"text":"Pure type system conversion is always typable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844696$10710516-A0FE-4900-8A9C-02CD8FFC43F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0edcdd4e8bef1c76a870dc715f8e11d2e66e905","datavalue":{"value":{"entity-type":"item","numeric-id":3377462,"id":"Q3377462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984b3130a08fa2b2bfb6769b36bcca7da710489d","datavalue":{"value":{"amount":"+0.8488004207611084","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":"Q2844696$E060758C-2FB4-4EB2-85B2-B692E51AD65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f536dd4897b55633cd8707e2d26ca95080188d","datavalue":{"value":{"entity-type":"item","numeric-id":5371956,"id":"Q5371956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289389de1a117fe33c27e60b81f3a42f1005d0f2","datavalue":{"value":{"amount":"+0.8220648169517517","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":"Q2844696$59FC1C5E-4F2F-41EF-9469-AE63BFDEDCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b9a5972ea1047ebfea4ee1a2156d64c1abd500","datavalue":{"value":{"amount":"+0.8055098056793213","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":"Q2844696$8E8002BA-1D90-40EE-AE57-8313A02D41A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763755f0a565da6aed9e31ae933c99de481e329f","datavalue":{"value":{"entity-type":"item","numeric-id":4218107,"id":"Q4218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59644598113adeef75a97dbed49f04798393da6c","datavalue":{"value":{"amount":"+0.8054695129394531","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":"Q2844696$B0480723-1DBB-4AD1-A25C-D0B36456A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd34f784ebf777742449a1a890f3271c0fbdbe5","datavalue":{"value":{"entity-type":"item","numeric-id":2565990,"id":"Q2565990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e7e99cbf2c9e1ea5b3e0fdd56f1a38b2335e95","datavalue":{"value":{"amount":"+0.7732136249542236","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":"Q2844696$A45EDB69-B850-437B-B1AA-2DEBE27A6C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2844696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2844696"}}}}}