{"entities":{"Q2828246":{"pageid":2838984,"ns":120,"title":"Item:Q2828246","lastrevid":52656227,"modified":"2026-01-23T05:06:55Z","type":"item","id":"Q2828246","labels":{"en":{"language":"en","value":"Scaling network verification using symmetry and surgery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642943"}},"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":"Q2828246$A6494C3E-83AE-4EF5-848D-5925353F9BE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcfd3e5d23a8ff18d63017c9d845c34d39e1c2d8","datavalue":{"value":{"text":"Scaling network verification using symmetry and surgery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828246$59699A41-61FE-4F1D-98D7-7A90372F5884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f9c0eeba661ee55de0f7960630c44fa1b14e9fd","datavalue":{"value":"1347.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$0273B74A-72F8-429A-A850-C44FE47F659C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d6aecf122dacbecaa38427020dcc334e582f6e3","datavalue":{"value":"10.1145/2837614.2837657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$05D5679B-63EF-4520-BDB2-5CDBC204BBB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$26C95073-3878-4ECD-93B4-F09846817465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dccbbb4c54e7b50e90d7a9883e3f553476c899cc","datavalue":{"value":{"entity-type":"item","numeric-id":2117193,"id":"Q2117193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$6BB62C1E-E2F2-4A8F-8936-F07441F31033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$2B80894C-11EC-41DF-BA93-39A0CEC6A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28674e656cbaa7b3da6ff5d5914db19d81892831","datavalue":{"value":{"entity-type":"item","numeric-id":673476,"id":"Q673476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$8272953C-D3B9-44FF-A244-E4F51DEC058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$49BEA42D-FD9B-4A11-A742-2E3663D73428","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828246$B1B6AE63-1876-49CF-BFB0-D2FC0BC8D84A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828246$DA711CE2-21A4-4B04-BA83-49AB782C201E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f8e68aa4af3d5e3dc7e96d3e8a25528f6e42e75","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/23194728/symmetry_popl15.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828246$5E13306C-0AD5-4257-8969-F8F45CF132D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$1966697B-8826-44F5-ACEE-2C5C5F409F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$2192CD0F-FA7C-4F06-8BE2-DBD20C60891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$0E42911F-5F92-475B-A822-974C0A47F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$97AB92B7-3F6F-4687-92B7-871B38F554CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$0AB9B872-4A61-4CD4-9E05-AC621D092B55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27a5d1f64abd41031598d8c01ff2fe3b1cd3c137","datavalue":{"value":"6642943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$ED8FB21A-66C0-40FB-AA1E-11A15A24D474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e353efd8ce15d6c0c5cfccc608c0047fa46723ad","datavalue":{"value":"network verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828246$DC582A14-4A7F-4B92-83F6-4FA828F669A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828246$FAB52E83-6B36-434A-9212-5F7B72C7969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77f9655f91e78614e2e5b6e37753d7aaba8e2a2","datavalue":{"value":"symmetries","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828246$C676F1EB-65BF-4569-BF97-C345BDCC8CC9","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":"Q2828246$080BBE24-A535-4428-B5A1-06316A00E3C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c849b2de1c9fec3d13f4928f3c0ff01495796c36","datavalue":{"value":"W2278179621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828246$75DBABEC-A5D2-43A0-B7F0-729D853406D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e72a8206dc0e087f5c29c62775993f5a26de89","datavalue":{"value":{"entity-type":"item","numeric-id":2324237,"id":"Q2324237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a972907542e18ac641c568f131f6ec21df2f9747","datavalue":{"value":{"amount":"+0.7172163128852844","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":"Q2828246$B726153C-B962-44CF-AABF-913AECFC67C3","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":"5d636683d50ba7a7caa8f3de3c2273be3220ef44","datavalue":{"value":{"amount":"+0.7148891091346741","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":"Q2828246$10ED6750-2633-454E-A458-92710D91E0F7","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":"fcf89b4155cff450eda5389ee8199bac3ee7a469","datavalue":{"value":{"amount":"+0.7097619771957397","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":"Q2828246$E734042E-36C0-443C-BED5-2BB819A3031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8862a4b0286a93be13e8095c4c5ed9adabdac47d","datavalue":{"value":{"entity-type":"item","numeric-id":2335903,"id":"Q2335903"},"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":"Q2828246$CB885090-EAFD-4C48-B3B2-D9DBD9F9F5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf1f5e6c0baa3022ef570152036ae148eeb5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2789031,"id":"Q2789031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df9011c958e25331cfaaf945397b4ab23a5a337","datavalue":{"value":{"amount":"+0.7030048370361328","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":"Q2828246$29FD26AE-D834-44BF-AD01-151B36D2E48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828246"}}}}}