{"entities":{"Q4718892":{"pageid":6748469,"ns":120,"title":"Item:Q4718892","lastrevid":46867044,"modified":"2025-12-25T18:15:12Z","type":"item","id":"Q4718892","labels":{"en":{"language":"en","value":"Normalisation of the Theory<b>T</b>of Cartesian Closed Categories and Conservativity of Extensions<b>T</b>[<i>x</i>] of<b>T</b>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1382909"}},"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":"Q4718892$08E2715A-84C3-4714-865C-8613A8D59561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d868c2b27189f5f2c90419ce8bc3ecc70f7c612e","datavalue":{"value":{"text":"Normalisation of the Theory<b>T</b>of Cartesian Closed Categories and Conservativity of Extensions<b>T</b>[<i>x</i>] of<b>T</b>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4718892$2636D6F0-E965-432E-BA4A-78B178380B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49fd7397ddcb9da54cac93b949cb7f68b16f7f5a","datavalue":{"value":"0936.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$BEA5CC1D-3A19-4D13-964A-FA86746DE10B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecdf2121eb6b3c424b85cdda1d6cd75285d3ee14","datavalue":{"value":{"entity-type":"item","numeric-id":280846,"id":"Q280846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$1205203A-E670-464B-9986-E3C7F34A1C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a6ddd9f31067ce21d55e47b64363949c5a264","datavalue":{"value":{"entity-type":"item","numeric-id":3204204,"id":"Q3204204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$F32DCA59-9DD3-4623-8DFB-A42AE43B088F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$7120AE60-6404-4B89-AD13-D2482963DEDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4718892$B338A6EA-76FC-4094-BDEE-E74C0A92592B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1402495c9751ec1a4ef52ada7927f4e922147f85","datavalue":{"value":"https://eudml.org/doc/221951","type":"string"},"datatype":"url"},"type":"statement","id":"Q4718892$07F920F3-15CD-41C3-979D-05DF08A813C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$5F3DF36D-CAB6-466E-88C3-6835B3885C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$A8AE4A2F-4FCC-4113-894F-64C90BE2BECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$0C78A044-4C76-4AC4-8B5D-9EF2ED071E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$DF57F5DD-F895-4DEA-83DF-20082AB765FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$9B28F13D-5B60-4ECA-8E4F-E9214B9A8D28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3800a24b31264259bd5c67975024b98bc44412e","datavalue":{"value":"1382909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$A9DC322E-8202-4AFE-808A-68D44049408F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$0ED13897-8B5A-4CAD-B7FC-F63733AEEE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e15bce93c267cdd6be77e0314601574aa44e8b","datavalue":{"value":"simply typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$904342B6-51FB-4F4E-B45E-FF004D86AAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$0694B476-AB83-4A32-96EC-DEEAE03B768A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48031b0fa46d12c1a1e309d31a1532b2a0bc5200","datavalue":{"value":"graph of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$2514FF0E-EAA3-469F-8686-53C96B5BA490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee05de06fca31cf2b48d2e200111f4c9e073dc56","datavalue":{"value":"inductive definition of normal terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$4AA0F71E-6E8D-4A6B-8F7E-C6D5CBB580C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$E29F1403-161E-46CD-9AC5-C35E6493095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718892$9F45B2F8-1836-486A-B9FF-891EFBA0A430","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":"Q4718892$2C997E09-4F4E-496A-985E-7CAF076FFE0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd717e15c22187ac5f12910dada95b3d6e951539","datavalue":{"value":"W2040138329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$0A5EC4FC-1A75-4AF3-B28B-03761A5F4F59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$0AC07B19-FD51-44B5-8B26-F21BE049C436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$85897570-9136-4DDE-AEE1-96F9303D3443","rank":"normal"},{"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":"Q4718892$94E33787-A5DB-4E45-A395-96DB771852A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fdc37529776f16d81d6d924d1dee0f125b6c94","datavalue":{"value":{"entity-type":"item","numeric-id":1107515,"id":"Q1107515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718892$EFE47E97-BF9F-4C53-8A7E-CB7E179DC5BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54545e6c6a5d1af032976c2b7d7ccfc48223bfa4","datavalue":{"value":"10.1051/ITA:1999115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718892$D0B05EFD-77D7-4722-A5DA-18DB637AA56D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953099234914b4fe0c09457043b32c19fa4f96e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c056453594c3be67757ff6671ad6f137752c073","datavalue":{"value":{"amount":"+0.736495852470398","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":"Q4718892$2D709C2C-ECDF-427B-8BDA-A3135BDB064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fc167108224555251684cc9f615ffbaf1da06e","datavalue":{"value":{"entity-type":"item","numeric-id":4895554,"id":"Q4895554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a30dcc0218d75610fad0b024956dda71b3f835a","datavalue":{"value":{"amount":"+0.7360228896141052","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":"Q4718892$EDD23A01-216D-4BC2-9952-AE4291F20910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f605de60e8287a20a0c473abedccca910682256","datavalue":{"value":{"entity-type":"item","numeric-id":750442,"id":"Q750442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63949e66162075244c97cb245018ab72fbf6665","datavalue":{"value":{"amount":"+0.7327142953872681","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":"Q4718892$DC4798CC-390C-42C3-ABB3-16F8DC5F2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1c97882320642aff72cbd9a56bb42c58778bed","datavalue":{"value":{"amount":"+0.7325413227081299","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":"Q4718892$BF0E0CA8-2B6B-41F5-9623-CB4B17041EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4718892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4718892"}}}}}