{"entities":{"Q3011301":{"pageid":3022025,"ns":120,"title":"Item:Q3011301","lastrevid":79845293,"modified":"2026-05-06T14:50:28Z","type":"item","id":"Q3011301","labels":{"en":{"language":"en","value":"Symmetry-breaking answer set solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5914360"}},"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":"Q3011301$B08412F6-80C9-4D97-BB3C-BE8DBCCC0629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cce00a2c6e7ffd24c6ca9a13812c8cbf32ffa8e","datavalue":{"value":"1215.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011301$CCC25579-C73F-4559-8225-F31E64A5ECEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d84983401bc669ab5f7642e3f6529380765adfc7","datavalue":{"value":{"entity-type":"item","numeric-id":2851260,"id":"Q2851260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011301$CF967A87-6F03-4BA4-B599-0FC7A92D5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20af0f27050f12467161c9079ef75f032ca1633d","datavalue":{"value":{"entity-type":"item","numeric-id":3011300,"id":"Q3011300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011301$349E2B21-DD2A-4697-99B6-14833B55A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011301$023CB53B-E1F9-4BC6-907D-DFFE8EE5EF50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3011301$6FF3B604-3704-41E5-BB06-1856ED5BD9F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44f75cc9834027d7297a3bb972f5ddd7007417c6","datavalue":{"value":"https://arxiv.org/abs/1008.1809","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011301$823447C8-CA3D-45C5-90F4-63E6A4EB3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fc7f48215f96796f247cc2d4f6d76013c50a997","datavalue":{"value":"http://iospress.metapress.com/content/n643l7w1660736g2/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011301$7BDA73FE-ED47-4A0F-9B15-C5339404E0BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011301$1CD647B9-77EF-4DB1-922A-C0BFFBBD518F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011301$E8C24B03-5495-4CF1-B389-CD9BF0925200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011301$556521AF-4ADB-48F1-A340-A9C2064DF301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ac4da5c8f1c3c2870653459040ff09e2b83c01","datavalue":{"value":"5914360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011301$321EBEE3-1232-4BD1-A06E-05D84798022B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011301$8780C89C-8BAB-40AC-8FF5-764B11813456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721db152ea6f5f1d941a96190ff027c3df9b3519","datavalue":{"value":"symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011301$C1E04F1D-B04E-4581-BD2A-18C7704D528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9aa5c52e3a56e8f405e932bf44aafea0fcc3d6","datavalue":{"value":"graph automorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011301$03C101F4-BE55-481A-9964-A8766A836341","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011301$518D5F1E-B8A4-4CA3-8B38-994886B7E684","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":"Q3011301$7D3119C2-824A-4CAC-995D-910140F9AE71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfecf3b51e9e9e53d18cf223d322fff0720a59dd","datavalue":{"value":{"entity-type":"item","numeric-id":2870119,"id":"Q2870119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5254b13a2692ad690a3cb30490c11346e082f7","datavalue":{"value":{"amount":"+0.897910475730896","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":"Q3011301$64562350-54A4-40D2-A15F-972F50A52F3A","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":"a80a166b8d996388a5876a594de6f736a4553b25","datavalue":{"value":{"amount":"+0.7937077283859253","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":"Q3011301$EB852860-081F-426D-854D-0FDC533B8F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5134d25d5129efcafa8fc840ef6e0931687124d","datavalue":{"value":{"entity-type":"item","numeric-id":4475624,"id":"Q4475624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805d07f95968137314bb0c42b7e6eb53c96a21ac","datavalue":{"value":{"amount":"+0.7922497987747192","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":"Q3011301$EED159CD-B89E-4228-8DC1-CF8D62E7A950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874b0353c0bcf9250f95c2e45ab7d40832f003b7","datavalue":{"value":{"entity-type":"item","numeric-id":2999220,"id":"Q2999220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb753a14f70b7cec947307876734d1c19b5213f2","datavalue":{"value":{"amount":"+0.79147869348526","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":"Q3011301$E2945EFD-2805-4FE5-AEF2-9457AD4FB4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdea2b916f6c5d5fe1d620b910ba0fd975d6883","datavalue":{"value":{"entity-type":"item","numeric-id":2342593,"id":"Q2342593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f4662822609444f671c786c5fdb7224f37bce8","datavalue":{"value":{"amount":"+0.7800040245056152","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":"Q3011301$97380323-A43D-4A55-8063-5DFCE410E574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetry-breaking answer set solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetry-breaking_answer_set_solving"}}}}}