{"entities":{"Q7304575":{"pageid":31241158,"ns":120,"title":"Item:Q7304575","lastrevid":104753200,"modified":"2026-09-14T09:31:00Z","type":"item","id":"Q7304575","labels":{"en":{"language":"en","value":"Normalization properties of \\(\\lambda\\mu\\)-calculus using realizability semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8231393"}},"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":"Q7304575$939D1E43-374C-4AA1-9441-43FD28921C96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f688a4f52ee820f669f0a6eddaa17e7e7ab95ae4","datavalue":{"value":{"text":"Normalization properties of \\(\\lambda\\mu\\)-calculus using realizability semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7304575$EE27B61F-F4D4-45E3-A576-3C4C83CCB6F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf453dfb45cbee325db213f09dd10d6d9e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":1982989,"id":"Q1982989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304575$A416C8D8-F29D-40AF-AAF0-DEC8868C3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304575$E5585D14-446F-4EF6-9916-053964CE2442","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2dad40e9742356427053d0781375745b285f415","datavalue":{"value":{"entity-type":"item","numeric-id":6500549,"id":"Q6500549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304575$0FAB7497-C40B-4ADA-A742-D9554A672F23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7a493a12dc3cd54d5f5ca77ae4ed0a3686c1457","datavalue":{"value":{"time":"+2026-07-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":"Q7304575$BF657265-1C64-42E4-9C32-DDE9FD889E52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"effd37ac1355bd5bea60f3470b5188df47eb1c54","datavalue":{"value":"https://www.collegepublications.co.uk/downloads/ifcolog00078.pdf#section*.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q7304575$4AC64044-B61A-4179-9258-459C9B5A64B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304575$40BCB845-1F9B-41CB-A263-50E28F8F48BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304575$7BD0EE2E-2C27-4C85-9270-C0FF895B86D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304575$E89487E9-867F-4E5E-9E58-1C813EA03D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304575$944FFA72-41D3-4F17-B82F-1D5D8AE6C64D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e9503717e9b14a4d4f0d81a64f61111f2a4ec1","datavalue":{"value":"8231393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304575$B15187F4-9014-4E0C-AF96-2EB3D3C113F3","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":"Q7304575$F2BE0961-FE70-44F9-A2A1-2DB79D365855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization properties of \\(\\lambda\\mu\\)-calculus using realizability semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalization_properties_of_%5C(%5Clambda%5Cmu%5C)-calculus_using_realizability_semantics"}}}}}