{"entities":{"Q2398437":{"pageid":2409180,"ns":120,"title":"Item:Q2398437","lastrevid":57898737,"modified":"2026-04-03T00:21:44Z","type":"item","id":"Q2398437","labels":{"en":{"language":"en","value":"Breaking symmetries in graph search with canonizing sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760753"}},"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":"Q2398437$A32B742B-18A0-4DB0-B247-3CA5A55561C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e7d9b80ce33e307e9841a9f60076145a2d7fae4","datavalue":{"value":{"text":"Breaking symmetries in graph search with canonizing sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398437$AF477796-AE49-41E0-BB26-6BC52B90DEA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5626a7ae9e431a58b5a621f2ad8f40294faa4906","datavalue":{"value":"1368.90137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398437$85391589-955E-4FE7-B4A5-2D69126801B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20034af1c0092172414a93c9027e855ad74f84b","datavalue":{"value":{"entity-type":"item","numeric-id":1648884,"id":"Q1648884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$FD2F44B1-F6CB-4BCD-A33D-6206D50319FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$4409172A-98EF-4222-A4DB-E67795C73216","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$1F9028A4-753F-4041-A8F2-9457D47C1C64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1d7c0d25932e6c783b5452f9f0c5ca5bd63b788","datavalue":{"value":{"time":"+2017-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398437$064B7D60-192A-44E3-A7F2-06419F981CBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa84cd5cfed8ebc8ba30c219fadc60fc0bfd69d7","datavalue":{"value":"https://arxiv.org/abs/1511.08205","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398437$3B2F1C63-A1CF-4B90-9FC4-0250D23D3790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398437$E67700A6-3639-4634-8DAD-C01F923C2CB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6084f776999ff550b42ee25e0751b4c1b27ee78a","datavalue":{"value":"6760753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398437$6915857D-D287-45ED-B928-B88990B96A6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee2cf1ae451ebae692f71a64d0d286b51b0f491","datavalue":{"value":"graph search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398437$605FB01F-E989-4B6C-8BB4-FD73AC975DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398437$215800A2-6C0E-4430-91F6-5E01095E6120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398437$3BAA1819-B522-4C70-B2A9-3165893B146E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$A5515995-47B2-40C3-AD7D-F66420C6C5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$B5AB543F-1EA0-4C01-BE6D-20011B5F2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b102a863af11783b12aae949286c5c2bf717c57","datavalue":{"value":{"entity-type":"item","numeric-id":25778,"id":"Q25778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$DEC69820-B00F-49E4-B555-DE9B4E55CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$D9C83C5D-C3C1-4E0F-A8AD-1B04441BE60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$FBC69D6B-1980-4B79-8B68-80F4E9450F8E","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":"Q2398437$C5E0F55E-BB0E-4445-B540-93BD00A1155B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4d73621f2c7ca8f7b129ea231fe4385b2366ec","datavalue":{"value":"W2270972703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398437$DBA45B51-33A0-4EC4-992D-215A08E05C4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd810baf1d71f6d4d8861927298902fb2ae4d31","datavalue":{"value":{"entity-type":"item","numeric-id":3816111,"id":"Q3816111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$7C8B066E-5B27-4A21-ACE6-95BF0F184D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172f92a1513368b17c4da4fa1f32b1b9ae5f62a","datavalue":{"value":{"entity-type":"item","numeric-id":3624016,"id":"Q3624016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$CB914BED-93F9-4679-8C69-1A542462D55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1566092eaac98086af8183e95b5f106ed52094a","datavalue":{"value":{"entity-type":"item","numeric-id":4894617,"id":"Q4894617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$B1E203E4-CD10-4979-96D9-23F60A75AF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1563b02e7df64a49f6b4d3bd3590fea97ffbe589","datavalue":{"value":{"entity-type":"item","numeric-id":3815349,"id":"Q3815349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$864948E5-FBC6-4974-9C86-D1010FB48410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3037b0c9ae18e7d3e9cde68e53c45cf9013e3a8b","datavalue":{"value":{"entity-type":"item","numeric-id":2331101,"id":"Q2331101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$97222B83-E4C6-41A7-8E1B-163B83AC97D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73082b3c73fd5bf9b426e379b4c4504a1d3b767","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$048C874B-957B-466E-8F5C-F1351750AA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f01d94c55ba905f873c6ebf2ce0860aeb02f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4198513,"id":"Q4198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$E0B60C38-09B2-4F2F-BB71-412162010D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bb79a60e934b34e337041744c8c5c846ed98b3","datavalue":{"value":{"entity-type":"item","numeric-id":5897205,"id":"Q5897205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$93B9381C-2B34-43BC-BE53-3E09554C552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b42d0a480df3d4b86ca73efaacef4de72e12661","datavalue":{"value":{"entity-type":"item","numeric-id":1356710,"id":"Q1356710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$D8E77255-E382-4829-A454-A820AD62CE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c380d2417527e371b1f73a16a203d8d5efa1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$D348443E-5340-4B5A-A10F-5BC5DD53AF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ff6f5d0c049211bbb2b27735c772bc25d865fd","datavalue":{"value":{"entity-type":"item","numeric-id":2891455,"id":"Q2891455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$0759E288-9A98-452A-B4D2-F432AAA2886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09cc56a97266270bb804f11b5fc19c134316d46c","datavalue":{"value":{"entity-type":"item","numeric-id":596483,"id":"Q596483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$5E6867AC-7AE5-4FD6-AA19-6847A1FFE3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d205c7cdb3a7fdafed1a35935efbe3fe8a3f01","datavalue":{"value":{"entity-type":"item","numeric-id":4386451,"id":"Q4386451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$5B6F3757-693F-4F31-8A2F-0D19A9ABC7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b5864de56fa8979382698b184d84ce9a3159","datavalue":{"value":{"entity-type":"item","numeric-id":4698081,"id":"Q4698081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$8A5788B5-02D8-4D9A-8421-682A4278FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$80CBF277-C650-44F0-8D2E-F684E7293314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da81d4ce0df58ebb6e1c7a47e6b95b7dc369590f","datavalue":{"value":{"entity-type":"item","numeric-id":1379158,"id":"Q1379158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$88881D96-D5A7-41CE-BB74-DF960B3A5163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b40d6bc065ab5a3b1d916a6dbfb213e2ada9369","datavalue":{"value":{"entity-type":"item","numeric-id":4173359,"id":"Q4173359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$88C63350-F7D3-43A1-B10D-D217BE7D3EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6fed7ca798266fe01e4eba40687302aa10d0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3924228,"id":"Q3924228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$B599EB3D-C633-41D1-9A2E-272E1FDF0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f3a693dc2c5e8aaf024bdaafcc9a4aee6c74f6","datavalue":{"value":{"entity-type":"item","numeric-id":2643299,"id":"Q2643299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$C2335DE0-55DF-4C0D-851C-19D0F4EE4572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5c4eeaf1e060d17e19d19a70f2e0c1fa4d05ac","datavalue":{"value":{"entity-type":"item","numeric-id":3524265,"id":"Q3524265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398437$B0D8C4BF-87F5-41C8-92DC-F3842F27AA35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248a9f7ff02cdeb91b079caee02a422cbb8e005c","datavalue":{"value":"10.1007/S10601-016-9244-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398437$31537773-B63B-466E-B4B8-67065868304C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903c5218a697e12cf47021750c99ed31ec467089","datavalue":{"value":{"entity-type":"item","numeric-id":2331101,"id":"Q2331101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c31d20dd6681e49c8c0e62c6cd240c3ea2c77a5","datavalue":{"value":{"amount":"+0.891315758228302","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":"Q2398437$EAC98DB5-9830-4C10-BE8B-9EB393BF732A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761f91a92e0791515b60b57a6a289260df1eb646","datavalue":{"value":{"entity-type":"item","numeric-id":2643299,"id":"Q2643299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d94d6283a9818334f4bd9a3effe63c66d8bfd7","datavalue":{"value":{"amount":"+0.8327381014823914","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":"Q2398437$BCDED209-C188-4D23-BF01-5002B46D862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8dc0e13fb2bfcce1fafe1811bbe898bd968e78","datavalue":{"value":{"entity-type":"item","numeric-id":1648885,"id":"Q1648885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed825f5f2e57c39606cd45781beadf7675f10ca3","datavalue":{"value":{"amount":"+0.8172754049301147","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":"Q2398437$457F220F-BAD8-4CF5-B54E-3813E39D4530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a29ec55291410faf93fdd4b71d7fb21b68a8f39","datavalue":{"value":{"entity-type":"item","numeric-id":2009225,"id":"Q2009225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112444894fe6f37a0a42aabdeda553436cb86bea","datavalue":{"value":{"amount":"+0.8137006163597107","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":"Q2398437$66A88BF1-CF5E-4BBE-86F7-81412E7F378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b043a26658861fb9da2e2687751ba68eb339eac","datavalue":{"value":{"entity-type":"item","numeric-id":1774518,"id":"Q1774518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4eaa99fea0f1d683b985919fff68e8a860386e8","datavalue":{"value":{"amount":"+0.7988463640213013","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":"Q2398437$A10721F5-3A44-418B-B4AC-256788591EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2398437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2398437"}}}}}