{"entities":{"Q4222034":{"pageid":6251635,"ns":120,"title":"Item:Q4222034","lastrevid":46609818,"modified":"2025-12-25T05:06:22Z","type":"item","id":"Q4222034","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1229489"}},"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":"Q4222034$2AB7A144-8292-41AB-BC0A-557C0AC475AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1de2a74238a4fbc83967586f88482f323dd531fc","datavalue":{"value":"0962.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$9CBF5D0D-4163-4F33-981E-FE5F445EB999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd247c0acecb03dbb649b71faee6e9ab6d53c45c","datavalue":{"value":{"entity-type":"item","numeric-id":864503,"id":"Q864503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222034$C7061EE5-D3D9-45E1-9F3B-D96DCAAB5BE7","rank":"normal"},{"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":"Q4222034$B7166AC7-89BF-462A-BFDA-625F0FC2AAD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dc30d183c79f6a3796da8891455feb87ec56ae9d","datavalue":{"value":{"time":"+1998-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222034$D6C73A64-D2E6-444C-AAF4-472677DEEE22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$25F2ED75-4B26-4837-9134-14F966651392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$AEF6A7BA-76CF-48AD-9FB2-6D5BE1A5141A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$B3568077-EAAD-4722-B8D0-826555844F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$2D43882D-7CF0-435F-97E6-1D0E15BB13B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$DE7A7715-66A0-441F-BBF1-FCDEE3CE93D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e86c5a06b69cbf7e8480d5501e5887f3372776","datavalue":{"value":"1229489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222034$56DC5E10-9E27-435A-9EBE-82820E0B99E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222034$41EC7A45-3CDF-425E-96A5-27E97FC4CF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"870bee19c63b517e0ea8b91dc936b0e1a68c867f","datavalue":{"value":"syntax of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222034$D1D9FDAC-BA72-4A23-B470-28110B74F0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222034$6E34E13F-5C08-45CC-BFE5-5AA10A0598A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222034$76877D4A-5AF3-4588-B163-8B253CFD9CCC","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":"Q4222034$24F76651-1CDD-403E-A45D-0FF01E11421B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4337212fb62cb951dfde437bd85c7830269f3d58","datavalue":{"value":{"entity-type":"item","numeric-id":4023580,"id":"Q4023580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d3da5e910f95a410df1e18a38fd284d0142641","datavalue":{"value":{"amount":"+0.7953783869743347","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":"Q4222034$BC66EF33-5175-4DA4-950F-F779CD002418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08738c0dfd18c69a1c483efc4ebb0f31e3d44dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd9b351e6218de1d46fcbddc08135d324b4181f","datavalue":{"value":{"amount":"+0.7876925468444824","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":"Q4222034$60402A06-3E32-49F5-98E1-8D1D3C2D4912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67ce11ffe46dc5cb7abf5433a3ca80eeb1ea65","datavalue":{"value":{"entity-type":"item","numeric-id":4829807,"id":"Q4829807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e01e28772f8a61c9beddedd501f72d4f6e57b5","datavalue":{"value":{"amount":"+0.7799562215805054","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":"Q4222034$9B3709AC-B659-46AC-B109-929270863324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222034"}}}}}