{"entities":{"Q6166804":{"pageid":13301686,"ns":120,"title":"Item:Q6166804","lastrevid":58735734,"modified":"2026-04-06T12:55:39Z","type":"item","id":"Q6166804","labels":{"en":{"language":"en","value":"Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722327"}},"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":"Q6166804$D09B7B2F-46F9-4348-92FE-E40976F123C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcdf15abaf0873a2e986f6887f9d4ab415d15ff4","datavalue":{"value":{"text":"Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166804$F612C5B0-2AC4-4608-805D-FC7A45E3E1AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f94f401e2020a8dac772081be92f103b64d390e0","datavalue":{"value":"1528.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$DF4B031E-50BD-4F3B-94B3-D46BF56C521A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5e46e13a374bdaca71fc448024a9436d4b20c5","datavalue":{"value":"10.1007/978-3-030-99336-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$9655C5E6-A962-44AC-A5B7-9538FF502D41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$298B4FD8-38A1-49EF-93B8-96B80C5DFAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f3a206130343e5bbd5acaa28b88fdc2a8ca28ad","datavalue":{"value":{"entity-type":"item","numeric-id":1660926,"id":"Q1660926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$FA879A78-200B-4BF2-83D5-DCF4AD9B1E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90265da4fe31807d3d924225a855a6075e73c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1734518,"id":"Q1734518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$BAD3388C-3BB2-4DFF-9CC1-23FEACE0DAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$EA1BEE13-2FB5-41EF-AE5D-AB12B1A4324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$6DB6BAF0-A67A-4D6F-913A-F1EA9A4963CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$E5886D39-1D85-4DC8-9A3A-CEA94C629110","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$CA80F9D2-7D27-4078-BF9F-F5D63D34A779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166804$634A7A06-A4F2-4406-9676-64D53EB229AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dbd7cf23b46843a20d27262e415bbda85c6d181","datavalue":{"value":"https://arxiv.org/abs/2201.10485","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166804$FEF0079F-9723-43DB-8451-F13D67B56819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$5C3A4B1E-A558-416A-9DD4-861D394F2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$7F21561F-653D-4060-9119-92E74648A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$DE8E8B92-ADA8-4C51-9D4E-08A078A9DE37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbaae3893305b2c7937db35314b33b0792b3a3fb","datavalue":{"value":"7722327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$9C8C3B26-2777-4A35-BD6D-C9BAC9BD8146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166804$88FBCE39-4B24-477D-9347-24B4D2CDD08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a4749a8e623c7ecfb87ff8e7c5cf4681ce14e4","datavalue":{"value":"NetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166804$8CC7FE28-62A5-40B3-A16D-E40E58418B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166804$C439139C-6A7B-49CB-9D13-34D8B238004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166804$A59DF545-290E-4DB3-84F6-CA7660E84279","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":"Q6166804$7C09F705-1CDF-4D4A-93D9-EE83FE81300F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb635c3b888a8052aee72db10cb55de0316f5cae","datavalue":{"value":"W4226090351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166804$D12E3AA5-35AA-4359-AEC3-964A6264C4FE","rank":"normal"}],"P223":[{"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":"Q6166804$8C3646AE-C6AC-4F05-AF6C-A52F962334EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56de3bbd3ed952277f7f0990ad30aa7c6ac33c1","datavalue":{"value":{"entity-type":"item","numeric-id":5367072,"id":"Q5367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$E0179765-EAA5-420D-AB7B-5ACF56ADFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa757ff465e473a319959fd796de45eb13d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$237BE581-6A1B-4508-9CA7-050305200508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$E64713BD-3299-4C90-A5CD-63259C824737","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":"Q6166804$A856889D-1846-46C0-A07A-6D917B418650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$774575C0-5D79-4113-A06A-F45D66627E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$EB0E9C3F-2C55-402A-968E-19C34A208E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$0FD8F49F-E732-4052-A479-31FCBAF4A439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$86A5FDB7-09B2-4BD2-85D2-3CFD4D4C858B","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":"Q6166804$3A3AF4E2-DD70-499C-891B-07DED729D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff113de308b1c1550c0c295ec2c0108ce1a9d565","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$FC7DC6D8-9CE3-487A-BAAA-59DCDEC878E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$665D5DFB-E976-43A0-94B9-682F1A921A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d6388bf1c443d0c5b8e897ffe9d0533c59151c","datavalue":{"value":{"entity-type":"item","numeric-id":3521987,"id":"Q3521987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$886A7374-098B-45D8-B1AA-D084B7E3543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4acb9423d306d0bd0ffa64b987d2982e9421b4","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$BEF64724-98F0-4B12-87E7-741E7FD9A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$381BBB55-2464-43CD-A8B5-BF2D8D8A677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$2BBD251D-08D2-4AF9-9065-E72803325E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$89A6F232-66DC-4328-AB26-54CACA19EF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cd23e2c2c8d0913c2c6d887fe9d78a4881532c","datavalue":{"value":{"entity-type":"item","numeric-id":2819659,"id":"Q2819659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$3393A5BF-6DB3-48C4-863C-6D235BF3E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3dff761973d9817d4a0a0dbeb9dab54ac46ed0","datavalue":{"value":{"entity-type":"item","numeric-id":5089285,"id":"Q5089285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166804$1E1231FE-7D5C-4731-866E-00898ED118D2","rank":"normal"}],"P1643":[{"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":"fd506c4366874168f56220c85bfb87c2804f5f4d","datavalue":{"value":{"amount":"+0.766959547996521","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":"Q6166804$363D5F8F-46C3-40D9-B5D2-CE2591C7CDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732c15d12a444331d0111e9071e935155bc1e44a","datavalue":{"value":{"entity-type":"item","numeric-id":6181928,"id":"Q6181928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8d609c9c0930b3f935aa9eeaba8c723844679e","datavalue":{"value":{"amount":"+0.7599829435348511","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":"Q6166804$771CAC2B-F669-4532-B02E-4F9519964F74","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":"ebd9bad87cf33d347b0bb4b2fdbffb11ef664d45","datavalue":{"value":{"amount":"+0.7499854564666748","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":"Q6166804$4BCD0E02-08EE-4AE7-93F7-D1EC3098853C","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":"c1ccecd8e458f415ef68ec888369f362eeaea79c","datavalue":{"value":{"amount":"+0.7440114617347717","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":"Q6166804$74D73DDD-8472-46EF-89BB-DA3852019F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec254b0e6341155e4bc4e9dfdfd11f2c754d69e","datavalue":{"value":{"entity-type":"item","numeric-id":2819659,"id":"Q2819659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987c2a14a6be207e87ada83ad97deee267b622fc","datavalue":{"value":{"amount":"+0.7341511249542236","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":"Q6166804$3F4CAABD-E7FA-4BE7-B996-3EE4377531A8","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":"Q6166804$875D3B7A-FEC4-4540-807C-F95E8F6DA9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166804"}}}}}