{"entities":{"Q6090936":{"pageid":13225243,"ns":120,"title":"Item:Q6090936","lastrevid":102429938,"modified":"2026-06-06T04:26:28Z","type":"item","id":"Q6090936","labels":{"en":{"language":"en","value":"Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7768432"}},"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":"Q6090936$69CDFDB3-A9CE-4DC3-B9B1-398D4E4EF4ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0596f7012c61d1de73e108bf0bb3a4d1369101d","datavalue":{"value":{"text":"Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6090936$1B479238-27CA-489D-AF9C-3A0EFEC1B5E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e419de2f8b1fbfc2e54dc2f15c5f11c30725d637","datavalue":{"value":"10.1007/978-3-031-40436-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$FD406197-071C-4A3F-8A86-1322821ADEAF","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":"Q6090936$82FB3B3A-7706-4A91-BD0A-AF891B6245FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8af93f984a4a37d58c6f4dedd45b0ad498f90539","datavalue":{"value":{"time":"+2023-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6090936$D12A4D0B-BBCA-42E4-B195-3CE7C1D5DAFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$4920BE91-3BB6-42C0-9A29-1761695D7414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$CF137C23-ADB4-4218-B3CF-927CD8E69B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$CE9562D5-E9DA-454C-8225-541F4C6854C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$85158F3F-07F5-4B11-995B-4F926F3DDAD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86e5551b23d21b62cb11326a308cd05dacd4c5b4","datavalue":{"value":"7768432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$71C047FD-A861-45B3-89A9-AFD7FAEB6BF8","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":"Q6090936$FA95D978-1383-4051-A66C-45749751C26F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14e43b514b43bc673ccb3cde91cb7074186ff673","datavalue":{"value":"https://doi.org/10.1007/978-3-031-40436-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6090936$FD2C7BCE-3324-42AA-88E1-7E3529EE3CA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d21c7cdec4d9e74b96393c34b65a3dd4dd209c","datavalue":{"value":"W4386517734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6090936$61C6A798-EF77-4A79-8FF7-DDEAFDB9F749","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_of_programming_and_formal_methods._Essays_dedicated_to_Jifeng_He_on_the_occasion_of_his_80th_birthday"}}}}}