{"entities":{"Q2335903":{"pageid":2346646,"ns":120,"title":"Item:Q2335903","lastrevid":71877372,"modified":"2026-04-14T01:07:50Z","type":"item","id":"Q2335903","labels":{"en":{"language":"en","value":"Some complexity results for stateful network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7130923"}},"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":"Q2335903$BA0D123B-1F4B-481D-A6F9-010FE0993961","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc3b4d215dd9a6299b7372ebd09797132de5ef8","datavalue":{"value":{"text":"Some complexity results for stateful network verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2335903$9538982B-C699-435A-9B1B-15F1CFBD349B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"110fef6cfde2059beb31a9bff09065f846b05cfd","datavalue":{"value":"1425.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$13DAEB32-731E-40F3-BF2C-0DE9765AF3B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abc5734fa4825a1dec1a5c49c30f70477c976efe","datavalue":{"value":{"entity-type":"item","numeric-id":2335901,"id":"Q2335901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$8EC1352E-1212-484E-A9FA-2917A78D8BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f543bdd285aadff871c6fa257a8b8405a59d0a2f","datavalue":{"value":{"entity-type":"item","numeric-id":2335902,"id":"Q2335902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$97E56E34-1CF3-43C3-A847-19B61725391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$F2AAA534-3F6B-4944-AF24-10775EB1D70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$C0B681A4-CF69-4D8A-B157-2061992C98E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$8A2F1651-7BF9-4BFB-9802-D8ECF20ECD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bdf04a2eda4f33adea02eefb05fb5ab89217254","datavalue":{"value":{"entity-type":"item","numeric-id":2164235,"id":"Q2164235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$4FD043BD-7C3C-43F8-AF51-F1394259DED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b05069ff8255d6e6030fcd980a03b16b4fc33e41","datavalue":{"value":{"entity-type":"item","numeric-id":1077033,"id":"Q1077033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$68F5BE0A-7965-4AB0-B38D-A06658ECE562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$78445C3A-17F8-457F-A38C-30DB8A040912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"744ff5ba1d34b10b10a5d42b057822c6d7abb013","datavalue":{"value":{"time":"+2019-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2335903$8936A7CB-446C-46EA-89E1-D7249962A7BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebeb55d4f566a19de40de91823c2a0d5f9edaf6e","datavalue":{"value":"https://arxiv.org/abs/2106.01030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2335903$04E4162C-47B1-4A47-9EB3-F8C783DA5A41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$2746892A-8E94-4ADA-BCE1-5C1D6B55A06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$CEAE58EA-9186-4BE7-BB55-C7380729BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$BE9DB7D3-7CEB-492A-AC55-288C02C9757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$85769126-9A4F-4353-BAAB-3BEE13DB78C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6b5c8220716eb5d6f240f553497f908d26b0df","datavalue":{"value":"7130923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$20DD5834-BAA5-4A8A-8FFE-F60C24BB450A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$D5825AAD-2CE7-4D21-97C9-90CC2EF69356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35df9c8388db4673f54194993c493763bf1edcfc","datavalue":{"value":"stateful networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$596E3E9C-185C-4333-A7DC-B40A59A89B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60516cb014c0bcba1f687545cc94119ce274644c","datavalue":{"value":"middleboxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$D7D96153-E5E4-42D7-ABAF-E43C9307B4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6420e60bdd24720930b2620bafdd9b18e4a128","datavalue":{"value":"channel systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$BD5D7307-0C70-4DE0-B0D1-DA11ECC641E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$A52A5E6F-D922-4A67-ABBD-7DC716809B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"900449d9c111228b32b61aefc4917c5119284013","datavalue":{"value":"complexity bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335903$2F94F03C-5173-4BC5-AF74-6D4FC0050457","rank":"normal"}],"P1463":[{"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":"Q2335903$FC9D9D19-0316-43E2-AA2D-A9E912871BE4","rank":"normal"},{"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":"Q2335903$898A7334-3841-40A2-BCAB-844D5DAAC6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$77908AF1-A0E3-494F-9D14-E2C996D5493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56ceb64a2172050a7fe8f196f42aafd1238c492a","datavalue":{"value":{"entity-type":"item","numeric-id":36971,"id":"Q36971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$1BF79CDB-FBF6-4236-9861-B29AC98C2F9E","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":"Q2335903$3D0E3612-3C25-4351-BAD3-7EA724DE261E","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":"Q2335903$3905982D-DD2D-4C6F-B731-4077A081BCB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e9de82b248641f823430b79f20838cf51c26d56","datavalue":{"value":"W3170946043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$76312121-6F5B-434E-AE42-491983E033C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$F30AAFEE-8339-4CAF-9003-32CD4D9CD216","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":"Q2335903$09A76E7A-9E61-42C2-8BBE-644141F7863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$28C2B0BC-C5AC-432F-AB17-7A8D893EF7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$77247AC8-CFBA-4C3D-806A-88D5ACCC01EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$CD1EEC23-F667-4163-A569-AE17D12BBCB8","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":"Q2335903$4144366E-FF66-40B1-ADC3-1ABA9057440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$5591D067-278A-45A2-BA55-4D6CF1051508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$8F045B2F-CB89-482D-95E3-F0BEB9D20935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d5dd2ea6e934c488ff6606e63dba48446e71df","datavalue":{"value":{"entity-type":"item","numeric-id":4133144,"id":"Q4133144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$85C1B876-1D22-43EE-96EF-E5B0F7B9E019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$80F6D0E7-0234-472D-8447-3EC972B00712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62e1d1356375b0666384d5e241c31f12cea0833","datavalue":{"value":{"entity-type":"item","numeric-id":2766586,"id":"Q2766586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$CC12A8F7-139A-4658-B730-B943FDFF637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03614393cfd083a0ec1d904cd9ce50b0636d0e52","datavalue":{"value":{"entity-type":"item","numeric-id":1853078,"id":"Q1853078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$9DC05157-B46F-48B1-B51D-947DCE37C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$EA1340C2-D407-4DE5-8824-91A1AF44C2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc3c8645a9c0549736cd3c1f840a5e2914c7516","datavalue":{"value":{"entity-type":"item","numeric-id":2335903,"id":"Q2335903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335903$A94C94CF-3A86-492F-88B1-69A169E82EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882908ef3a0d80c059f58e9e78852e7f13e83a91","datavalue":{"value":"10.1007/S10703-018-00330-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335903$1D993401-A170-4F34-B9B5-A457E49BE74D","rank":"normal"}],"P1643":[{"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":"29cdae077f4eb83dd795bad46cffe1964a048ccd","datavalue":{"value":{"amount":"+0.7077383995056152","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":"Q2335903$8777ACC4-CD64-4CF7-9413-9FE237CBD327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c32baee8dae8caac81605cd100811e146064b41","datavalue":{"value":{"entity-type":"item","numeric-id":2234099,"id":"Q2234099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b326b4029416d9a9af0a5f505458910071dc457a","datavalue":{"value":{"amount":"+0.6910965442657471","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":"Q2335903$0A2785A0-CE40-4795-AEB7-69AB243C927F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae436d9585bbf3571bf8cac098212fd99f8b71e","datavalue":{"value":{"entity-type":"item","numeric-id":2568446,"id":"Q2568446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf73dca24a6ad04998f75f0e68f5794977b3319","datavalue":{"value":{"amount":"+0.6806806921958923","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":"Q2335903$2B1DF242-76C2-4102-978D-F37FBAE84F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8417069816bf63c12f47d43777f723b0af5355b","datavalue":{"value":{"entity-type":"item","numeric-id":4813415,"id":"Q4813415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06211d755e4d7b1a544902277a1a2739666b63a8","datavalue":{"value":{"amount":"+0.6794529557228088","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":"Q2335903$C40BBD57-3518-4AC7-AC85-96928973ED96","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":"d1077c7774389645fe603834bd46090873421a98","datavalue":{"value":{"amount":"+0.6791966557502747","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":"Q2335903$69D37DD4-78E4-4DDA-A283-F9290775B3FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some complexity results for stateful network verification","badges":[]}}}}}