{"entities":{"Q6610196":{"pageid":14221353,"ns":120,"title":"Item:Q6610196","lastrevid":57325695,"modified":"2026-03-30T12:29:30Z","type":"item","id":"Q6610196","labels":{"en":{"language":"en","value":"SAT modulo symmetries for graph generation and enumeration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918249"}},"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":"Q6610196$AC11318C-69C7-4183-BB1B-E60E6941DABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa6f16737905f204b5c5561b598ed06136123d5b","datavalue":{"value":{"text":"SAT modulo symmetries for graph generation and enumeration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610196$59DB81B3-F734-4EFB-9AE2-56565E47EB91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5f9a8d81dc302b25caa9346f6e758f099f260e5","datavalue":{"value":"10.1145/3670405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610196$630384E2-32EB-43E6-B730-42F5B0EF5BB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75813862171db859b2bf373e53de3e92a7ecb175","datavalue":{"value":{"entity-type":"item","numeric-id":2163791,"id":"Q2163791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$6FA2C8E8-14C9-4C57-AF5C-FD92E0FF8816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$F74BA8D4-2961-46BA-A3AC-296CA26C67AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$FEA8B269-70F9-49E8-AA97-F1C994EE4F4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6610196$2F2C4525-9F88-487F-81F5-4AF670005A79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610196$F3634518-D25E-4004-8451-BCD9F9EC81D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610196$9A539C23-29F9-457E-A007-25F105ADABEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d867a082965031f1e3dec7d35c66c0a7a8e3a8d","datavalue":{"value":"7918249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610196$9EF61F2C-5FFC-452E-84FB-2536437B66C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd06d6f7bd15549f7ab47223c4c739ccd1399c9","datavalue":{"value":"graph generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$CA41848E-6C05-4ADC-8A85-870F1D9BE325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab819c768c1fef56291512f7c86359cc5ff46ac","datavalue":{"value":"dynamic symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$0B61E9F7-E2F1-435A-A91F-30795D8B3FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$CE21B9A5-FFEA-42B0-99F9-440CCD3B3B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed5607bcf9ea8dfa99691a6445086cfefb466c73","datavalue":{"value":"Ramsey numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$FF490E38-056B-4260-8C90-24C452DE8850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013a665df3872df6518b386ba286fc369d4eed69","datavalue":{"value":"extremal graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$2EFE46A9-89BD-433B-810E-19024F0A4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4b43026cf0593bbd8efb0b442ae54d8df14424","datavalue":{"value":"Murty-Simon conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610196$4F85920F-51A4-4F14-94A8-778497F6AE6A","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":"Q6610196$A596678A-E452-499E-9D8E-6CA3FA883475","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"163af6556dff4f75a9fd9afc8082d2b39c09d4f9","datavalue":{"value":{"entity-type":"item","numeric-id":2341706,"id":"Q2341706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$BDDF7B44-2D60-447D-BF8A-F4B7B396DA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9d2950e68864b3a4ab51273613cd4377acbc4","datavalue":{"value":{"entity-type":"item","numeric-id":1871971,"id":"Q1871971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$2B7BFA0D-493C-4984-86D3-99FE1DDF6186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5899e3e12a743d53573a910fcbfa636f0f6c8e3","datavalue":{"value":{"entity-type":"item","numeric-id":3852212,"id":"Q3852212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$9EB3466A-4823-44C6-814B-C76163E0F45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812e529c70f52c3cf1a7cc80fe1d6bcaad05213e","datavalue":{"value":{"entity-type":"item","numeric-id":1132894,"id":"Q1132894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$CAB61470-DE98-4D9E-B41D-DB196E59C02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a7003b598065711aa193788840d780b8ba26e1","datavalue":{"value":{"entity-type":"item","numeric-id":5711697,"id":"Q5711697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$AD90A3B0-D885-492E-B4A1-B4284E5327EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db50e20e596d591e93bd7f130874af59f517fb73","datavalue":{"value":{"entity-type":"item","numeric-id":2342601,"id":"Q2342601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$8E6386E5-F449-4CA8-810E-74A7C5E9300E","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":"Q6610196$7B0E0563-D7E5-422D-83C9-057DD2697A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$4F30F236-546B-4854-81DA-C95A02FA92E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429dcf7668c9ea1dcb1fef5937cbbcb868bf31ae","datavalue":{"value":{"entity-type":"item","numeric-id":2324502,"id":"Q2324502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$836D5543-B88A-4E91-B243-714A1C8C21F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3497722a7df13a215a26d34358bf47ddc9376233","datavalue":{"value":{"entity-type":"item","numeric-id":1680245,"id":"Q1680245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$817899B4-884B-4842-9CCD-1995E3FD5B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b838c339abe9b7955a5bd9fae4f3165650edbbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$3DCAB68E-789B-4B01-9627-08415ABCCBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f516b6de11a5fd640a58d2a747127d6cbefd13b0","datavalue":{"value":{"entity-type":"item","numeric-id":5339970,"id":"Q5339970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$E4FA55BA-5D7C-4B88-88FB-61D218E3D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae11ede7d3f046437167144cb37c388473823b8","datavalue":{"value":{"entity-type":"item","numeric-id":4475624,"id":"Q4475624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$9FC188BC-2360-44D4-9EE6-B67690286354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ea1a04bb6217c38dcb9e038ffe038761637779","datavalue":{"value":{"entity-type":"item","numeric-id":1096642,"id":"Q1096642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$E8E94356-458F-4A61-893F-72987E906DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b370ff9c08ff8547f00c67a9a28c6facf0878e13","datavalue":{"value":{"entity-type":"item","numeric-id":6643080,"id":"Q6643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$8F33FC64-5D6F-4E2C-9C1D-A67532821789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3252893787b2e553bfa3dc8863eb8e0b70082a99","datavalue":{"value":{"entity-type":"item","numeric-id":4271621,"id":"Q4271621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$D795BE82-91DE-4209-9C67-54BCE4D29186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$2D6CD586-32FD-46E4-B369-078A1806B11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4ad4df945a17d4e57c159f7efd2f6e7836c540","datavalue":{"value":{"entity-type":"item","numeric-id":403217,"id":"Q403217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$798AEA47-2DA5-48B8-BCDA-77A9C2B63289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68683efada120cb1917aaae9f7ca369a0ddc9c9f","datavalue":{"value":{"entity-type":"item","numeric-id":498431,"id":"Q498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$547B6E36-BD0B-4DEC-9597-5910457ABE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384fb42752ff831de5994aaeafee0dbb8d8e7e88","datavalue":{"value":{"entity-type":"item","numeric-id":2009225,"id":"Q2009225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$DE48298A-0B00-450F-B066-A160DC61DB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97ba6c062b7a14351fbf8c35ca5234c5ef9c400","datavalue":{"value":{"entity-type":"item","numeric-id":2398437,"id":"Q2398437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$128C9361-F149-4550-BF5E-2C6AF6A966CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb2e4508408971b860ce098efc3c6dcf082a05f","datavalue":{"value":{"entity-type":"item","numeric-id":6057256,"id":"Q6057256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$29C080B5-241C-49FB-8344-FE4A5F2D8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de1549efa5ee7657868b8061f6b1d6f4896262f","datavalue":{"value":{"entity-type":"item","numeric-id":6643089,"id":"Q6643089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$37832F5A-058A-4971-8980-B9F9F5BCF047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e3f53b95f23e39a6950db54aee379b80cfaeb8","datavalue":{"value":{"entity-type":"item","numeric-id":6572015,"id":"Q6572015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$A7B04BC1-5F90-434A-BF37-992DBECAF21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afc191479b17abe7dbef89536e4044993f3bdd7","datavalue":{"value":{"entity-type":"item","numeric-id":6643090,"id":"Q6643090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$520D39CB-1132-41BB-B8A3-1A10C8E9B80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee66495d9cb2d261427b33b10b50bb0eece28e6c","datavalue":{"value":{"entity-type":"item","numeric-id":905895,"id":"Q905895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$DBA5967F-8363-453C-B350-F19CCCF3384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b513b3ca63e36107fd22dee455332af62a25","datavalue":{"value":{"entity-type":"item","numeric-id":1495088,"id":"Q1495088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$598FB8A9-A399-4270-933F-4423A7848D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444099efaae25629d44930b0575a42c5cde1a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$54BD7AEB-AECF-478F-81A3-AA4E66722933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$1669B363-0C0E-415F-859A-4A038E1A28DC","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":"Q6610196$A9D1DFA1-44AD-45F5-973C-7791EF264984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72134ad5560789415f5eda9cb14c0475fac3c29d","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$E4D8F437-E7AB-46B7-8B6F-67CC9E1DFC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101e87f8e1f935a1a9938d652d6afc09ad82a142","datavalue":{"value":{"entity-type":"item","numeric-id":4911128,"id":"Q4911128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$FB084299-A554-48EA-8854-878B284405D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbec2f6cfe40cf2409f2d969234bfa51a8f45f9a","datavalue":{"value":{"entity-type":"item","numeric-id":5897217,"id":"Q5897217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$AED512FF-434E-415F-A4BC-D53A9B4DD106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c571423fc795d1f4ba9cbbd6d26f2561165df37e","datavalue":{"value":{"entity-type":"item","numeric-id":1834559,"id":"Q1834559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$A86D3084-D439-49EC-A375-AA50E45A9735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b2f70116abffc6de3d10b38f300653d0038b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3637171,"id":"Q3637171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$EEBC376E-EFD7-4589-AD88-BCCAFA468F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b153e5a80bf4f1e7e80b5451ffb31ea50cf06d","datavalue":{"value":{"entity-type":"item","numeric-id":1026123,"id":"Q1026123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$4CA8F45C-834D-403A-BF92-E8D669179CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193e07b4fa7b6e3baa94e89c94347c637c6c7190","datavalue":{"value":{"entity-type":"item","numeric-id":5937924,"id":"Q5937924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$200AA25C-1003-408B-A135-9912A1746B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de4604007a692ec2874de880cf804a27f090b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5110817,"id":"Q5110817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610196$4C5A6E18-F279-4FD9-8EAE-882D431AE866","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":"Q6610196$8D89AE16-012E-49E6-A616-7D99E39342CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6610196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6610196"}}}}}