{"entities":{"Q2180212":{"pageid":2190955,"ns":120,"title":"Item:Q2180212","lastrevid":53731904,"modified":"2026-01-25T15:22:52Z","type":"item","id":"Q2180212","labels":{"en":{"language":"en","value":"Symmetry avoidance in MACE-style finite model finding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200351"}},"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":"Q2180212$6E517C82-DC96-490B-8945-948D659D9316","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22740308d15221fa0937ab620f05757b1837fb72","datavalue":{"value":{"text":"Symmetry avoidance in MACE-style finite model finding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180212$163A87CC-DE70-4B4F-BAC9-B22660665DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20eff7573e78ff6fe0dce4168911d7e7bbaf37e5","datavalue":{"value":"1435.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$E14C717E-3EBB-490D-B8B3-6F06499B4685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a92d1f7d1e9d507dab43b7f10a4425d5dc71e848","datavalue":{"value":"10.1007/978-3-030-29007-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$1B3E903E-9511-4598-A404-362459E3C6CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"395a9171f6bae9b8af4e7440aa83cc44ae6e3948","datavalue":{"value":{"entity-type":"item","numeric-id":2075783,"id":"Q2075783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$FD93A0A9-783C-4DDA-A7A6-8A9D4DF6941E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11d2dda40961cbbcb92f405bc25240a8e1e87464","datavalue":{"value":{"entity-type":"item","numeric-id":2180211,"id":"Q2180211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$281EE653-98AD-481F-A99D-03818F3F928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$C653B31F-50B1-4561-BEBF-018B19E36EC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180212$F8C4265A-D9EC-475A-8CA8-C0BC40DB2DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"514ca28cba76bc1196f019f5ac9adc3a330363b9","datavalue":{"value":"https://www.research.manchester.ac.uk/portal/en/publications/symmetry-avoidance-in-macestyle-finite-model-finding(201ec771-f9a2-4439-857b-4110948f0b8f).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180212$B7D02746-A9E7-43EC-8225-B4F507D3E1F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$0E287D10-2027-4566-AD7B-E91D5478FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$716B3928-1B78-4A2C-A006-63CF9CB2ED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$4322E1E6-3969-4246-BEB1-B01EFF900653","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49ada01631bbe176bff8658b7889ad739e8b046c","datavalue":{"value":"7200351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$9B7C17CD-87F4-485C-B968-087F12644F97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$316F5CC1-4B59-4EA5-818B-2ED57C1107B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$D79E4879-8329-4FFE-AC9A-0E5CEB41E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$4F0BF0C7-27FC-46F7-9CB5-690E8414695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$25C2E0CE-BBA9-4965-A3CB-515FEDC9944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f57e96b932684210c05d20f0d721bfbcbedb473","datavalue":{"value":{"entity-type":"item","numeric-id":33036,"id":"Q33036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180212$BACEA693-186E-486A-B71B-C130764BE814","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":"Q2180212$238CAD0E-615E-4439-AFA0-E7FA264060F7","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":"Q2180212$CAB27EE0-6634-4AED-9572-2E368326CC93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acfcb6cd7c93623fea7f584cade87cddc22bed04","datavalue":{"value":"W2963773478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180212$1DCFCBB5-BD60-4758-9088-F6A5A42F071A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b4a0c651b55242d0821d5fee58b54803511d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4809058,"id":"Q4809058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7b455b5bde1ce43155bbf63dbc0254403d2732","datavalue":{"value":{"amount":"+0.8096760511398315","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":"Q2180212$EA5C433F-3F15-463A-816F-8B11BFF43287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50adb43b240b8c90ab64a1f99129e8ef6321b63","datavalue":{"value":{"entity-type":"item","numeric-id":2818025,"id":"Q2818025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f27202cf64615c3a02f9acd5b31eee41845c06","datavalue":{"value":{"amount":"+0.79651939868927","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":"Q2180212$4335426C-9AEE-475D-AB8A-CF81F7AE2FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da71e2b3698223c89706c974c380a0fade692ca","datavalue":{"value":{"entity-type":"item","numeric-id":5222972,"id":"Q5222972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ffef3a6127e0040b78518422542c960729bfb9","datavalue":{"value":{"amount":"+0.7887774109840393","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":"Q2180212$B0A55BC7-E89B-458B-9DBE-E95F2ACE69A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dae6967be22b4dd6b79a4f9e307b944027f6d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2848064,"id":"Q2848064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc18e6642f5d18c902a6ab28f7d009053848264","datavalue":{"value":{"amount":"+0.7816696166992188","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":"Q2180212$3DB69530-769C-4C86-BD35-7C8670DDBC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c99ee4664ca1eec3e77beb5fb0f2896d015b06","datavalue":{"value":{"entity-type":"item","numeric-id":861703,"id":"Q861703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee5b3ea893597e28395ce59f7a83ba768cd607b","datavalue":{"value":{"amount":"+0.7740727663040161","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":"Q2180212$BD1458A4-C46D-4EE5-A90B-4C6B3A6D45DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180212"}}}}}