{"entities":{"Q4170194":{"pageid":6199795,"ns":120,"title":"Item:Q4170194","lastrevid":32164156,"modified":"2024-03-19T21:22:47Z","type":"item","id":"Q4170194","labels":{"en":{"language":"en","value":"A Complete and Consistent Hoare Axiomatics for a Simple Programming Language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3604320"}},"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":"Q4170194$0D3CC9B7-C210-4E33-83AF-B0B79B623B0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a50a091a32d20225923b1601a0a55630321524c","datavalue":{"value":{"text":"A Complete and Consistent Hoare Axiomatics for a Simple Programming Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4170194$DC1100F0-BF6A-426E-B29E-663E3A02C986","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"391d02b130f947e1b4e8381ee8d91aab8769406e","datavalue":{"value":"0388.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$E52AD218-E0CD-477C-8A21-6B7AF2C4EE05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"444428445101b68093a30de5c953cb823e49b565","datavalue":{"value":"10.1145/322108.322120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$91F488E2-C746-484F-A8DA-1D593B6211BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09db6d4d01194a44f263d7cac677786974abb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":598791,"id":"Q598791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4170194$854280F6-DEF4-4824-BA3C-79EEDCB6B060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa165d2b49f82a9aca9ce4f0d9facdfd4c251be","datavalue":{"value":{"entity-type":"item","numeric-id":580953,"id":"Q580953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4170194$F5652AC8-2239-4A49-89D2-A09C7B4C3E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4170194$D6060B88-B3F5-40A7-ACB4-0595A5C0C5BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4170194$B514DE7E-D713-4CA5-BBDC-038BCAC56D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$91DB7592-AB8F-493E-91BF-E1D368F4F547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$79984B46-D142-400C-BA41-73A28C325F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$824AC7A2-621B-43B8-BD7C-B6D7B6B7E594","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f0ef9c56b0a1c638df803b8021c8ada5595435","datavalue":{"value":"3604320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$B65699C8-6F9A-4200-BF95-93F2277A0B1C","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":"Q4170194$E2A59818-D4A2-4C60-8D13-BAB019668060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afb7c605961c6df623cdbf91928394f51a60448a","datavalue":{"value":"https://doi.org/10.1145/322108.322120","type":"string"},"datatype":"url"},"type":"statement","id":"Q4170194$C921DD7C-1AB1-435E-8146-D84B92151834","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f92233099718f88bb1824ab51ba3e1bda9f16b5","datavalue":{"value":"W2070002876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4170194$146354D9-7B40-45C8-A97D-3B6922DCA49D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4170194","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4170194"}}}}}