{"entities":{"Q5756575":{"pageid":7786126,"ns":120,"title":"Item:Q5756575","lastrevid":50157713,"modified":"2026-01-13T07:24:42Z","type":"item","id":"Q5756575","labels":{"en":{"language":"en","value":"Local Search for Unsatisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187234"}},"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":"Q5756575$971E9B5C-0B3D-41C9-A746-36AC814C5367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be0f754c5648c7819b9d6433a437de078c50e1f","datavalue":{"value":{"text":"Local Search for Unsatisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756575$1559DBE5-C234-414A-B2E6-727C96B8D9F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f45b199389cb784ddf1055a2e13d846f9154f04b","datavalue":{"value":"1187.68561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756575$C830C132-90DD-4E77-B1C3-E39BDE177A46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec65abe9ec0fbe238607c1f6ce7d91bdc43e9519","datavalue":{"value":"10.1007/11814948_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756575$536DB538-E503-468C-B42C-2840AEE48392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6dc8264463381eb713475789bae1910adac601","datavalue":{"value":{"entity-type":"item","numeric-id":297376,"id":"Q297376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756575$9E626D38-0357-4E9C-8FD5-0EE516A925E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756575$72BFA66F-412B-4043-8D31-5B5284F6CC15","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":"Q5756575$9A300864-BD11-462F-BCE4-4C8430786451","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756575$BDEF63E8-EF38-42DF-8EAC-B0A60A1A835F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756575$BE764DAD-A819-4046-8DD8-9ADD1F8EC558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e407c50f418747fb2aeb86260fd519907cac45ea","datavalue":{"value":"5187234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756575$4163BC42-A0C7-4026-91CE-B139DB9B1326","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":"Q5756575$42566ACC-DDF6-47DF-86B9-4BBCE6724775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2833e81cb67a8b9f6c20bdc24224242a809d469","datavalue":{"value":"https://doi.org/10.1007/11814948_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756575$B5651E37-9FA8-4EF7-AC8F-53BF45080347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36fbdb62447161fa5eaec8e8be82887860d69f99","datavalue":{"value":"W1552098422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756575$A158A217-40E5-45C1-8AD8-B632A321020E","rank":"normal"}],"P1643":[{"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":"5fc2913c134b23b244f01afb81ba4aea21633545","datavalue":{"value":{"amount":"+0.8272111415863037","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":"Q5756575$AFA9E078-7C06-4720-B3EB-0D44B6FAF3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef04500975d5d588d8e907758698790320bc544b","datavalue":{"value":{"entity-type":"item","numeric-id":2749857,"id":"Q2749857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9f744918bfff6b50a64a64b97718f89b756e3a","datavalue":{"value":{"amount":"+0.8267089128494263","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":"Q5756575$8B2F9BA6-1BEB-4BD0-905C-A94C4992FF59","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":"46779a147ddb05310b2f1ae4165e26346ad4b7a6","datavalue":{"value":{"amount":"+0.818280816078186","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":"Q5756575$1EF84119-42BD-4F25-AE71-7804E502BA15","rank":"normal"},{"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":"3c669ff3e83a22339f494591480f43761faee8df","datavalue":{"value":{"amount":"+0.8164786100387573","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":"Q5756575$ED7A8CCB-AB84-472B-850B-636A50154E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32adb7ff4e8df0b23289162f7216e7f80f60a9fa","datavalue":{"value":{"amount":"+0.8141071200370789","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":"Q5756575$922A8F70-FD01-4A8F-911F-AC8525F52CB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756575"}}}}}