{"entities":{"Q2118309":{"pageid":2129052,"ns":120,"title":"Item:Q2118309","lastrevid":43521109,"modified":"2025-07-30T13:45:41Z","type":"item","id":"Q2118309","labels":{"en":{"language":"en","value":"Assessing progress in SAT solvers through the Lens of incremental SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495580"}},"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":"Q2118309$5FB59821-215A-42E0-B26E-43F8675EC364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28798b114f823b4dd5c2216d7c95002c7518aa51","datavalue":{"value":{"text":"Assessing progress in SAT solvers through the Lens of incremental SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118309$99E2A1A4-F547-42F7-BFF8-EB75A9495864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11cf6af40e252d5004ee96d3a36c991e9dbdd79f","datavalue":{"value":"10.1007/978-3-030-80223-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$6133CF38-126B-4E0D-A310-86798C486F10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45417376983cca6190e61f8bc663860b8124252a","datavalue":{"value":{"entity-type":"item","numeric-id":510611,"id":"Q510611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$EEF8BC04-A115-4373-9D55-2DFC845E9021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$E437BC71-B7F3-4426-8000-EE03E5702860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$18EC20D1-2154-4429-8783-D2E47069F811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118309$82B939E5-F253-4043-8EF9-28CA906EFAE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$0A5CF85E-9A68-40DD-BF66-2849E993F88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$E217EDB0-0F17-4310-8978-0ED2254A48F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$62904426-EDFE-4E31-A8DF-E739658D308E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a58b0ec5a76b9475addda6606834926fa154e570","datavalue":{"value":"7495580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$1415481C-FB2D-48D0-B67B-CFA084678EAB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$96C26C80-524F-4ED4-83DA-5F2E89E87041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$47616821-EF03-44CB-BCCB-047949555E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$FA45E77E-A25F-4795-8A14-F4C18FA26B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$AB49B857-7E29-4D6A-804C-AD914231AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$8AB0537E-D2A1-466F-BDC4-854E8D10E74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5654fca232c068befe9c82b4729f3e609c84698c","datavalue":{"value":{"entity-type":"item","numeric-id":43353,"id":"Q43353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$656D7B99-F130-47FA-9878-9D5B7B145452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa1617207d711926afd9dd028e807b78032b2be7","datavalue":{"value":{"entity-type":"item","numeric-id":43354,"id":"Q43354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$23691320-3613-4FC1-9339-AD660DC8009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d009563f73a7b2b446017f471c1e5d0e22924ee","datavalue":{"value":{"entity-type":"item","numeric-id":30405,"id":"Q30405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$6C38AC5F-110A-440F-9704-BDC3142E0008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"93f1a2914044193bb2b0e667dc339cc00e256b71","datavalue":{"value":{"entity-type":"item","numeric-id":37197,"id":"Q37197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$FBFA5A48-76E1-4575-AFE9-737B684D8FBB","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":"Q2118309$E732EBCD-1DE1-40D0-9666-56B0AB1755E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75b29b3982893d77bc617421b2cdba410ddb6aae","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118309$FCC74EB3-DE60-4F12-9D11-86D62834EECD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bb9f6eebfa6e348b0a02ea9a2471c21419ec746","datavalue":{"value":"W3186784740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118309$DD0BDD7F-B97E-4C7E-A4C0-819AE89076F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$EFDAD8C7-4E42-48CF-A05B-6342767E24C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$4A9EAB4E-08EE-4DDE-9324-FE0E26DC8F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$4D0ED458-1DA4-4C56-89B8-E86CFCB7937B","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":"Q2118309$9B8B1387-0A7D-4894-BFB7-21751C69AA6F","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":"Q2118309$C95AD0FC-EC12-464B-B82E-9E7B85C93E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$84E91437-8374-495D-9DF3-18F950653D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$9F5CD618-E728-443E-AD5C-0C447BC22650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f32da043220fdf832d2c28067fe9f711c0b5fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2181929,"id":"Q2181929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$3DBB711E-184B-44D3-8A1E-6983D8960D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$7B63F17A-7936-4018-A044-E203142BA4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$30CFF9B8-461B-4D0E-89C0-49E2E84A1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$B84566CA-4477-4595-B68E-B4DBF8A136CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a29c08eece71f663406a33814cf1588517dec1","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$1C9DC0B4-2754-490C-9E14-041139F5E3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46594f607f07797d1af3021edc64285e206c85e","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$ACEB9E18-44D1-435D-B358-8864A005BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154e67d7dd7e7adcf5d259cf0c1ecdb5d7d45f4","datavalue":{"value":{"entity-type":"item","numeric-id":2287199,"id":"Q2287199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$583967E8-A2FE-485A-9708-41B2BF03F451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7528f4d7d44eed75ca13872ab6b739b9de709","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$34F49CF1-C137-4788-A97C-8F694AA38A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$1402CA3F-41AA-413D-AB91-0CF21B982594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca60c6bd18a73ea64a5c853bb097ca2240be4eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$0755A0DF-F8C9-418B-8800-AE83E7C81907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$59F244F0-27D1-4962-9EC4-01C10B7C7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7303d2a9d49ffe50ca6cf78502741fba3469827","datavalue":{"value":{"entity-type":"item","numeric-id":2181937,"id":"Q2181937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$E9AA3867-96A3-4F9B-A229-66F84518084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$D6453423-3EB3-4971-B473-6D8C0A36B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65bb605327207eb9f770b57bfc9ecc6a4cb45","datavalue":{"value":{"entity-type":"item","numeric-id":1656569,"id":"Q1656569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$C2462268-3DB4-4BAA-8903-FE3B59A07BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8ecb2d6f36884d02916c2e1e3fb503d1c56f88","datavalue":{"value":{"entity-type":"item","numeric-id":3453235,"id":"Q3453235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$A6C1E50B-E173-4F7D-BEC1-7A8D985B19A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118309$82539F8D-C54B-44C0-8A65-9C17BDB9B448","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118309"}}}}}