{"entities":{"Q4931309":{"pageid":6960891,"ns":120,"title":"Item:Q4931309","lastrevid":51096995,"modified":"2026-01-16T15:56:37Z","type":"item","id":"Q4931309","labels":{"en":{"language":"en","value":"A Hoare calculus for graph programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5795658"}},"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":"Q4931309$134377ED-4AAF-43D9-BF1E-395AB4716E9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf582cf3117abc59ccb910bc35299559a206dce5","datavalue":{"value":{"text":"A Hoare Calculus for Graph Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4931309$14741929-5C08-452E-AF57-5F7C1F638FB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae675a74b97e622c756842db9026c4442eef9a9d","datavalue":{"value":"1306.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$588AC348-D4FB-4158-80D1-464FD0E15E6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c1127c23c4ee99840b07888c0927ac8e1c552f","datavalue":{"value":"10.1007/978-3-642-15928-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$CC103C0F-7649-45FB-8204-2AFA09FC0DD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5129960a02fcf06189d8801bbc8feb3165f7845f","datavalue":{"value":{"entity-type":"item","numeric-id":2096430,"id":"Q2096430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931309$44E2111F-E171-4961-87DE-1727F0F64E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931309$14653092-2191-4971-956E-AE4FF668D6A3","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":"Q4931309$9E4B47F0-8FC3-4829-BAC2-6F368BEF9F92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74cfab7d3906afc05e862851cc22fb484b12e8f1","datavalue":{"value":{"time":"+2010-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4931309$98F76B57-8AC5-4809-B827-6E27C35563A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"089fee1d8fc6f2568fcf6fb1f0cc792f48925de0","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4918","type":"string"},"datatype":"url"},"type":"statement","id":"Q4931309$75335718-9308-461B-B263-DFEC950D1C86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$A733158A-075B-4C53-B693-B86CE8D524AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$51677DE8-55E3-4575-B5B3-C81326F04876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$C1665256-C1C4-4CF6-92EA-14F3E0E912AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b9d448dfd56f1b60878d6a5afae0043acc4ea9b","datavalue":{"value":"5795658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$B03557F4-6E3E-42E8-B40E-4101BEE276AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a257a51429e77845abcd7edd5d74fc19bbccc6f","datavalue":{"value":{"entity-type":"item","numeric-id":13147,"id":"Q13147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4931309$D109D89B-34A5-4B34-A6DB-4288B987AF0A","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":"Q4931309$79300F50-3D3E-47D3-9BBA-ED93D10B18F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"482c5d917b26a288e4caa5c1f1c947483e5284f3","datavalue":{"value":"W1538507560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4931309$57D943F1-7169-44B0-B2F2-FFF966CD19AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b75f246e371908ad9f4fb77ea142907b54fb5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62ed836d9d1a789bd69478a374771750e313ec9","datavalue":{"value":{"amount":"+0.916528344154358","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":"Q4931309$DD7A07AA-1B51-403B-A642-9BE9983230A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6fce314e733b3027b8c687cae62d58882d8b13","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f25d676281258afe67485bd8251735afe3ae626","datavalue":{"value":{"amount":"+0.8606292605400085","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":"Q4931309$1C618DDF-CF66-4525-A171-DCC28D6B81CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f5886ac9f126545f85bbd9e64861bbf17c4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2b7977cb0bda74b346f3bf73c86a5835d902fb","datavalue":{"value":{"amount":"+0.824052631855011","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":"Q4931309$06958F13-6592-47FD-A118-EB307CBF78F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85de1d1a6658c950ed51d4b8661e949432d4200","datavalue":{"value":{"entity-type":"item","numeric-id":3190159,"id":"Q3190159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbfeeed7a9a744369a1c8c3ffa2924a1188dce8","datavalue":{"value":{"amount":"+0.7947229743003845","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":"Q4931309$681752AA-2F8E-406A-B112-DF19211AD3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b93d0514a8aa8726b9d47b94f275665f97f25d","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e671ec449a209fdb1570d245651260fa55ce294","datavalue":{"value":{"amount":"+0.7904789447784424","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":"Q4931309$3D266E94-13E5-4939-9078-47FF4007F820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4931309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4931309"}}}}}