{"entities":{"Q4930596":{"pageid":6960178,"ns":120,"title":"Item:Q4930596","lastrevid":51093290,"modified":"2026-01-16T15:31:20Z","type":"item","id":"Q4930596","labels":{"en":{"language":"en","value":"Improved local search for circuit satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793463"}},"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":"Q4930596$0A76A846-226E-4844-A07F-D66FF768BDE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8b670f59d873c787755ab221c181f664833cd39","datavalue":{"value":{"text":"Improved Local Search for Circuit Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930596$F484B845-56D6-4A07-9CC4-E78B30927575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff8a514f0d3417e238b806bc19191b1ec4723bab","datavalue":{"value":"1306.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$3ADF99FC-542E-462B-A688-EE6E38A7E8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da7b2415b2ff03fff67e6d01f889517b205d92da","datavalue":{"value":"10.1007/978-3-642-14186-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$01924F74-A827-4E0F-AE72-A926D021FC2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323b5428bd25b1bf57218d22ff06d9e5b29f1d38","datavalue":{"value":{"entity-type":"item","numeric-id":460637,"id":"Q460637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930596$96D2854F-31C0-4914-A58D-2B9EB9A85AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930596$14EFFF70-B867-42EA-9003-00F28FAF17B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930596$EFFEFE60-A7E2-4BB0-ADD7-8CC98598B906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930596$A602C51A-4FCA-4203-A677-3B92FA9374C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$BE798848-E979-402F-A336-59D93539A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$A62EA4D1-C077-4574-A0BE-366220BE084A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43e46da42ca58885a715de0453795cd87cca25cb","datavalue":{"value":"5793463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$2796B671-ECBD-41E9-A3F6-3D511C46F3D5","rank":"normal"}],"P1463":[{"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":"Q4930596$F3EF2EC8-9F82-4EAD-8DD1-64E7B89A2939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930596$59D8A6E9-C8B4-488E-8CB9-B9C8B2994A4C","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":"Q4930596$25ED5031-0D1B-4E56-AE7E-FEDCFFF686EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6025ab9ce3a8cfb10a09736c5264e8629d912ab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930596$7DEE39CA-E87F-4152-99EB-76AC34FDE474","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51ff0de98fdd69707568b834ade7fb3d77d08830","datavalue":{"value":"W1862298752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930596$5DFFC08A-CCAB-47B2-A025-F82547508941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f53227324ededbcc859ac44f8de37bedb0d642","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c6ee005857e18eba7f3c24b4b542760aa71827","datavalue":{"value":{"amount":"+0.7920047640800476","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":"Q4930596$4DAEF842-987C-4748-A59F-B3364B0BA49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a658ab11c892389c1e0a3a75b8544b8d514abf6","datavalue":{"value":{"entity-type":"item","numeric-id":5958635,"id":"Q5958635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cee81b1296fc267393486882c3a2b03a2fa9cd","datavalue":{"value":{"amount":"+0.7879245281219482","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":"Q4930596$E83A08E3-6BAB-49E4-A9D7-9CCDCEDEE33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb56269419517fdbbf368cf98297e5e34da18a9e","datavalue":{"value":{"entity-type":"item","numeric-id":1977754,"id":"Q1977754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84abed393fdf9fc67119b78ffabed76a0fcdb43c","datavalue":{"value":{"amount":"+0.7771439552307129","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":"Q4930596$59591734-61B0-4B1B-884E-6114EEDDFA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b970c58b96ed6875f925f5ffefb083a739ead01f","datavalue":{"value":{"entity-type":"item","numeric-id":5505541,"id":"Q5505541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6020c518b2c9f0603be54a7b258e8883a82da015","datavalue":{"value":{"amount":"+0.7755104303359985","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":"Q4930596$FC69D7CE-5EF2-46E6-B8C1-570BD7A15B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70806c7028b94dc5067f11fc687593ac667ff247","datavalue":{"value":{"entity-type":"item","numeric-id":5054860,"id":"Q5054860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14382fe492c8b42badf21761bebbfe047351a05e","datavalue":{"value":{"amount":"+0.775363028049469","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":"Q4930596$81ABB7C7-188C-40EB-9D07-241CD0919FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930596"}}}}}