{"entities":{"Q2643299":{"pageid":2654042,"ns":120,"title":"Item:Q2643299","lastrevid":50150885,"modified":"2026-01-13T06:57:58Z","type":"item","id":"Q2643299","labels":{"en":{"language":"en","value":"Generating effective symmetry-breaking predicates for search problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182372"}},"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":"Q2643299$82BB36A2-CC67-4565-9EBE-771557AB9ECA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4827801cccb67d3b3aa6e8f73b94df5d6d3e1ec7","datavalue":{"value":{"text":"Generating effective symmetry-breaking predicates for search problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643299$A63096B3-EF5E-4C88-9C41-F18671B9C600","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"105cca75ad9f96de949f39a729fbb1af0884c93e","datavalue":{"value":"1123.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643299$4380EA70-EF95-4AF3-8594-0DF6D7AB8CD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f6375daeb8e65fb1e2514cf51af034b0e089d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2643298,"id":"Q2643298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$3DAA6936-7930-442C-AE21-5A7D07AC64CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$4EB0FBCC-3AC8-4842-9608-D7CF6E73FAFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643299$FD09D682-7CF8-4044-AA58-1BD89378F5B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643299$1B336EC1-C425-41FD-A1E2-12A77DF6AA2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d618e4fa29404c530c22587feeab6fd22e5e04d4","datavalue":{"value":"5182372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643299$8957A322-5C16-4A1E-B664-03381EDCE11E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643299$62C1C990-D780-476C-B7CF-983B7362A14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bd35097b4a99ac4574823836f8a4c5b82b6fff","datavalue":{"value":"symmetry-breaking predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643299$6E0AC8AA-4539-41FA-B5C9-C39BB82F5FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f55078cae5a5cb388bbc07d3160830d026dfd21","datavalue":{"value":"solution counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643299$8CF3ACC9-5FEA-49AC-9AE9-BFFBDE0D0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d6971e005b6f4d22e5d988538f584446aa6da","datavalue":{"value":"satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643299$B7BFCABE-570E-4E4E-AB85-FB34993D3CC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9618f1966f868e8e3a428464ad18cf2f054ba57","datavalue":{"value":{"entity-type":"item","numeric-id":21463,"id":"Q21463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$89FC5FCE-FA07-48CA-856A-9A799152015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$FE6EAE5C-A2F6-49D3-B7DF-3F94C0C01273","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":"Q2643299$F477C89F-9798-4704-8550-B3D125FB295B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0d39fbf4f445e1dad8796cee3262d9800053e55","datavalue":{"value":{"entity-type":"item","numeric-id":21417,"id":"Q21417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$628CAC7A-69D1-43F6-95AC-C3EE7BFAE7B7","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":"Q2643299$CF4AD8E0-FD58-4656-B455-F901F3CEE207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e9934b5c7078d4a7aac30fe77ef910c9715c79a","datavalue":{"value":"https://doi.org/10.1016/j.dam.2005.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643299$A1E4E38E-B1C6-4E51-A0BB-2D84560F7EB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"572d2f094d0c81ad5f6c4b46bcf26df5d9fe24ff","datavalue":{"value":"W2112283007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643299$7336B803-5A49-4B16-868A-5E608E14D21B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"558ad0870b6fd2f5b50397b3a500b3d19fb3719b","datavalue":{"value":{"entity-type":"item","numeric-id":976993,"id":"Q976993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$188773E0-7A3E-4F2D-AD29-95B1671214AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f259603d3e1319acddc6bca717d3da70695dc6ce","datavalue":{"value":{"entity-type":"item","numeric-id":1605408,"id":"Q1605408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$E4E1C7C6-A314-47B6-AAC7-F1ABA4A24239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$08633320-3A87-44DE-B0BC-D0A811D56C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff90b53746deaf40f0bd975035788d645dc76ab","datavalue":{"value":{"entity-type":"item","numeric-id":5682013,"id":"Q5682013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$F287E734-13E9-453B-8272-539FA01586D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c774834971b086c761bf1be38a21a13366e3f9d","datavalue":{"value":{"entity-type":"item","numeric-id":3758873,"id":"Q3758873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$A4D50BDC-6514-4632-B5E0-227211339F06","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":"Q2643299$9950D456-E217-4802-9BA0-D81A7C405913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cdce9a5288e213fec545869ca8abfb8813711f","datavalue":{"value":{"entity-type":"item","numeric-id":4223159,"id":"Q4223159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$66021A97-E46C-4345-8EF6-1E647F27382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86948ae383981e54b1af98cd1b8691bd9899e11b","datavalue":{"value":{"entity-type":"item","numeric-id":2859380,"id":"Q2859380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643299$2AFBF923-5359-450D-A5BE-7FDF5C060780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5a7d223fdcc79ca10e2a9b4ea3da299eec1d54d","datavalue":{"value":"10.1016/J.DAM.2005.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643299$FDF9397F-E4A9-4614-B023-E7690D987BBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc2d760da2ee8a610214d2342dbf15cd3795148","datavalue":{"value":{"entity-type":"item","numeric-id":2398437,"id":"Q2398437"},"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":"Q2643299$E1C7ABC3-1FF1-455C-8169-84999914334A","rank":"normal"},{"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":"d1bf1db6bac1609c48dccb23bd4bc200a7d5d2bb","datavalue":{"value":{"amount":"+0.8277353644371033","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":"Q2643299$0C3F9480-1EBD-4C10-8705-7F0D583B07B8","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":"b097546f97e1001cbf4bb9671b342f26d2abb79d","datavalue":{"value":{"amount":"+0.8096895217895508","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":"Q2643299$47CC39A2-85BE-4672-B0F6-CAFC3F07606D","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":"08b29d5c54cb452b8116361090ed0363dac51a5a","datavalue":{"value":{"amount":"+0.7982258200645447","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":"Q2643299$47B081F0-B4B8-433E-91F6-778A11562687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e526d828bfc790f481785dfea4fb6ee65a3749","datavalue":{"value":{"entity-type":"item","numeric-id":5897217,"id":"Q5897217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd4da98da05e9a6fc3e2613c1204a5badd576f9","datavalue":{"value":{"amount":"+0.7933220863342285","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":"Q2643299$37AAD757-1C5D-4C48-BD67-615BE291BB1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643299"}}}}}