{"entities":{"Q4633534":{"pageid":6663115,"ns":120,"title":"Item:Q4633534","lastrevid":53414165,"modified":"2026-01-24T22:22:19Z","type":"item","id":"Q4633534","labels":{"en":{"language":"en","value":"Precise and complete propagation based local search for satisfiability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050639"}},"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":"Q4633534$322E6E26-E5F2-4501-8163-CC5187C93722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f989493735368a7d2d5464d94140cf38bb1da03","datavalue":{"value":{"text":"Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633534$291EF77C-AF51-4C92-AEA8-05BEF7B263A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff6e9c46ee4be9d6af9abe4ccbe63d1c0a7460ad","datavalue":{"value":"1411.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$6A8AC1E9-A2F6-4C24-81F5-457AE58F771F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3990f1b4bd0517330fba67fd52b522f260c430b0","datavalue":{"value":"10.1007/978-3-319-41528-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$0A2AEE66-65C0-4031-89FE-7518FD3B8F0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633534$F7BBEB6C-AC2A-49C0-A11D-25B3C0023734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633534$97F039AF-DAA3-4515-AD17-26C11EFFA122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633534$D2184572-02EE-4BD0-90B1-BA6AEEF50C2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633534$522E0748-318A-4D6F-9DAC-0D1C345161E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633534$94BD902E-3C07-4F62-96C7-D941DDC55B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$F62302ED-A0EE-4A70-A7BD-0712DF207781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$F28E4446-425F-408A-800A-4C8A4947BADF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf994a9131e07901dce6a908a3b589d3059c76e3","datavalue":{"value":"7050639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$3FE90724-6F32-4BA4-A81A-1079C9959F01","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":"Q4633534$7B163A70-7693-4D8B-9292-B61ABD5A2267","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b826b99e541969ec3f63df422ebe9736e1b755","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41528-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633534$40C35465-3C1D-4FBA-900D-8DB0BBDB106C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"901871e69f3763ed6a2fab0446bcdebf449a418d","datavalue":{"value":"W2495572426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633534$D70FFBA0-2130-4294-B842-77CFD03A7232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f71ed36c4994c3a48c25d0a060b4b9a13ac85b","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c8c332929b523c5e208cbb80655711c2e4274f","datavalue":{"value":{"amount":"+0.8871341347694397","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":"Q4633534$C9E78740-0BEB-4670-B1A0-E15FC64C5263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9e4a1df31eea537e5bf88526819e295b1272d1","datavalue":{"value":{"amount":"+0.7909281253814697","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":"Q4633534$6885E3A8-6511-4507-A022-5AE3762A8436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a908124daee60dafd6856f65734860c8a9291249","datavalue":{"value":{"amount":"+0.7800388336181641","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":"Q4633534$F2C06820-72D7-42FB-9192-F2C1D44A1FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496479110aefaae3f9aa0a00cc25a65d24a7ec2a","datavalue":{"value":{"amount":"+0.7776928544044495","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":"Q4633534$62FB82E7-536E-4470-BDE3-9BDD3F71C654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f287bf8d6fa989da894fd7a81cda71dc21045b13","datavalue":{"value":{"amount":"+0.7740282416343689","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":"Q4633534$5A144502-2D6F-4187-9777-DAB0F9B40B7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633534"}}}}}