{"entities":{"Q2163186":{"pageid":2173929,"ns":120,"title":"Item:Q2163186","lastrevid":82569029,"modified":"2026-05-06T21:13:01Z","type":"item","id":"Q2163186","labels":{"en":{"language":"en","value":"Lifting symmetry breaking constraints with inductive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570129"}},"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":"Q2163186$6FAF624C-C949-488E-8B18-3AB7A37E4A71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67d6da296169f74334dd264ba80bde5d468c346d","datavalue":{"value":{"text":"Lifting symmetry breaking constraints with inductive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163186$A2AE9355-42BF-4159-BEC4-197CF267B8FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71beeeba0cecb86f40780367059899666f3972cd","datavalue":{"value":{"entity-type":"item","numeric-id":2163185,"id":"Q2163185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$A901F860-EF35-49B4-B9C4-D6C8DD85B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"604a0d7fcc1e2c43b6e93347ac5f105e9bfc07d5","datavalue":{"value":{"entity-type":"item","numeric-id":498924,"id":"Q498924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$680A0C12-F549-4367-AC21-89385B5EBC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40bce52f71b1a1c1872a56081e479b2896c493c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055803,"id":"Q2055803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$46E9B320-9279-437E-8942-BA1310E68E39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$93678BAC-C479-4666-B744-427A60315FC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163186$90E7CF59-D435-4DE6-88DC-837EAB78CA40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eedc2d82f2ed0ab0db722259a8810d104d5d0806","datavalue":{"value":"https://arxiv.org/abs/2112.11806","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163186$2FF7EEBE-289F-4998-B870-C854D88C84D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163186$AA43A0C6-0480-48C0-8404-3B420C52DBA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea6f07954aa273526ca5d6c9f3b9ab23a8c19f1b","datavalue":{"value":"7570129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163186$6ED5CB8B-6FD6-4931-8431-4EC4332F88B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163186$6C7C579C-5DEE-4014-9A96-59D15B11A388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163186$CA511720-E825-4095-8780-EE7382732C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03cd459944d63990f1fa13836a7a9bead1a8c843","datavalue":{"value":"symmetry breaking constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163186$84A01973-0E35-4F38-8F5A-683F6CE73575","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc1c92843337792088b1db4c3bdf57f19fb22bee","datavalue":{"value":{"entity-type":"item","numeric-id":24041,"id":"Q24041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$D7AD22AF-CFC4-49B8-8916-A4496545B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce526c6d165d8ba0d095584b3f21cba483f00f8d","datavalue":{"value":{"entity-type":"item","numeric-id":46430,"id":"Q46430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$28F9A568-DCA2-412E-BE13-1D5FC7887C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$8D1A8E57-81D8-47F9-A994-37BFA250A896","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":"Q2163186$A78D0212-B10A-4225-AFD3-45517F974B69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fac24d2581228745c100e529be083eca0a593f46","datavalue":{"value":"W3126861566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163186$DD925757-368A-4365-A0C2-D54ABB3F876F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$5D2BC89F-B051-41A8-966E-D7875DE49CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c326665a5541918a0d48d6bf89bef90ec7c8c585","datavalue":{"value":{"entity-type":"item","numeric-id":850464,"id":"Q850464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$454BBF1C-813C-43A9-8275-AC74963A0C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75960b3bd3cfcc7639ecfeba84e1bafb29ce86c","datavalue":{"value":{"entity-type":"item","numeric-id":4593047,"id":"Q4593047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$A4886A92-2339-4F37-9C6E-FA966AF218B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fee1af6b1e1cccba19bca47ae11a7dbace90fd","datavalue":{"value":{"entity-type":"item","numeric-id":4593048,"id":"Q4593048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$A211E993-D2E7-40A5-80DE-036E445DEDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47d009e8920601d4c8e8b1592b561f868672b25","datavalue":{"value":{"entity-type":"item","numeric-id":3011301,"id":"Q3011301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$B0952B23-B29F-4772-B09A-C0195C032A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$3D74B011-BF8E-4944-B0A2-FB98638F61B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ef3a0260e1bb0eff33bb40662f2af2da80eb18","datavalue":{"value":{"entity-type":"item","numeric-id":2938503,"id":"Q2938503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$F2B57168-B10D-47E9-9B8B-9FF4CF8E417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e340ff199b84eed089642b2c0aba2ee31e692c","datavalue":{"value":{"entity-type":"item","numeric-id":4593062,"id":"Q4593062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$19395FEF-BDC6-45DC-A1FF-4E865D51CE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$6A1CF72C-2381-438C-966D-E7B0817F2255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a2233b8c12ecd1b5692cec22e56cb676f007c37","datavalue":{"value":{"entity-type":"item","numeric-id":3565246,"id":"Q3565246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$11E1CEB0-5F3C-472A-B67F-024B28EF9EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518b9b2eed57720772009ee4bc5a95f598022355","datavalue":{"value":{"entity-type":"item","numeric-id":5387629,"id":"Q5387629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$03827832-BD8A-4318-815F-0E3EBC8863AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a12f8eb90c3b6147484df57b41df64564a8e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3524199,"id":"Q3524199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163186$A70849F8-7736-44DB-BDFF-C2FADCEE7BAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ace1b9829567f66c49b42fc7b3b53bed5b6bd776","datavalue":{"value":"10.1007/S10994-022-06146-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163186$ED9785AD-7EB3-426F-8F07-2F0677A56DDF","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":"Q2163186$0F2BA2AE-42BC-41F6-9482-8BFFE1F2B1CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifting symmetry breaking constraints with inductive logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lifting_symmetry_breaking_constraints_with_inductive_logic_programming"}}}}}