{"entities":{"Q2981979":{"pageid":2992704,"ns":120,"title":"Item:Q2981979","lastrevid":85463315,"modified":"2026-06-03T08:25:24Z","type":"item","id":"Q2981979","labels":{"en":{"language":"en","value":"A fast compiler for NetKAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713878"}},"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":"Q2981979$020463D1-01E1-46CE-B805-D52340BF946A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b7a7a9d32ed675e9123a253fffc0b4f1257cb71","datavalue":{"value":{"text":"A fast compiler for NetKAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981979$ACA1C679-281E-410D-B426-02A30283DD1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df6b4c3130c0d1550f484bb42d49c264accaf35f","datavalue":{"value":"1360.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$EA9CF28B-FF88-4C24-8CEC-C9311B83A3AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63bb3a526a746d80a73fbc70c72c010d48932661","datavalue":{"value":"10.1145/2784731.2784761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$FEC76CE6-CB6A-43B5-A61A-8B6B5EEF60A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aba1902e572f1c009b0bc454c491a3ec1dfdc47","datavalue":{"value":{"entity-type":"item","numeric-id":287338,"id":"Q287338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$4B769620-AF39-406E-A3EA-F1265437F4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ab13b3809099ba7933bed6e03f09a750d204981","datavalue":{"value":{"entity-type":"item","numeric-id":2981977,"id":"Q2981977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$BE9FC2A2-EFCA-4E12-B104-E858C11FA43A","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":"Q2981979$E322BC67-BDD2-4D12-82B1-AE6B9F7A5DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12eb976133c3f2af636c640a665bdd374111f84e","datavalue":{"value":{"entity-type":"item","numeric-id":2981978,"id":"Q2981978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$900B38C3-C92F-47AD-995B-A88E442CB1EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$85DB2BF8-FBB6-459B-975B-DC751613F319","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981979$684487D8-F9CF-4BCC-BCF5-C0EFE1B5C2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3600c1ab641252f8f7789da4b6aab22dcfd20c","datavalue":{"value":"https://arxiv.org/abs/1506.06378","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981979$87F48B8D-27A3-4BA9-85AA-8ED4BAC06637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$CEA89C6B-1B2D-4413-A7CB-38B8EF7AA960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$42251E19-69F7-450C-8DD3-1A66FB804049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$6E3F8ACB-C9C8-435D-B1C8-0B52C0268385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f99297d811b8222695a2f0f93c912ff6157aa91d","datavalue":{"value":"6713878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$EEBB428B-8390-46C1-A98B-3A7E77F39ADD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbf8447cde2bc85a216d99beab40fe1bf89b410","datavalue":{"value":"Frenetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$3B2A56E0-09BA-42BA-85BB-31EB3A949A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$6530A8AD-536E-41F4-8789-4AE82BC1B5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a4749a8e623c7ecfb87ff8e7c5cf4681ce14e4","datavalue":{"value":"NetKAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$957F9DEF-82CA-46B6-8B0C-6D3EB1CE392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180fce5d659c1b91ea4311ee2460336c8f2a0a3b","datavalue":{"value":"software-defined networking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$E7EDBCAC-7AA0-4A49-8FF8-071BACE40D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$34DBCB75-AC06-47E8-A470-255E1B76BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$0B3387A6-7CAA-4036-846F-692CEE750481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ce4e8ab32db80ea999503e5d4fdcc4fe91bd97","datavalue":{"value":"virtualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981979$F7FA3FD7-C8B6-4CC6-83ED-64800BC062F1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$DEEF76CB-24A0-457F-80C4-F82A6FD165D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31b40de0a5d3e8293459d6e897d28aea6b5c0f57","datavalue":{"value":{"entity-type":"item","numeric-id":31847,"id":"Q31847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981979$7ED6D512-470E-4B12-9E01-C6AA9B3C5586","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":"Q2981979$8A1CB3F6-2D4D-4E88-9AD8-5553227FF7E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"000e14abd08b3812b0a31c49685d01bd7ebc3b82","datavalue":{"value":"W3098828539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$B4EF5BD3-243E-4A0F-B963-F9B081844DBF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a00d2ea82d30ff6501ff3ec860a7b4983997e062","datavalue":{"value":"Q130846226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981979$31340438-E15F-47C2-89E0-F2C4DF224A00","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":"aca132e91ca9cbde5d78d98002c91975dbea8f62","datavalue":{"value":{"amount":"+0.7557879686355591","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":"Q2981979$0B8BEA6C-C51A-4C9E-AE93-E51EF400699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dac4956cfaab30c8308cf98bf9158be598456d5","datavalue":{"value":{"entity-type":"item","numeric-id":5176982,"id":"Q5176982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd3ca05de78ce6dc7ab6c980fb1b49eb1278499","datavalue":{"value":{"amount":"+0.7452638149261475","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":"Q2981979$6ACAA3D6-331F-4D8D-8D6B-5331A19938F0","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":"c8a329bf5ed4132301d980133d04f43f941c5abd","datavalue":{"value":{"amount":"+0.7406758666038513","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":"Q2981979$BCFC14D7-6B45-4A16-B29E-62E8270491C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0749e684900d7f2c6ebee6ef924190086b993b87","datavalue":{"value":{"entity-type":"item","numeric-id":3174943,"id":"Q3174943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5866cd15b95553ba9f00e5fdd47e89ae5ef91217","datavalue":{"value":{"amount":"+0.7073137164115906","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":"Q2981979$04CEAAFD-0644-4C7D-A28C-9621CDFFE1D3","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":"1171e9ece52a8cf6e63b9b626a2d1b9bbb80786e","datavalue":{"value":{"amount":"+0.7064235806465149","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":"Q2981979$D3C46226-2277-43FD-BE97-A968CC0B9C3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast compiler for NetKAT","badges":[]}}}}}