{"entities":{"Q424407":{"pageid":426174,"ns":120,"title":"Item:Q424407","lastrevid":61743678,"modified":"2026-04-11T01:21:34Z","type":"item","id":"Q424407","labels":{"en":{"language":"en","value":"Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040212"}},"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":"Q424407$A9825A1F-BFF4-4640-9D1B-F1AE26911088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72b2ef72e377bfe7728b971e62cd35235e991521","datavalue":{"value":{"text":"Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424407$EB90B3E5-1326-48B5-BBF2-2F8B482FB166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06721ececf9f59b78dfaa52e191aa1ed609576cc","datavalue":{"value":"1241.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$58DDF6E8-6976-48C0-B8D5-C8AFDAD2E704","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d247eb84d90c1e5e782f639c78e0217a8a19eba4","datavalue":{"value":"10.1007/978-3-642-29485-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$2677F0B2-6813-46A8-8171-40BE8FC2EA23","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":"Q424407$DA623C14-9E40-4523-A63E-05C8FC430F86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424407$74400BBF-CD2B-4C3A-BA57-31C19B088407","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$E3DF57F7-AC21-4D25-8305-544D5A1D0E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$0EF2E97D-24C4-4227-965B-2248717EF1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$4D24CB1F-421B-4948-ADAC-4A1229A60A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$A3D05826-C9DC-417E-B3AD-4340918844D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$D93C6667-D8B3-42A4-ABA4-DC43740A438A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f72112748eb245e4a0cfebb147e6273fd0a4b2f9","datavalue":{"value":"6040212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$0177852A-1E39-4B32-BD6E-DCD1488AF67F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424407$52C81EBB-E1F4-4D26-A9D6-B4BFB0472D2C","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":"Q424407$4265F2EA-9EB9-4061-8A4D-E45F4EAB2545","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b53e072daced895502b7a89af5672b97f71029e7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29485-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q424407$3CE1E237-F069-446A-9B75-3C5C4F436E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d95ad5caa5475b68c5a4feadd72f2e741cdbc550","datavalue":{"value":"W2483416580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424407$21A60E30-F84A-4A82-A21C-29E947F5BA55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_program_semantics._Essays_dedicated_to_Dexter_Kozen_on_the_occasion_of_his_60th_birthday"}}}}}