{"entities":{"Q2946594":{"pageid":2957314,"ns":120,"title":"Item:Q2946594","lastrevid":58062624,"modified":"2026-04-03T16:01:55Z","type":"item","id":"Q2946594","labels":{"en":{"language":"en","value":"A general framework for sound and complete Floyd-Hoare logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483103"}},"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":"Q2946594$0232DA55-382C-4921-B0A3-8DEFA88F6A9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47fbc69665d134c46bd8b8c340e4aab938aab07c","datavalue":{"value":{"text":"A general framework for sound and complete Floyd-Hoare logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946594$ADB7826A-4EB1-453C-AD5F-0C3AC37FF243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d5cc6d913c99ff266fc4679df1be50cf66238b","datavalue":{"value":"1351.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$EAD249DB-545A-4C94-A3F6-5DF145852E44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6ba789e137d916ea7af8f292f79630c90a63880","datavalue":{"value":"10.1145/1614431.1614438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$06F30CA7-D64F-4308-8C95-ABDDFD17ED56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0326155ee2776709b948d74abcb135838e086e1","datavalue":{"value":{"entity-type":"item","numeric-id":287357,"id":"Q287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946594$CD83DF39-227B-46D2-B441-6F9595ED47F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5686a33437bde5a0c48c9c3e73d2341c14192432","datavalue":{"value":{"entity-type":"item","numeric-id":2946593,"id":"Q2946593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946594$55964BC9-D9F2-4AB2-B3E2-6D33E584BD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946594$04727A21-AA18-4160-9853-518FEE1BA4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946594$5E81A1A4-1F1C-4BDE-80B6-B9F78897811D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946594$334446D8-B877-4551-8B04-6B2404F6B5BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946594$31171A55-23DA-4CD6-9076-B7A6E4341F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30f6bb8431bc1400a770be08f99cea1010146c91","datavalue":{"value":"https://arxiv.org/abs/0807.1016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946594$BB185749-4A6F-4260-9540-DF8653A71C7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$B35D769E-11F5-4C3E-A173-B1AC2BDCABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$B75E67E1-6E5B-478E-B9A7-62B15C229F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$93E14DBA-A717-420D-B4A0-23A271F66954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffd08ee75f5716fd8d408f7acf5a880a0aee2cdb","datavalue":{"value":"6483103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$64C6E3F4-D8BD-4A0A-9017-389974E9E6ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946594$E94A7FD9-8936-4BD1-AB11-2610DAFB8CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41326557fb4398f97fe79ceefcc08f972d68ac7d","datavalue":{"value":"stream circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946594$AAB06AA6-003F-47B3-A157-713FCE2F0557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8ab92162c1447a3cfa46dab0f78d10d66251e6b","datavalue":{"value":"traced monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946594$92446B57-412F-406A-9C2B-2807416F71F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3be66cdd7bc9bd578f5fe2354feadb4bcef1cba4","datavalue":{"value":"Q55393275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$9E38F70C-C557-4CA4-8298-9749FE5BD8B2","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":"Q2946594$9000D96C-7A16-46B7-9E7A-CF5545FA4C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f504164d8acf715f731d257086811e4610e9fea","datavalue":{"value":"W2084929300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946594$CB765A44-CAF9-4517-84F2-87FB6871A863","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f44ce4fe49b3af8a2e560e676663c4b27813029","datavalue":{"value":{"entity-type":"item","numeric-id":3613360,"id":"Q3613360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e817b1765f99db05884c5528aafdbb53f596176f","datavalue":{"value":{"amount":"+0.8948371410369873","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":"Q2946594$6F78450F-7800-4100-936F-522174759850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2657377e2288a85754141b29c681e9923f2bc5e6","datavalue":{"value":{"entity-type":"item","numeric-id":2850296,"id":"Q2850296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"336d1693f10f07a43f336b04258b59e82e7102e7","datavalue":{"value":{"amount":"+0.7681190967559814","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":"Q2946594$F270F057-1DE6-40AC-B4FA-A4DF9460A8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed9f18728efbf178c12c394f7c72ef61968d349","datavalue":{"value":{"entity-type":"item","numeric-id":1122978,"id":"Q1122978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7733115f81ce1f7128ed00c2e6c4762a157ae9e","datavalue":{"value":{"amount":"+0.7626348733901978","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":"Q2946594$E2625837-D2F7-484D-B432-3FAA34745078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4000f3e910fb88358a7de6b1a38b7e88dcae90bd","datavalue":{"value":{"entity-type":"item","numeric-id":4302858,"id":"Q4302858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8c32228af422675d31b0cc2f838f66a0658c12","datavalue":{"value":{"amount":"+0.7564290165901184","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":"Q2946594$10C513A6-B8B6-4010-9C7D-AA6120AF7CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab2208a8c1c3afffb34ff6959422d07dd717a2","datavalue":{"value":{"entity-type":"item","numeric-id":4302334,"id":"Q4302334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8c32228af422675d31b0cc2f838f66a0658c12","datavalue":{"value":{"amount":"+0.7564290165901184","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":"Q2946594$34172DD3-3AA8-445B-92F6-714808C41716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946594","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946594"}}}}}