{"entities":{"Q2226729":{"pageid":2237472,"ns":120,"title":"Item:Q2226729","lastrevid":78348599,"modified":"2026-05-06T11:22:48Z","type":"item","id":"Q2226729","labels":{"en":{"language":"en","value":"Towards model checking real-world software-defined networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307962"}},"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":"Q2226729$437DF5E8-12C3-4C7B-AA45-7D2F5B7E1AF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aba2210d303318a90f46c291cbbf47b8efed8c8","datavalue":{"value":{"text":"Towards model checking real-world software-defined networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226729$F00C5812-42BC-4594-8D72-69760DC49F64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d947dfce2aa7aa9042bf029ace69ed09ad0b8ac","datavalue":{"value":"1478.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226729$11C332BC-F286-43B8-A15E-8A758E76C0CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e2ca52f85f9b41da17360c8f46b6b0530598fcf","datavalue":{"value":"10.1007/978-3-030-53291-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226729$681170D9-C74D-4B02-B24A-4B71EA6439A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"636a87275b3709f3dfd07928e9796480e59dcf80","datavalue":{"value":{"entity-type":"item","numeric-id":2226727,"id":"Q2226727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226729$7DAAA8F3-6A40-4389-A795-0BDF9D4AB93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5e10dc7483cda4af798b1d0341be84852fd2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2226728,"id":"Q2226728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226729$5367C357-85C1-433E-BF3D-146B0FBCEDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226729$B2F3D446-C57F-4A74-8638-FAB25A8694C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226729$55298131-1922-49DA-BBCA-3A7C2808DCAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"928efd709ec516abf6583d5077c6ad6b98d7612b","datavalue":{"value":"https://arxiv.org/abs/2004.11988","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226729$FD227351-5049-4410-A1E0-E76845F42669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226729$B04C17FA-2331-4D61-BFFA-DDB42229FA2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e5b3defb8025b21849162c501124af40fcdffae","datavalue":{"value":"7307962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226729$523D90B5-2E99-4308-9972-9D9F3E96D2B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226729$AE549992-FB4B-4DCA-9191-D2F4E0AD06C1","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":"Q2226729$081BAB75-C4E4-49CD-9A6D-83A32B737513","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41862029b1a72382fae7db3d7b5d50a07e931f0b","datavalue":{"value":"W3046921229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226729$41DF13B0-130E-4251-A2FF-7EF628858ACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44cc6a53bd90cebb6a27d0feb69def5f383a5c72","datavalue":{"value":{"entity-type":"item","numeric-id":1996852,"id":"Q1996852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ac1d1bfc74c53d7d32630b7e32fd6b8d3f6829","datavalue":{"value":{"amount":"+0.7911299467086792","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":"Q2226729$7FE4C685-D6EC-4CB0-98A2-778D949EBE6D","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":"a34fc7787d24064da50bd7fe09172c2c2a8b85fa","datavalue":{"value":{"amount":"+0.7820074558258057","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":"Q2226729$C863033F-6C9D-4248-A039-81E01853FF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c592974f306693848ab1575ecb560a79b74b73cd","datavalue":{"value":{"entity-type":"item","numeric-id":2164231,"id":"Q2164231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1113c29075be8fafbf61cbe7647cdff046faaace","datavalue":{"value":{"amount":"+0.7482635974884033","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":"Q2226729$2BE41066-6055-45FB-BBF4-D8CB99A44544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe47462df0753aa6122f697838d0966d90ffe5f","datavalue":{"value":{"entity-type":"item","numeric-id":2819856,"id":"Q2819856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450c30df76b6ff74a6ea4dfc3a61cd9b1900a339","datavalue":{"value":{"amount":"+0.7295875549316406","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":"Q2226729$6D1AC505-4A54-45D4-BCAA-93D6E4768D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d392229acb34618b852d25b71355f8ec62402a49","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431755532b0f670c1b4c90758739dc5168f1c934","datavalue":{"value":{"amount":"+0.6978855729103088","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":"Q2226729$A4BD78B4-B198-43F5-840E-6414960CF560","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":"Q2226729$F4552B25-6934-44C9-B040-38B3A9F316C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards model checking real-world software-defined networks","badges":[]}}}}}