{"entities":{"Q2938038":{"pageid":2948758,"ns":120,"title":"Item:Q2938038","lastrevid":85097903,"modified":"2026-06-03T05:52:21Z","type":"item","id":"Q2938038","labels":{"en":{"language":"en","value":"Computational verification of network programs in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385855"}},"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":"Q2938038$77E9E881-C35E-4625-96AD-7ACC465F8E72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3b4d81692f1eede5bbded125b7f9ecdec9238ad","datavalue":{"value":{"text":"Computational Verification of Network Programs in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938038$408990BD-5900-4A7F-98BA-4A26B65E8E65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"251849075ce60393127189c8f25210998cb3c5d2","datavalue":{"value":"1426.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$0F2856C0-CE4F-460C-ACD9-B4C42709C706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a4f982baa548464ab9e347929230954eedf605c","datavalue":{"value":"10.1007/978-3-319-03545-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$0D45488C-F574-47A6-B800-ADA8EF0FF462","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db3f3cfd4eb1160cff340fdb86fde1f1f1faa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2323997,"id":"Q2323997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$58101921-B7E0-4C7B-85CA-0C315C95F4FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$74EB3F7B-0828-484F-94BD-7E202B40D18B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938038$EA1155CA-EA42-4516-98AA-1F68F4BDD074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$EB8365EC-261D-4DD0-962A-5B0EC77562B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$9EDE872C-27C9-4DC4-8012-8CB2C378B33D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caa9eccc985a38090abc97d56b1f394b9aa3dfff","datavalue":{"value":"6385855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$55AA84D3-3B4B-421E-BE91-FB4BF701A606","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$ECF7283C-AA23-4668-B7B6-48A924877E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$E5ECA814-8303-4DA2-90BA-00AFDEB6FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$040ADD0E-1F2C-4A90-BD48-B1352C4F974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2410b493083be028ac258e24de79127d31cef107","datavalue":{"value":{"entity-type":"item","numeric-id":24982,"id":"Q24982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$7B641B39-4547-4593-A2B2-F38DC26446EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a36fa381a97fbba1c7c0230106872705499dccf3","datavalue":{"value":{"entity-type":"item","numeric-id":44084,"id":"Q44084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938038$8FDB6C78-307D-483B-8142-2DD8BC904622","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":"Q2938038$63EFF2BD-677D-4CA4-B2D4-D06A466A9D5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22db7b19952d9e299bca06dc8f386c39052a5109","datavalue":{"value":"https://doi.org/10.1007/978-3-319-03545-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938038$D267FC29-4475-4CBB-AD21-80A0CD731B50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39394ad61ed718f687b314504acb520713bb0080","datavalue":{"value":"W1903450197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938038$5C0FEAF2-8F98-4043-B377-AB8F9717CACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf1f5e6c0baa3022ef570152036ae148eeb5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2789031,"id":"Q2789031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e359a81d1f37bd9d918b678789179124cae957","datavalue":{"value":{"amount":"+0.7739732265472412","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":"Q2938038$05057D24-910B-4EC3-BE9F-8B3AFE6992F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5af8180d1e813cbf2f3de87556424cc821b12fb","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722f193f9725a95a0102a5d6ae169dd2a30efe9d","datavalue":{"value":{"amount":"+0.7456027865409851","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":"Q2938038$51489213-A742-489E-BA74-92B00B8D7F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a637a3ec8530fd323624ddc6f2ba82d813d4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3546045,"id":"Q3546045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff13b19293e8096bd3d68dfa3d02ba917c985087","datavalue":{"value":{"amount":"+0.7334156036376953","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":"Q2938038$FDC987DF-CDAD-48B8-9859-89E8275B2CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb2d66758ce81adc8699e5448e16650f219ce52","datavalue":{"value":{"entity-type":"item","numeric-id":2754062,"id":"Q2754062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce549cd3a67c0aeb67e2fc77ad5b05e0a680290","datavalue":{"value":{"amount":"+0.7190625667572021","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":"Q2938038$83BC1B0F-A02D-47AF-A43C-EAC911E48C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195e4c27e5605ebcab7e1eae10f3fd4e73bcc343","datavalue":{"value":{"entity-type":"item","numeric-id":2828246,"id":"Q2828246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d636683d50ba7a7caa8f3de3c2273be3220ef44","datavalue":{"value":{"amount":"+0.7148891091346741","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":"Q2938038$939AD502-E00F-42DD-84FE-CACB72B5620F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational verification of network programs in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_verification_of_network_programs_in_Coq"}}}}}