{"entities":{"Q2391532":{"pageid":2402275,"ns":120,"title":"Item:Q2391532","lastrevid":44006823,"modified":"2025-11-18T23:10:22Z","type":"item","id":"Q2391532","labels":{"en":{"language":"en","value":"Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6193247"}},"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":"Q2391532$98F42639-C8E9-412D-89A2-AB88C1E1D94B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e13c30e50eb0a51f9c4e0f5a2dfa9de75124afee","datavalue":{"value":{"text":"Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2391532$5C8A0DC9-9FCC-42BF-8271-C1D287E9A749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd851ddd6380692c528973aee8a787a47d5a1ec","datavalue":{"value":"1269.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$4BA80B13-A81F-4466-9E24-04429CE76A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59519c7b38fe9a2cc0fc277aef5725c38521161e","datavalue":{"value":"10.1007/978-3-642-39698-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$D26EAB6C-A541-4069-8E87-6D74A4043C72","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":"Q2391532$A3ED364A-51EA-4425-A561-5BEABD0B0B68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"683b08489c463bad988b3e086c3ff9e3b094bf28","datavalue":{"value":{"time":"+2013-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2391532$2D68ED1B-B298-4B76-BB32-4ED99177884D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$5E4F50E7-5096-4294-8765-45D3C3FAE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$C80B5566-5D83-4A9A-8113-D5B0FAFAE716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$FDED84CE-59B4-40FC-83CC-05FF69E6A781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2773a710f7fe40d06f95acf9b2cd9e1d02c0d84","datavalue":{"value":"6193247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$9B92D3DA-AC7C-439F-9A99-594774161987","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":"Q2391532$CB707543-7B49-4C37-95DD-3AD72A3C8F80","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4b220c1853b34e71f2afacd0bf2acedb928d6a7","datavalue":{"value":"Q29039058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$8BC29A46-A1FC-4408-A549-9E1881D40BC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f4d892c89ff071853173ca1470b7a40763cd02d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39698-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2391532$E83E323B-43B3-49D0-84C0-CBB3FBC8C3A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ea656e87621b58e507a0a8b864bdce17dd1d946","datavalue":{"value":"W2786598140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$A42E944D-A1B0-4024-9C6A-E19012C8191A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3aab16b183a97fed64047b1944f34a35b0abbbbf","datavalue":{"value":"conf/birthday/2013he","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2391532$2DD15F4F-AE6C-42C9-84EB-2E091BFC8340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2391532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2391532"}}}}}