{"entities":{"Q2789031":{"pageid":2799769,"ns":120,"title":"Item:Q2789031","lastrevid":52465133,"modified":"2026-01-22T17:30:09Z","type":"item","id":"Q2789031","labels":{"en":{"language":"en","value":"NetKAT -- a formal system for the verification of networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546211"}},"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":"Q2789031$31A8FC9B-F401-403E-ADBE-0D6A9C20EEFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e32402a3b8cc95f763f454e2f2a0135ab047a24","datavalue":{"value":{"text":"NetKAT \u2014 A Formal System for the Verification of Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789031$18BCED99-C6A7-4ABE-81B2-ABDBD639FA2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c208e5a38ab88dcd6d7fc18b3297fdb7bb10c94","datavalue":{"value":"1453.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$8EE0F1CF-F3D1-4876-927A-017A5DDB9C6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00bec36c603cea1c8ddb1c71444453f65170c95b","datavalue":{"value":"10.1007/978-3-319-12736-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$CB5C49C9-3907-4E75-910C-FB062F6C0EF9","rank":"normal"}],"P16":[{"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":"Q2789031$04700DBD-ADAA-4C44-91E9-AE7000C406EB","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":"Q2789031$74CEAD20-31AC-442F-8D35-61706DCE8B3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789031$0FF653A1-1909-48EE-BE9B-3C34EA4CE36D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$30FF83BE-F074-4A6E-A309-2B4EC113F1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$770A824A-D4A8-4D21-BEED-9BC08B4ABD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$4982D1E1-4B0A-4D85-A5DC-E0C1D08FC600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$B2B73BEE-5615-4585-8A06-15F6767EEC65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6191ad67b895438fca576d41184dce49b433405d","datavalue":{"value":"6546211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$58D71AE7-FE44-44CC-8F9E-C34887E330D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$D0DFB82C-39DD-4514-8B93-3024AC630D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$67966346-F395-4B28-9BE1-415D432405F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a4749a8e623c7ecfb87ff8e7c5cf4681ce14e4","datavalue":{"value":"NetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$3A0CF047-2330-41F7-8E24-B271916168EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180fce5d659c1b91ea4311ee2460336c8f2a0a3b","datavalue":{"value":"software-defined networking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$EEBDDA42-31A1-478E-9FB3-34B7BC951ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7deeeca1a59dd6d5c74242496af9d205ca06e60e","datavalue":{"value":"packet switching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$E0FF21A1-90B9-424E-9D6D-B2B7E20AF203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbdf2a5a19b8057a71bde43921d0ebfa8447ea94","datavalue":{"value":"OpenFlow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$553579C0-05C9-4D22-818C-B0FB8E5F5F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbf8447cde2bc85a216d99beab40fe1bf89b410","datavalue":{"value":"Frenetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2789031$160EF698-8642-4F9C-958F-012508A09A7C","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":"Q2789031$B8A64344-8762-4B34-82FD-E9EA3BD6F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e78f0d32f4e8b2ef1c9ba9a53a5db9ca8506e1d","datavalue":{"value":{"entity-type":"item","numeric-id":28167,"id":"Q28167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789031$DE6574A0-6B61-4A7A-B51B-01E7D7D950AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc6457699f88d97246e85294ca204f69ca2918f4","datavalue":{"value":{"entity-type":"item","numeric-id":28140,"id":"Q28140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789031$2BBE3436-8081-4628-A626-A6F8564C6425","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":"Q2789031$070624E1-01EB-4DBB-8C57-F687BFE67284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a075d8ed97c8597b684cf8ec05e1841c7e9070a8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12736-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789031$F915A786-A2F6-4880-A9C9-05B563E82C98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c5125f41a39663bd4d1203f1d7fd7971a183249","datavalue":{"value":"W22396832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789031$9124E426-21CC-4135-9F27-79A8A62D2946","rank":"normal"}],"P1643":[{"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":"2e76410621ba21709bdd7d8caf691d337a90b314","datavalue":{"value":{"amount":"+0.8013970255851746","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":"Q2789031$457CB46D-C7C4-4E5F-9786-1E9D8491E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae6d3573fc781820560c92325d71225a2df39","datavalue":{"value":{"entity-type":"item","numeric-id":2938038,"id":"Q2938038"},"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":"Q2789031$524D8F2E-8C97-48D9-866F-3B5CA5BB10AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea64812f024c6a67c2783350a36490e2408999a2","datavalue":{"value":{"entity-type":"item","numeric-id":2024371,"id":"Q2024371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a333f57338bbcaf5b2d7f826e8c78a46f282120","datavalue":{"value":{"amount":"+0.7683855891227722","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":"Q2789031$AA1143A8-7901-4AC4-9CA0-EA63BCDED1EF","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":"59c0e8fd6f3ddd05f632e43015c92f4fcc53a3e7","datavalue":{"value":{"amount":"+0.7675536274909973","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":"Q2789031$3643B07E-29CA-4068-BCC3-08E8EF368290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273ea9e0bd36686f4913d9f65e3eb46e9b3c7b46","datavalue":{"value":{"entity-type":"item","numeric-id":5166716,"id":"Q5166716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9600939fc0f278355bfc1087fb1223ca2ef505","datavalue":{"value":{"amount":"+0.7570427060127258","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":"Q2789031$26B8DA88-0A50-4357-9985-BFB92E2C5599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2789031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2789031"}}}}}