{"entities":{"Q6620061":{"pageid":14231218,"ns":120,"title":"Item:Q6620061","lastrevid":55770178,"modified":"2026-02-17T22:28:24Z","type":"item","id":"Q6620061","labels":{"en":{"language":"en","value":"Parallel SAT framework to find clustering of differential characteristics and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7927480"}},"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":"Q6620061$98C8A503-2F17-44ED-83F7-624882B4DE40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39d29a7e737a52f467d50a0549c4a982af7d6602","datavalue":{"value":{"text":"Parallel SAT framework to find clustering of differential characteristics and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6620061$26ED644C-0195-4CFB-97EF-5F1E6DEC38D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1000caf311631ba33de2968f62fea36751aa252","datavalue":{"value":"10.1007/978-3-031-53368-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6620061$CEEA53BF-7E91-493B-9222-12E2A4BF10F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b95276f35a81651700d97301841684b3158a2b","datavalue":{"value":{"entity-type":"item","numeric-id":832380,"id":"Q832380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$5B96D2D2-FF5B-4684-B668-13E821085DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc8de22f396940eb0ffe4d2a0c433a65879e7ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1784447,"id":"Q1784447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$0B69D58A-AD20-4695-B77E-808E476DA828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28c6f8f2930c3ea8d91a391a272b07acde558039","datavalue":{"value":{"entity-type":"item","numeric-id":778904,"id":"Q778904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$26F60E78-E7A7-4578-A099-2DCE008F63AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ae56edb5ad3ae2abf62bcec2ea3a33fb4352e6f","datavalue":{"value":{"time":"+2024-10-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":"Q6620061$A1B80984-239E-4D9A-A790-E5C1480F4799","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6620061$C4B4BEBB-6605-44BE-B5B1-69EFE5BF4D48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bbed849b119c4967801e12c3f8915563c6c5fac","datavalue":{"value":"7927480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6620061$E800F406-FAB5-4407-A236-0FA3A54CE5E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d6273290cf6af44a212261cd5e03c1ef710c47","datavalue":{"value":"differential","type":"string"},"datatype":"string"},"type":"statement","id":"Q6620061$0E8D8DDB-6730-4236-A0D4-07C077C39D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569cd15ef6cbe18b003d456257fc7ef6680a5df2","datavalue":{"value":"SAT-based automatic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6620061$1796EC9A-1E9A-4F25-BBBA-701AB610CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54c359e68b7c3a3f000cf2c3b3a9940aa0632936","datavalue":{"value":"incremental SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6620061$29B65F98-AF11-4E79-BB95-94714897611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31df31a8becd8c078de2aafa4720fc3d53a7f65","datavalue":{"value":"low-latency primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q6620061$578F33D7-E00C-4323-A9E0-DBC5027BA553","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":"Q6620061$262DA906-17E6-4A17-9495-E4CF0176A308","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c760c0fb30417529bd435ec2235f3a41eccff9","datavalue":{"value":{"entity-type":"item","numeric-id":1726672,"id":"Q1726672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$28A287BA-E7FC-45D8-B313-DB154E936164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$51BF4248-BA1C-4706-8197-64880972B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3907820777625d821b52f501e4cb3f59f8d695c6","datavalue":{"value":{"entity-type":"item","numeric-id":2795984,"id":"Q2795984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$8543A640-33D7-4B95-86E9-9C4F5AD0F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e3ad270ce0a651280814863fb02ffab2f0d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":2829213,"id":"Q2829213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$84339977-1C81-4D77-9798-419C64794D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2badfe482f5f9553a1fb84c10c0d8bc52267c1","datavalue":{"value":{"entity-type":"item","numeric-id":2946928,"id":"Q2946928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$997891AF-9DB1-4155-A450-DB0E93986EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5967fbaa2978bf1d87743217de30232da9e51d","datavalue":{"value":{"entity-type":"item","numeric-id":4911587,"id":"Q4911587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$B2873515-C427-4948-9F3D-CFBF0F0E485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0589cf5a2db0242864267f041f45cd28dfde5461","datavalue":{"value":{"entity-type":"item","numeric-id":832374,"id":"Q832374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$B57CA1DF-E6EF-4CA0-B13C-7CA1A52717CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c636e8878a0617aee375c06a0021de87ddbbd103","datavalue":{"value":{"entity-type":"item","numeric-id":2946930,"id":"Q2946930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$8BD74BF6-4BE5-46EF-9F22-D3AC8C38396D","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":"Q6620061$BA840835-F84C-4190-920C-D83474122490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$52AC4E86-7F22-4F74-961D-9B6BD14B0452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b0c78ac44f235400690ef7561bf025387d3ea9","datavalue":{"value":{"entity-type":"item","numeric-id":3457109,"id":"Q3457109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$D9101B27-6B2A-404F-A9FC-DF855B29C95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4229b7461102ae96250cb2785f985625c75f37","datavalue":{"value":{"entity-type":"item","numeric-id":4614177,"id":"Q4614177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$E6463557-4E6C-486C-AC0B-A85384EDF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a717ec55b52f2d0875debe86042d0e598c4a19d3","datavalue":{"value":{"entity-type":"item","numeric-id":4037447,"id":"Q4037447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$74D7868A-F5CF-42DA-BFEB-30B3F695A849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b968540e8f04207a70f30d897ad527bb014c71c6","datavalue":{"value":{"entity-type":"item","numeric-id":4365755,"id":"Q4365755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$4DB66FC1-D3B4-4306-8E0B-EB1F6AEE4FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$7A749984-C56F-488C-ADAB-8629BC44567B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905e30c94eacac7a229165d8cc36b99c2ed4e9d7","datavalue":{"value":{"entity-type":"item","numeric-id":1695878,"id":"Q1695878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6620061$1A0B962E-DCEB-47B2-B473-D088C52A9402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f5e6ffad247b893c3aaab80c6fb09ded0be1d0","datavalue":{"value":{"entity-type":"item","numeric-id":6550653,"id":"Q6550653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcff94b135445432faf4b819be80540fc0c46334","datavalue":{"value":{"amount":"+0.7697460651397705","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":"Q6620061$A324D17D-A35C-40AC-861D-7B91A146AA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18ea793456a53106b28b8aeb6ce8a67e7682ab7","datavalue":{"value":{"entity-type":"item","numeric-id":6063134,"id":"Q6063134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c791d48e8b4e62ea4fdefb0a8d6eecda0bf771","datavalue":{"value":{"amount":"+0.7623894810676575","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":"Q6620061$981374F8-CE88-4068-BA25-1D24CEFC8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376ee9788e99b92889dfcdd07a88556c5ca34d87","datavalue":{"value":{"entity-type":"item","numeric-id":6057183,"id":"Q6057183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9d77d756a263a308ec2b22763da773279103a0","datavalue":{"value":{"amount":"+0.7504780292510986","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":"Q6620061$026B53AB-CA68-4D87-8E74-16BF9F795F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fd851c5890090f1305d91c4d373f65945b0542","datavalue":{"value":{"entity-type":"item","numeric-id":6108832,"id":"Q6108832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8827b39793d3a4266650ddd5e4437a3b67734114","datavalue":{"value":{"amount":"+0.7431526184082031","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":"Q6620061$6BC55F53-CC69-4558-801D-24CCC9C648AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6620061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6620061"}}}}}