{"entities":{"Q6637592":{"pageid":14248744,"ns":120,"title":"Item:Q6637592","lastrevid":40606902,"modified":"2025-03-10T10:06:59Z","type":"item","id":"Q6637592","labels":{"en":{"language":"en","value":"A small-step semantics for Janus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7943498"}},"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":"Q6637592$43BEC4B0-9F38-4588-93C6-883E291C2373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"056a08f856c16a1e23cb439dd99dc9564249a6b7","datavalue":{"value":{"text":"A small-step semantics for Janus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6637592$F64BB3FC-D27D-4E07-B61C-A1A6378CC2F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b0690e52945f62b55e06631b1867bfa48caf51","datavalue":{"value":"10.1007/978-3-031-62076-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637592$53BB71E8-6462-4CB9-8479-5B159316D2A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"039093d83ac417e90fa7744e665029c6a73a24d4","datavalue":{"value":{"entity-type":"item","numeric-id":2097428,"id":"Q2097428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$412811DA-2356-4619-A712-943DEB171DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$9FDBB033-8099-4F74-AF7B-D5284CA3474E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81fa914816673215f0fc2fbca4f9fe394b7c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":264995,"id":"Q264995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$DB632278-91A1-46F3-A94D-74CCCE9D902D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ed3d9ad2009d09c98d19037b5add3226f6f958","datavalue":{"value":{"time":"+2024-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6637592$42201125-86C8-48A4-B574-2FDF5E2A1340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637592$842D984D-3792-4DA5-BB38-6D44211E3741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637592$D75290E3-461E-4F3D-B687-E775D9EC25CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637592$A9C576F8-2753-4721-91E4-A8C4DA2E6313","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ac3a1f2dc6669b6da5bf73ef1de7c4402cc84c","datavalue":{"value":"7943498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637592$930B3002-0E79-4880-B40E-FBF86F4FB8D2","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":"Q6637592$290FCD93-E7DD-46F4-AF52-24AF33C91BC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$0F759296-014E-4777-8786-C14A4B7F8C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$E54BD89B-A16E-4633-9F6C-2455B25EB6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a690308d4c65a6d9a6c8841b2847d2b9461a95","datavalue":{"value":{"entity-type":"item","numeric-id":1796398,"id":"Q1796398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$E3F0DE6F-904A-4A07-B077-7F862E9E8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$2F042B5F-142A-4FE2-AE28-E7DCFF3F91D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6c670858c666964a1760602fe084699e2f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$81790780-CDF2-4A46-9657-D17D3A839934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$FBCC028D-1FF7-4592-9A2D-DC092A0C1D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$941A1411-6D09-42A2-A94C-68737F2A0B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$EAB34A14-228F-4F8A-B2EB-4777D0F38D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ec5990b259b6f229b7fdc342da807ab528c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":1796400,"id":"Q1796400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$9D38D6AB-BFE8-4CC8-8E1C-D5853F3850D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c7c9a74c94dce44414713db7a39bde044e7320","datavalue":{"value":{"entity-type":"item","numeric-id":2822499,"id":"Q2822499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$D92DABE5-50B3-4A57-A1EC-EC9B1AF879D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222e18bce6bb68d46897d8bc98eff527f0d5a8a6","datavalue":{"value":{"entity-type":"item","numeric-id":2902497,"id":"Q2902497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637592$A9B6491C-E697-47DA-8442-163E3DCFEA24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6637592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6637592"}}}}}