{"entities":{"Q2736340":{"pageid":2747079,"ns":120,"title":"Item:Q2736340","lastrevid":108750923,"modified":"2026-11-10T03:22:43Z","type":"item","id":"Q2736340","labels":{"en":{"language":"en","value":"Program specification and data refinement in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1638644"}},"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":"Q2736340$FAE187C5-30EC-4089-B4C0-AF6E85A61AB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bd781ab96148c9721cdeab6e488e4be7b6db680","datavalue":{"value":"0967.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736340$FBF33CB9-FC1D-4493-AD29-9782C4D40605","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736340$F32FC698-FB1E-4C61-B894-DA8F1543B53D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe54b189e142f443bd2748281897f2cac285eb6","datavalue":{"value":{"time":"+2001-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2736340$564ABC2F-2EC1-4904-99DD-1698B05A9061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736340$36847029-3881-4CB9-B67C-D64AD94B7073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc0d72bd4be9339174a8d1189c8783b6066910a4","datavalue":{"value":"1638644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736340$E708B870-6999-4664-B995-425788B4BF0F","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":"Q2736340$B8DF96B5-ABA4-436F-ACE0-2CE616DCD9FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44173d939f66cf161db2c7d30960c66383320275","datavalue":{"value":{"text":"Program specification and data refinement in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2736340$97823000-130C-45FF-9B09-E7DEDCED1879","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15df5707e619fb2e75c7c82d729fc0f049745970","datavalue":{"value":"10.1007/3-540-53982-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736340$3E403CFB-DA54-4061-AB17-E224AFF83E92","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":"Q2736340$192BCB2A-9722-4770-91A3-40E2278FE77C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program specification and data refinement in type theory (scientific article; zbMATH DE number 1638644)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_specification_and_data_refinement_in_type_theory_(scientific_article;_zbMATH_DE_number_1638644)"}}}}}