{"entities":{"Q1680245":{"pageid":1690986,"ns":120,"title":"Item:Q1680245","lastrevid":68124693,"modified":"2026-04-12T21:35:57Z","type":"item","id":"Q1680245","labels":{"en":{"language":"en","value":"Symmetric explanation learning: effective dynamic symmetry handling for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807220"}},"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":"Q1680245$6B6C2611-30BE-43DA-B6C1-3E4F742FA71C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b98f06db7d99fc1ce81498494101f8c68aa3ad","datavalue":{"value":{"text":"Symmetric explanation learning: effective dynamic symmetry handling for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680245$CF1052D2-D97F-4472-B7CE-F202D684CECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4694a3f04d6df5723b116c2abbcdcb6525ddc84f","datavalue":{"value":"1496.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$86815BC4-0651-4C1E-9097-434BB91E1124","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14186109e9c1460f580dcb32070ca6488ee3dceb","datavalue":{"value":"10.1007/978-3-319-66263-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$0D40C981-01B6-4325-9FC1-A3F6CBF58A16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"acc2e3c7a3aee918cc7ddd81fb5c696812576b60","datavalue":{"value":{"entity-type":"item","numeric-id":1680244,"id":"Q1680244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$7A6087C1-B9B9-4109-AF15-1D36BDB6E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"125638b2a4d599f6f34e56234b7a1dba2c964bfa","datavalue":{"value":{"entity-type":"item","numeric-id":892231,"id":"Q892231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$325249B6-C4FF-40E5-90D9-D9F911F94842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$39D1ED52-1A74-4EC2-A96B-644762BAEC0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680245$66EC54B9-B63A-437D-860C-B0E6E9B61E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$6781923A-168E-4309-B6AD-2F604E4A7210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$A4EFB646-7D5D-449D-9FF9-EB348F6EE59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$DDB76875-4A83-4312-B983-9CC43AAD47B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48e9e80186813ca67e133f4a1350a9f35ab0b4b5","datavalue":{"value":"6807220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$B4DC0D8B-79AF-4FFC-96C9-DC6ECB5E6C0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680245$E45DC257-6D58-4A75-AEF5-F24AFCD377BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680245$7DEDF8F4-5C2B-473F-9E51-A7B436C19694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680245$D514155A-C020-4ACF-8850-1066D6AED4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d5db7d8de02a05cf7e9626d1f050c5855b29d8","datavalue":{"value":"symmetric learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680245$7230B4C4-ED31-46E0-99C9-192C56C2F0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab819c768c1fef56291512f7c86359cc5ff46ac","datavalue":{"value":"dynamic symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680245$92B1E5C0-AB47-413F-BDC5-CDEFA6EC850E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$6039D48F-00E5-41C6-98B4-AC7863CDDA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$ACD15CCE-0412-49AC-BBE7-6310FE14E316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77606eeb419575f3b253e766ae571b916d0ffcc1","datavalue":{"value":{"entity-type":"item","numeric-id":13682,"id":"Q13682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680245$34FDEC9E-825E-4E79-AD87-0F8C81229A24","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":"Q1680245$D2468B3E-6A6F-4CC4-B76E-38D572113507","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":"Q1680245$601A93B4-19B8-4033-B26F-55AD16D0807D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02cf820889c07895d89394e4beb44460e48bd121","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680245$316B9BEA-00A4-456F-8809-EBF57F50C127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"057859142fe8667e743880f6f9e303b656299546","datavalue":{"value":"W2742197492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680245$05888761-950A-413C-922B-FC88FD69AF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3939d7a3c83b9a1049c013f8948e957bc26d3451","datavalue":{"value":{"entity-type":"item","numeric-id":1037644,"id":"Q1037644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc01213dc881f8094afcd9e3e1d339b99f53f5f6","datavalue":{"value":{"amount":"+0.8197262287139893","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":"Q1680245$50EAB890-950F-461C-9C30-2DA1AEE61A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8b2a384f669c37c78cf86b76a6aea4722bcda2","datavalue":{"value":{"entity-type":"item","numeric-id":2324209,"id":"Q2324209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d87545ed798569ba052e0424df7ed4b0aa633e1","datavalue":{"value":{"amount":"+0.8112820386886597","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":"Q1680245$9D6D7F6C-ED3F-48AC-B382-E4AB1D9A8DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5a5fbc8bafe19982ecefd6fb459c81bef02fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2818005,"id":"Q2818005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df3d9a07bd77840724fd2c07dbed1a162d144fd","datavalue":{"value":{"amount":"+0.7943819761276245","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":"Q1680245$222CF278-6AD9-485D-B5FB-EC93788CF2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7dc849497054297fe302bc028de7816add81c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930583,"id":"Q4930583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cffa650629fe57ba7797f6d27cb23370792396b","datavalue":{"value":{"amount":"+0.777141809463501","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":"Q1680245$5019CB10-C90D-4E8D-958B-976B7F60F6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5487731d7cf4c6f844009e4d7681bf0eaf46d0","datavalue":{"value":{"entity-type":"item","numeric-id":823775,"id":"Q823775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727fa211e05da30b80d90d9c1793bbc0bcdc79fb","datavalue":{"value":{"amount":"+0.7681729197502136","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":"Q1680245$EE3F6CE1-755B-42D4-B40D-3B714028B691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetric explanation learning: effective dynamic symmetry handling for SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetric_explanation_learning:_effective_dynamic_symmetry_handling_for_SAT"}}}}}