{"entities":{"Q6164471":{"pageid":13299352,"ns":120,"title":"Item:Q6164471","lastrevid":37547006,"modified":"2024-08-02T09:40:17Z","type":"item","id":"Q6164471","labels":{"en":{"language":"en","value":"Denotational and algebraic semantics for the CaIT calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719829"}},"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":"Q6164471$FAB5EE0E-4CB2-41AB-9B02-8105BEBC8F2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76aabb26ffedbefa8906fa6f04ffbb3a1556797d","datavalue":{"value":{"text":"Denotational and algebraic semantics for the CaIT calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164471$E7E1FF5F-FD88-4869-A7FF-F60C1DCFF1BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8890a4c51fde9284ae64a8a5bd6d6f1168c51ad","datavalue":{"value":"10.1007/978-3-031-17715-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164471$8BA5C0B3-0280-462C-A623-6A09FAF1CAA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c5c866fa573fb9de62e391bcc803102dbe98d85","datavalue":{"value":{"entity-type":"item","numeric-id":3610676,"id":"Q3610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$5EA853DE-2217-4D91-9203-E3C7CBC8EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$C86E3AF0-9EE8-4347-890C-64130E086A3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$A651169C-794A-4EE5-A410-5D88448D80DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164471$A105450F-44AE-4981-AA23-D5A70ED0BEA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164471$ED163420-09B7-49D0-99E4-D1FBBD8D1C1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b1ef978dfcca524c70dedb837121d6e56197e18","datavalue":{"value":"7719829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164471$932E6B2F-928B-4B0F-8F9C-6667B1264E1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52fe255953438bad6c489a665d3b6a1041348aa","datavalue":{"value":"the CaIT calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164471$A7E6A9E6-F390-4AD1-A6E3-17F33F6A9098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cac60ce732809358106864fd2035be8aa5c8ce7","datavalue":{"value":"IoT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164471$7EB98CE4-E4E0-47C7-9DCB-4357F541762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a0d2848f7e13e5373d661d808855d0d8662087","datavalue":{"value":"UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164471$60103D50-04F0-48A9-A295-DA586CF24B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164471$06372DC4-37EB-4018-BD56-0D148EEFC2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164471$9C929782-E23B-4B4F-8C76-A997E9B3C90B","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":"Q6164471$9DAF476B-37F2-4398-914A-EB2DCCA1D5E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d94790b7a07ad00721fabdf038d1a474fce8dd6","datavalue":{"value":{"entity-type":"item","numeric-id":1706144,"id":"Q1706144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$C41AD91D-B272-4514-BCCB-9683869FCB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b636d9c045c8aeb7117d84fdc171ae3d9cdde6b0","datavalue":{"value":{"entity-type":"item","numeric-id":967528,"id":"Q967528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$6F163F00-C0E2-4D7A-8EC9-48FEE14DECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$FA370EF9-B6FB-4E95-B11B-40F64F37F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68e4b56b3be270d16e2ffd6922e23ad4b76f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3922134,"id":"Q3922134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$BFC852FE-8AA9-45A9-8A4D-A48A88235D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164471$F04E15B8-960F-4E63-8E7B-ED316104E8A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164471"}}}}}