{"entities":{"Q5458517":{"pageid":7488076,"ns":120,"title":"Item:Q5458517","lastrevid":50336849,"modified":"2026-01-13T20:37:47Z","type":"item","id":"Q5458517","labels":{"en":{"language":"en","value":"Guided Search and a Faster Deterministic Algorithm for 3-SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263896"}},"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":"Q5458517$BEB5236B-EDF5-4A9E-9386-D955286DE422","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"905d7888bf2572c9032758a8ff67c080f736ce10","datavalue":{"value":{"text":"Guided Search and a Faster Deterministic Algorithm for 3-SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458517$E14C1F84-BD80-43D8-B043-50261281D66C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65f324ed9225cb4d4eb241bf82fa94408cfd3f0d","datavalue":{"value":"1136.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$BE85D2B0-8BF6-4EFB-82CB-F4A1E72D2032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0e9feea81d024f583f840a908e6a5950904008d","datavalue":{"value":"10.1007/978-3-540-78773-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$3D4DFF97-F0A8-465A-8153-1C0E5FD4574B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7e84173488f1183a181f28a35218eb7a3c08a8","datavalue":{"value":{"entity-type":"item","numeric-id":1728404,"id":"Q1728404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$FAB5F202-F042-4EC3-A881-B49F1062DC5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$62691D25-F13D-4A68-8CC8-72D7299B62C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15d7b3e72dcb73f65f19932d271f9b71965c44b","datavalue":{"value":{"time":"+2008-04-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":"Q5458517$D7DF0D54-2FA7-4EB4-ABAD-E145C930B4F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$9DB54C06-D0EF-436D-BF71-87FEB859488A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$71250098-69E7-4E76-8B09-43B19EC7BF8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeff9635da076791206356653e0f8695559eca8f","datavalue":{"value":"5263896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$062162EC-0D23-40C6-BF72-C811022C0D40","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":"Q5458517$70E08B4B-DFD5-404B-A958-8119CD1CA498","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe8957905f6b043fe184926db3af70322b13e9f5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78773-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458517$A15061A7-5154-4DBB-946F-67F17EAF4321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00f450053a4f92589d90e4b3ed2e315ca2e371bd","datavalue":{"value":"W1488940485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458517$9A162D93-D884-49AF-A2AD-0CFB7106CF76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6f7cfe19c6bb4309c911e2b5e1f904d78cade2","datavalue":{"value":{"entity-type":"item","numeric-id":4252729,"id":"Q4252729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$C9E0F408-B96C-42D6-8903-7FADA743C0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939103a68f798e958d86c891ce59f8be989f4475","datavalue":{"value":{"entity-type":"item","numeric-id":3439130,"id":"Q3439130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$9EEDB92E-7796-4FA3-9C44-A22B7BA08196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6989157e41c18f8557462896243611dc2b1c55","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$5CE297A5-C6F4-4059-BC78-B17394BE1DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$EBB00E83-5F3D-498E-81AD-A15FC21EEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$2C507B46-2BF0-4FF0-B034-8292BCE3CB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$021336C6-FF75-4853-8A40-475B8323283D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2bd73955595d36fe57f13b231976283a1ca60d","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458517$5E107561-1377-4555-8067-BAE901B635B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73171f12d22dc48dfe4b0d93a7293e3c63b62650","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bcb03641d30d46ae2ab98af3ab29f49701206c","datavalue":{"value":{"amount":"+0.8276825547218323","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":"Q5458517$DDBDB7B7-D08D-4F0B-8862-3753B6EB91D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd2d6a51802cf53f2b30fe61f09ac14a5687ba6","datavalue":{"value":{"entity-type":"item","numeric-id":1853552,"id":"Q1853552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01feeacb11b2455ddbf4b0db1d8d4d3c1f5e5995","datavalue":{"value":{"amount":"+0.8235082626342773","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":"Q5458517$2C847F0F-CEAB-4C93-AD18-94E83F22C289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4c44822b53ae619d62d8b940224636a058b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754147,"id":"Q2754147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2318e7672c4b335ff84d5e4a4416961d8f80e47","datavalue":{"value":{"amount":"+0.8179623484611511","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":"Q5458517$8AB80D39-7E15-4A81-952E-2A481B249EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a70819846788d416b920a93f8abda03516a96d","datavalue":{"value":{"entity-type":"item","numeric-id":5325857,"id":"Q5325857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fffe67300726bc90698de15a5325332db9e83ab9","datavalue":{"value":{"amount":"+0.8001911044120789","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":"Q5458517$EFD39AA4-4815-4420-A187-D7678175F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae55f03e91faa89c1513c51814ace5855e4afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4736839,"id":"Q4736839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f270ab99b71cd96c6576b132cf0c6168f23fb0","datavalue":{"value":{"amount":"+0.7929975986480713","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":"Q5458517$A1D285FD-AF97-4D4A-8F96-ECEC445BF9C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458517"}}}}}