{"entities":{"Q4036286":{"pageid":6066005,"ns":120,"title":"Item:Q4036286","lastrevid":55236292,"modified":"2026-02-05T04:14:36Z","type":"item","id":"Q4036286","labels":{"en":{"language":"en","value":"Solving the incremental satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 168620"}},"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":"Q4036286$F6C9F594-902C-4451-A79A-647859BD19DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73c3fb9f0234a7514dab27da9c8f9f5f4e1942db","datavalue":{"value":{"text":"Solving the incremental satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4036286$4234AEFA-EABB-4F94-8046-E9D7A8B6C595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caa3a393f89ef4f873abbafca64b5d5cf3b09df4","datavalue":{"value":"0787.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036286$C89589BF-7642-45F7-9329-7F069096446E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8da12c54647d0d3f959ca75877fa0e564e65968d","datavalue":{"value":"10.1016/0743-1066(93)90018-C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036286$38E84701-B8E0-447D-ADCB-8905F916245D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036286$922807A0-6B12-4F4E-A201-A5C1FC6030CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q4036286$792CCB12-2C23-49E8-A457-6D451D3C1E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036286$B30A63CF-0B3B-4EAC-961C-6E46C5170278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036286$E1D2EC63-2A19-4D1D-8DF6-278700D466FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9809d21ce8f6ab07765b78f54fb36b47e8812589","datavalue":{"value":"168620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036286$9CF00924-5CDA-4C30-AD0D-FD34AC5564FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036286$218E3509-0BD6-4DCA-9C81-697ECA46C742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036286$433109B9-E505-4F9D-B669-2A288F38AD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0988e750cbcc0a63094ff1b1d24d1d82a56b5c3","datavalue":{"value":"Davis-Putnam-Loveland algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036286$7287F2BD-93CF-46F5-B02D-42CC4ED27DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7f128a8890c1ed831720a74faec8d6c0dd504e","datavalue":{"value":"NP- complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036286$A9475F8B-DA92-49FF-BBF5-356BBD10D9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfdfc80d52599880a400e6bfabf4e5fe3dd545a4","datavalue":{"value":{"entity-type":"item","numeric-id":662263,"id":"Q662263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036286$26EBF215-406A-4BC7-95CD-82D9B4D0593C","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":"Q4036286$792B80A4-AD6C-45A6-B4A3-E2E950E595DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004003ee1ea4a0828e42d10bfdbd2952cf833c9","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd5decd14519de6cfbde2577688d3fc849ded05","datavalue":{"value":{"amount":"+0.93295306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$22E8CD40-3D8C-4465-BAB4-941CA43BB751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54165a1abfde1284f1db1ec08a4ba37edc558444","datavalue":{"value":{"entity-type":"item","numeric-id":4427350,"id":"Q4427350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2544c373019bb95db82e7cfb59d74da559959e6","datavalue":{"value":{"amount":"+0.9050454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$E5C01628-6479-43E7-88A1-D205C90A4610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9712e34a5f374814de4da19b2d45cd62ded658c","datavalue":{"value":{"amount":"+0.89285475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$0AE341B3-9EDF-4567-98ED-AB0A604FBE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16eefce456367d2f4c180e01a3348e619942985c","datavalue":{"value":{"entity-type":"item","numeric-id":5714772,"id":"Q5714772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6729a27a2f4165a1e040f54f314503835a4f0d","datavalue":{"value":{"amount":"+0.8911684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$92E5394A-C169-41EC-8BD7-2F1331948C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a786d0f3b40f02cd8fc35a540b23f86ae32c07c","datavalue":{"value":{"entity-type":"item","numeric-id":3502706,"id":"Q3502706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c1c3904fb8b8105c1cb57537d74c62e3363ee3","datavalue":{"value":{"amount":"+0.8899184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$DD6388F9-1602-44E6-A2DB-02F7A801FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d851202d6da31bb5b9a6d042321431933b6a0d","datavalue":{"value":{"entity-type":"item","numeric-id":1744433,"id":"Q1744433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7558f6796a34bb55b2aa90b4055d43ed885d01","datavalue":{"value":{"amount":"+0.8898934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$F1C0F7F8-619F-41B1-A654-C516C6F9B849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5ae6243e6aa47481ebe76a21d9558d7cccf278","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6a043ec15a9efe1575e06363c33ca380acad5c","datavalue":{"value":{"amount":"+0.88907236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$38A477B5-75D6-451E-BA11-752DADAEB380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4601125705a4d0f52b78cb9ee4c303f22e04b582","datavalue":{"value":{"entity-type":"item","numeric-id":5015594,"id":"Q5015594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95df39ac8909a3aaa3c84b2e9fc6a7bef4174117","datavalue":{"value":{"amount":"+0.88732433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4036286$D2DDFF07-12D6-4B9F-8C60-A090FA8E9E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036286"}}}}}