{"entities":{"Q4986510":{"pageid":7016087,"ns":120,"title":"Item:Q4986510","lastrevid":58387428,"modified":"2026-04-05T00:12:29Z","type":"item","id":"Q4986510","labels":{"en":{"language":"en","value":"Deciding KAT and Hoare logic with derivatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340144"}},"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":"Q4986510$A7C47DE5-3AB8-405C-A83A-2AAEE46CD54B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6ca34e6c62e5ab2ee0791d6551c0b88dc49f3b8","datavalue":{"value":"1459.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$4A39FB03-7174-41A1-9D85-711CCAA13151","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0808dac74335f0333d87024b00a6e01f2c1e49a3","datavalue":{"value":{"entity-type":"item","numeric-id":243801,"id":"Q243801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986510$CCC959AE-5FBA-455B-8CF7-A66128C2CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986510$A8BF98ED-4600-4070-B629-0B136F29B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986510$6D47F40D-4F05-49BB-A921-8DFEA3A288CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986510$6CBB8976-F7F3-41AE-8F3A-D9F34E04399A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7427988c1e39ed53cfb131bd716105e995f823ce","datavalue":{"value":"https://arxiv.org/abs/1210.2456","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986510$3190DF9F-82DE-430E-AADB-D8392F207DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfd62b4757cc810e7dd8df723d5ed80f12eca373","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986510$DBA9C279-9387-456F-82F2-7F0B455456E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$7C16E6F8-F033-42F5-A7AC-0D5491D4BF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$72CDA107-012D-4B2E-9E58-238A1E72ADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$D3427456-6ECB-4B7B-9501-4AFBAC6B354C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$3EA44704-05B7-494F-AE07-D90DC4F4FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$BE087E09-6C93-4266-B400-8D35642C73EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d2e5677f5f0c3fb74d66fba875be2a15305ba06","datavalue":{"value":"7340144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986510$D41E072D-CD58-44C9-9E35-1A40AFEAA713","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":"Q4986510$E841B9E1-F137-44D8-9C45-752E1F3B7744","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fd87bde044bff5543556117e424c09d0510e50","datavalue":{"value":{"amount":"+0.8784881830215454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4986510$E53F534D-2274-4A97-9FD0-7E52C5C9A43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17981058d023c9c520fdb9160d892aad936938a","datavalue":{"value":{"entity-type":"item","numeric-id":5175879,"id":"Q5175879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e961e58ece425e8570469cd98ecf0618b1b9106","datavalue":{"value":{"amount":"+0.8628703951835632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4986510$8D8873BA-8181-47A6-9BBF-DB9F3BBA0160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30618927a31f39aa2acfc3c36afebbdf6862b8d0","datavalue":{"value":{"entity-type":"item","numeric-id":299196,"id":"Q299196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeba4c245d1faca23f9d2c66d8cdafe15035af23","datavalue":{"value":{"amount":"+0.8141630291938782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4986510$6909DC06-1869-48BF-B82D-B4966CB19986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850a75a69fa33f924dcb54e49e020dfd8b87f7d3","datavalue":{"value":{"amount":"+0.8101950287818909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4986510$770E13BD-0DEE-408C-86AE-3CDAA604A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeed3c0acdda92e68a608b4fd2b72ad9db9875c","datavalue":{"value":{"entity-type":"item","numeric-id":5410479,"id":"Q5410479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177e670bb5d8c963b22882233ab5a198d02c6874","datavalue":{"value":{"amount":"+0.8066632747650146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4986510$DA13609E-28AB-4FC6-A375-89A16A6C4596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986510"}}}}}