{"entities":{"Q976993":{"pageid":978841,"ns":120,"title":"Item:Q976993","lastrevid":51012608,"modified":"2026-01-16T05:19:05Z","type":"item","id":"Q976993","labels":{"en":{"language":"en","value":"Dynamic symmetry-breaking for Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5721643"}},"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":"Q976993$15CAEBFE-63B5-41AD-8521-EDC2F870E7EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d2ac7043542e63724ca4840684dec2ceef2db9","datavalue":{"value":{"text":"Dynamic symmetry-breaking for Boolean satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976993$E3C91B02-DE9A-4869-9E53-A2A657079EF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e46577850c23a5d4159e86069ca70a439a7cbab6","datavalue":{"value":"1205.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$5FEB67E0-5648-4A9D-ABFC-4E53806E0C07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a19537bed3ade15e538e63d04eb21183e11b038","datavalue":{"value":{"entity-type":"item","numeric-id":976990,"id":"Q976990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$CFDBE227-487F-4DA8-A942-DFD77B289233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ba2e80ec597d86d6d7dff410f396e7d734591a4","datavalue":{"value":{"entity-type":"item","numeric-id":976991,"id":"Q976991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$FFF48EE1-7A56-4BF0-B412-93F5BCC7F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1eb2ca8453f6afb5658d408a147981e100ff458","datavalue":{"value":{"entity-type":"item","numeric-id":427731,"id":"Q427731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$AB58031F-75EC-4073-8A33-A8965C180D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$B0DCDB6F-50E3-4FF3-A049-3EA287997F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$AB1AEA36-0509-4EBB-A0A3-5A466B52BB6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66b34ed5dc0f3fc5384918e70a0007292dca094b","datavalue":{"value":{"time":"+2010-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976993$B0748421-C1D7-4BAB-89B2-6DC64C2D908D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$F1EAE983-6315-429C-9DEB-457C11A24152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$0A4A1BF7-1A7A-42DB-AF6D-FB6FA026D771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d2f906b9295f648c4a61c217dc7be7a66baa48","datavalue":{"value":"5721643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$765F2E6C-00FB-4836-9784-C2D481E0E891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab819c768c1fef56291512f7c86359cc5ff46ac","datavalue":{"value":"dynamic symmetry breaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q976993$277507EA-64B2-40F9-B311-4D01690F5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q976993$F484AFF8-0E8C-433D-8AC1-32E716CB7C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q976993$FB6EA768-8B1C-4F85-BFFF-2D170E6DD890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q976993$441C6AED-6857-470B-AC24-553F7E3D610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q976993$D59FDCB7-7F25-48D5-BB0C-089660AA208A","rank":"normal"}],"P1463":[{"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":"Q976993$A24C24F0-44B8-4889-8DA5-B1C7CFC26F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$FBE33916-A657-4D22-A6F9-7A854A99ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$94A8B891-263C-46E8-B795-3B63277C5C42","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":"Q976993$3A754302-67D0-4E83-ACDC-9A2B22B5807B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$129F6F0B-8ED6-4F9C-AA5D-CB93A3469E33","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":"Q976993$BFBA1D0D-007B-4909-82BC-EA9D620277B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2441a11796fda6faeeb9b66244354f7cd52a657","datavalue":{"value":"https://doi.org/10.1007/s10472-010-9173-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q976993$E3474D8E-8663-4C75-9618-C2241B0E164C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e421b850db78ed0fb26799eb120310a5ded985f","datavalue":{"value":"W2137289237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$4717F578-AFC3-4F87-996E-1D8919A05FA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ebe3b1a413daa4e06955cba9fc9df5e4ff7c52","datavalue":{"value":{"entity-type":"item","numeric-id":5269268,"id":"Q5269268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$56BD0A94-F164-4279-B3CD-20DA57AE6438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b01dc5d7e56ea27423f1ae96b47021f993a123f","datavalue":{"value":{"entity-type":"item","numeric-id":3524179,"id":"Q3524179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$4F671223-2D1A-46CA-997B-8DD1D19557C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976993$4429EC95-C00D-4D4D-BF4E-44D921F6CC20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af624bb39c2d623bcbbbdbc97e70c139dc43da8e","datavalue":{"value":"10.1007/S10472-010-9173-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976993$02F92357-C65F-4EEC-A537-DC74647374EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f869269178846a8f00e504a066fa7b0e45ad4d8","datavalue":{"value":{"entity-type":"item","numeric-id":2455454,"id":"Q2455454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469b26f71978ba757bf01109c09d3d30f95de44a","datavalue":{"value":{"amount":"+0.7924997210502625","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":"Q976993$7F724185-93EA-4EEE-9AB5-7B833D31CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b4a04ef649e752dc59d07fbbec1ae389396d54","datavalue":{"value":{"entity-type":"item","numeric-id":1680245,"id":"Q1680245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3202828bdad7e44887ade1bd0b38dd3e45b339bd","datavalue":{"value":{"amount":"+0.7656957507133484","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":"Q976993$31BACD18-C566-4AF4-95A3-11ED20CD9957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564123d2907de3bee2b84eeb20223ba694ffece0","datavalue":{"value":{"entity-type":"item","numeric-id":5505539,"id":"Q5505539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2ee6713086582f6cda1861fe850a5038494661","datavalue":{"value":{"amount":"+0.757423996925354","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":"Q976993$0EC66E1A-74D5-47BC-8579-3D60C3EAABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11147534ffe7101e2539ef173f3b41a1987d48d4","datavalue":{"value":{"entity-type":"item","numeric-id":4930588,"id":"Q4930588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6164b915f2c9479f1cea1c636ab4707a9a7a92","datavalue":{"value":{"amount":"+0.7445073127746582","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":"Q976993$E977B81C-94EE-41C5-B8BA-C8EBD10D7566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7734d61d60a9253e3d118b8bee227ae8cb8ea742","datavalue":{"value":{"entity-type":"item","numeric-id":5269268,"id":"Q5269268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50f090b38f315377c81b252b91137ce5e951ffb","datavalue":{"value":{"amount":"+0.7418814897537231","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":"Q976993$0E36C9D3-9BEF-4F8D-A40C-C98B4B74E7F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:976993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:976993"}}}}}