{"entities":{"Q6181928":{"pageid":13316816,"ns":120,"title":"Item:Q6181928","lastrevid":98899025,"modified":"2026-06-05T18:45:20Z","type":"item","id":"Q6181928","labels":{"en":{"language":"en","value":"DyNetKAT: an algebra of dynamic networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793029"}},"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":"Q6181928$6627683B-8B42-47BE-9CA8-AF5750DD24D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"648d47fdfee2185bf6e709365b00bfad9a5cd133","datavalue":{"value":{"text":"DyNetKAT: an algebra of dynamic networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181928$6015FDE9-3306-4E90-A524-9BF3E3D21E02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b39fd51bf3b902899f9137542ea0dcc18f7e15d","datavalue":{"value":"10.1007/978-3-030-99253-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181928$B360A9EC-0466-4127-B86F-ED6827454081","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb6c682ea1d2955b0fc3bf41511e38774bc37602","datavalue":{"value":{"entity-type":"item","numeric-id":2043808,"id":"Q2043808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$3229760B-E1BD-4867-915C-8C8261E1ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d858257cdcd153ab51f401565cbcee0b7efab5","datavalue":{"value":{"entity-type":"item","numeric-id":433343,"id":"Q433343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$79F75B28-0174-471D-B9AB-8EA3E1940B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf76af684c94ba691719fb8f21bdf4957141647e","datavalue":{"value":{"entity-type":"item","numeric-id":835033,"id":"Q835033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$9BD36E8B-541D-47E3-AECD-8B46CF48F4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1394e3e2c810a002a34cee5991d1180ff7cb3871","datavalue":{"value":{"entity-type":"item","numeric-id":2043809,"id":"Q2043809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$C9F62ED1-F941-436B-9956-DF45AF4F4E5D","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":"Q6181928$694CF7F6-66D9-4BFB-8E79-D2FAA2808E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6181928$92B9EC0F-9C0E-4196-9693-54F155E7775E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0500571c94b25c804e09a3f96297b7be520f5e3","datavalue":{"value":"https://arxiv.org/abs/2102.10035","type":"string"},"datatype":"url"},"type":"statement","id":"Q6181928$E1919442-37C8-439C-9D60-37E89A221B8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181928$9B894386-A2B5-45B4-A00C-6D972243EA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181928$9E128CF7-1084-4CF8-9211-02EBC0C636C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c294df71aff6d1591976787e881abecff6bda8ab","datavalue":{"value":"7793029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181928$572FC80D-32D4-448A-9DAF-47FDB459BC8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d249307c45d776e583482930294b738358537623","datavalue":{"value":"software defined networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$9D3FFF5D-1E05-4EA1-BE22-910D612DF1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce988e9cf1f28d9db82c71d758508b2851c1c99d","datavalue":{"value":"dynamic updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$176B6C31-1CD0-4115-BD9E-D079F23D51BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e39f05ff204cc864bd540920e89c1f2dea40f2","datavalue":{"value":"dynamic network reconfiguration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$BB42EA97-052B-40D6-BD0C-22BE315902A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a4749a8e623c7ecfb87ff8e7c5cf4681ce14e4","datavalue":{"value":"NetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$32738F6A-E738-46C0-95D6-71879BDBC7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$E2785534-2BB8-44BB-B937-B6A139BD04B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181928$151A13C4-2C30-4E0B-B9AB-BD7AFBD1E7BD","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":"Q6181928$699894B0-E3DA-4500-8B4D-425F41DB3A4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e426871ad26e5f0cff9aeeab9521696062de383","datavalue":{"value":"W3132516205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181928$C2C50D5C-F3F4-425E-A350-4DAF2038171B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$26E6B323-8932-4864-B962-7E1431AFBE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c082e98be692707bb504260580c778ccd80f234b","datavalue":{"value":{"entity-type":"item","numeric-id":4940887,"id":"Q4940887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$EFCF4806-B77D-4A49-9A1C-7D9058A5350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$1E9E333D-4E84-4E16-8BBE-B48E07200FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$523CCFAB-BEE0-441C-ABA5-678398459559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$75363B26-6881-402A-8572-3B2597ED6CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$60284D44-A815-4CBA-8FCA-1A8D63FB595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49ce1337a4d1606e89be2c26995b66a83555870","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$345E006B-EFDD-4BD6-B2B4-F06BC8CF2909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3def5ba2812862dfd1b4770373867e61432ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$87F173C9-FA0F-4E26-845D-8DDDDD6F2D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35362ba3b6099772c8a3da858a8bba1efb800751","datavalue":{"value":{"entity-type":"item","numeric-id":2200836,"id":"Q2200836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$BD3A5218-16C7-4941-846C-D0EBD86B1358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b13b113b123bb78837c9783fa70d124ddf393","datavalue":{"value":{"entity-type":"item","numeric-id":1660929,"id":"Q1660929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$115D3223-8E80-4F03-9A1E-3872F5BA67FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$B71516E8-7855-4FA5-8DE8-EA11D6765A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fa74182997188dd8dd253d53ba13a1b0c51360","datavalue":{"value":{"entity-type":"item","numeric-id":2486401,"id":"Q2486401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$44138432-1275-4460-8B66-379AA157A696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0aa7e509bb6876ae43533216cb698ba07845843","datavalue":{"value":{"entity-type":"item","numeric-id":1617832,"id":"Q1617832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba08703a1f37826e33d47c27f5fbf6173ae0fb0c","datavalue":{"value":{"amount":"+0.7856456637382507","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":"Q6181928$2E2F68DE-35FB-416A-A0B7-B8872EA98A70","rank":"normal"},{"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":"1de10c6c641dab2bd08bf957a48703a0cc7977ce","datavalue":{"value":{"amount":"+0.7786205410957336","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":"Q6181928$567569F2-D3F0-4B05-A4B1-545375BA6F39","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":"8e767fa03d365b63fcb4cbb47de4f96147a80a81","datavalue":{"value":{"amount":"+0.7729846835136414","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":"Q6181928$C9AA9910-1BF9-473E-AB19-86E480D45392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9131b688ed0006b032bad1d361877c092fedc009","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ccc2e3a80385444543f0a6db9f76e8290fbb83","datavalue":{"value":{"amount":"+0.772553026676178","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":"Q6181928$426AF425-F059-483D-9411-F5650E14A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06daf9585f3bbed9883d09c76b3bd918edf15070","datavalue":{"value":{"entity-type":"item","numeric-id":2819821,"id":"Q2819821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5f6ae40c39c36a6776c973f852e3dd21668803","datavalue":{"value":{"amount":"+0.7701777815818787","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":"Q6181928$9CFA0ADF-FA42-42C6-B516-2148E9172408","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181928$61D9FEC4-BFCC-4094-AB6E-23636555D156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DyNetKAT: an algebra of dynamic networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DyNetKAT:_an_algebra_of_dynamic_networks"}}}}}