{"entities":{"Q4913846":{"pageid":6943425,"ns":120,"title":"Item:Q4913846","lastrevid":51694361,"modified":"2026-01-19T12:49:50Z","type":"item","id":"Q4913846","labels":{"en":{"language":"en","value":"On efficient algorithms for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154709"}},"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":"Q4913846$3BEC41A6-81DE-422E-A6EE-DC77CF2D8E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fdc2c82a5b7651673f5f19be3cefee993c0c710","datavalue":{"value":{"text":"On Efficient Algorithms for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913846$3ED43A3A-A5EB-4DE5-A314-4E040DAB579A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e4c7c60377daf1e019c37bab5d78b1517cfb873","datavalue":{"value":"1388.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$734658AB-701A-4D1F-9B7F-C1E9C4263986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da8c9cea077696c69d13eaacb55a3f63e3965c78","datavalue":{"value":"10.1007/978-3-642-36751-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$167CFD7B-29B8-4AD8-8D0C-E16D2CB1C860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ae5ba1a1ad8f7b8209780a8077ef09c939a57c","datavalue":{"value":{"entity-type":"item","numeric-id":439937,"id":"Q439937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913846$68886C91-7C30-47F6-AC21-882D2F312D52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913846$A300CA18-9F4E-4928-888A-BC6EA4FF0979","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-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":"Q4913846$45271E45-02FA-4000-BB0E-757AB494A03E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$7E95DF92-37B5-4F7F-B72C-CA5D96526DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$C79A05D7-7725-4021-96AC-AD029EE6578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$D6F7C59E-FD77-4165-8DF4-3BD6786E6F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$DA433F62-436E-4CB7-9554-F0D9D5D49700","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff1877b9cc75b306a371382568ff4d76b1d3130a","datavalue":{"value":"6154709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$69756D98-F2D6-4C40-8C43-814677CB4BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb52b943014b9258a8db07fdbf37351ae3f5bbea","datavalue":{"value":"SAT-problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$F9C32603-A9E1-4318-BD29-5197B14ADC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d0f036297963b684a28c00ed2a52d72405e600","datavalue":{"value":"membrane computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$0E831540-D202-4E75-9C6C-9AEC6F742099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f7fe19f725521885c5a40b8a361664ab1a2991","datavalue":{"value":"efficiency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$696A1F1F-C7F7-4AA8-B62D-4C7AD9E38908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f2230a06e5eddfe95cc3424b2356ade87084e8","datavalue":{"value":"new computing paradigms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$F2106F7C-50B5-482A-8B26-7B224A331F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990281d4005ee8a9154d74b6cbe6ad99927c9d45","datavalue":{"value":"P-NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$6BEB3E13-F7A1-4DFD-A90F-A537F1365B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$455E2213-7BC7-401E-925A-4D62CBA17B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$E26138F5-6014-4800-BC36-91669AF46392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ea207bf96dddeb234dcdaf949b1803cba3d953","datavalue":{"value":"uniform solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913846$DBB93C84-440E-4B57-8326-8582858465FB","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":"Q4913846$7CE548D9-2000-4927-B02D-BF1CAEF04758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc33da773e9d94f3ab2d882165d658c15b56d315","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36751-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913846$2D568142-054E-4D63-B4BE-0BAFBE2062FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c84c54f7b3f05a2718d547ff007a2b585ec4155","datavalue":{"value":"W1552021214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913846$080D7269-6C57-4DC3-87C5-F6764FFF93B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63cd6638f79ab2bdd5494197a345a62b14bbf79","datavalue":{"value":{"entity-type":"item","numeric-id":5404852,"id":"Q5404852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beefc4a83c28d6651e2e490eae06f32bbcae83af","datavalue":{"value":{"amount":"+0.8152264356613159","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":"Q4913846$83003C40-AE6D-4CE1-A421-D1DC7564E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0abb88f146c41640a89ef8bbbbbc7fd0f96b072","datavalue":{"value":{"entity-type":"item","numeric-id":4913840,"id":"Q4913840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3c55dca0c83e21d7ebfb1b82121ebc12d48995","datavalue":{"value":{"amount":"+0.7872891426086426","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":"Q4913846$5892B0D6-331F-4FB9-ADEB-E926380384AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f4ab87a4f3a9bc45f39b54e5d171703101d603","datavalue":{"value":{"amount":"+0.7713611125946045","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":"Q4913846$247C6974-CEDA-4465-AF84-522CCF345674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dc15672cfc74ac7ffabc3b0f2688a52eabd96a","datavalue":{"value":{"amount":"+0.7706255316734314","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":"Q4913846$CA15C381-4B2B-4F12-803F-C04AAE116CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f285d18c3f7f7ddd01d0e8cb9cf13bf1aa444209","datavalue":{"value":{"entity-type":"item","numeric-id":5316647,"id":"Q5316647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b8fad8975f4e8fd53155a07efff9d585b35084","datavalue":{"value":{"amount":"+0.7672513127326965","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":"Q4913846$76F31B0C-9DA2-4734-8B03-92A54FBC4C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913846"}}}}}