{"entities":{"Q6492741":{"pageid":14071514,"ns":120,"title":"Item:Q6492741","lastrevid":99629291,"modified":"2026-06-05T20:24:25Z","type":"item","id":"Q6492741","labels":{"en":{"language":"en","value":"A More Pragmatic CDCL for\u00a0IsaSAT and\u00a0Targetting LLVM (Short Paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838488"}},"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":"Q6492741$E16F53DC-1CDE-49E4-A0B8-A21F4B682D37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed4e38d70b8bc91bed720a16eb3a1f20f20157f4","datavalue":{"value":{"text":"A More Pragmatic CDCL for\u00a0IsaSAT and\u00a0Targetting LLVM (Short Paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492741$2E9EB94F-335F-440F-BB65-C68FE2FA98F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdcd314fa20f4014645c264b5010c3885a4c04c8","datavalue":{"value":"10.1007/978-3-031-38499-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492741$EBD54E40-D2DC-4CDE-BA51-3E52BE33622D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$F6097CD5-DCC5-4837-BB3E-34432D9FA816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$56438A0A-83C5-469F-A1CF-6088A0B984D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492741$B153A8C3-6958-46F1-814A-67777C23CC96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492741$2B45B4A8-B84A-4FBD-BB2E-9DFCCD348E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492741$4CCA3A07-E58B-47CF-A71B-3BAFE57E0789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"073d2cc1025a16287bd4a64cce8bd01000bcb892","datavalue":{"value":"7838488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492741$9B1C709D-933A-4892-A9F1-EEA7C18DA90A","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":"Q6492741$0F080B6E-CC25-4ECA-80B7-BD7CF1DC9ED8","rank":"normal"}],"P223":[{"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":"Q6492741$8C1EC66B-20A3-4C0C-88D2-7CDC12D1F4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2d672d21d4d5af646f31d9599e67b8b6b153b","datavalue":{"value":{"entity-type":"item","numeric-id":1663234,"id":"Q1663234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$A2DFF296-FA3A-498F-8737-FE19D7D3E94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$B4E35873-FDB1-4EA1-9019-0AFBCD2E433A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1da5c22d4d2c4c355c02f06551c5180aa6ea86","datavalue":{"value":{"entity-type":"item","numeric-id":5101311,"id":"Q5101311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$1A2428FF-4E1D-480B-8193-CB3621814FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238202070e1e284de0d683f3fbaa805bd68cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$4A13DDE5-EF72-4001-9500-5012D643651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$22575FB6-8F02-4ADD-94F2-C7893FC05FE1","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":"Q6492741$6F5562C7-B916-409C-9653-961BE654E28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$B142E83C-21D6-42AB-A05F-0B43E776B88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12145c5e201ee3f7759ed285759c2b5f5112ba5a","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$18FCA0CB-174E-4084-987E-B5BEE4513167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$83962EB2-E0B5-447A-907D-022ADF2AA453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$06B2A999-F6F6-49A4-B5E6-8D62B5214DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$764BC1AB-4B0B-4379-BE94-4B1B2D42A8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$FE018E67-2254-42DB-BB5B-CF6D0FC36B5E","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":"Q6492741$09889087-4262-4C33-90C9-DB5B54A1E34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99741ea86af8e3fe4690d90c224835231a7ef4d","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$AFF6317C-63C3-471E-85CF-70C5CC97135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$BB75A576-C3F8-4CF1-89B8-B34EDF9E7DA9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492741$D0CAC810-151E-4126-B033-5D0DCD9778A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_More_Pragmatic_CDCL_for_IsaSAT_and_Targetting_LLVM_(Short_Paper)"}}}}}