{"entities":{"Q5240215":{"pageid":7269783,"ns":120,"title":"Item:Q5240215","lastrevid":40750089,"modified":"2025-04-04T13:51:34Z","type":"item","id":"Q5240215","labels":{"en":{"language":"en","value":"Constraint CNF: SAT and CSP Language Under One Roof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121946"}},"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":"Q5240215$9017B448-0F37-4E93-A236-B6566B2B5EBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"744c7f7962e082d2e22e4b51e5f81224ffda14bb","datavalue":{"value":"1428.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$638E6695-0B60-4247-BE14-C0041616A18B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"623e3d14066b327fb85d777a7dc242cb21457da1","datavalue":{"value":{"entity-type":"item","numeric-id":2931257,"id":"Q2931257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$7758BDA4-707A-4010-9899-E96F5623B233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$4BDA7057-6B8D-4741-9172-78E59B93622C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240215$B235FE7B-6600-458C-A381-CA71DC7ACF20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$13569D5A-0116-4BD5-90AC-B8E5AC28DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$4F70732D-F0B5-4148-B198-3D5E8A743712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$DFE1EA2A-F049-486C-BC67-3DA68824D23B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73fb264525ddca3687918e619195c16df6989078","datavalue":{"value":"7121946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$C1E961F7-E326-4130-AAB8-809B2D4D390D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240215$8BAF3E90-62D1-4376-8C85-A102D9A916F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240215$0D242C43-E896-4AF5-8D67-F90701CE5C5B","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":"Q5240215$8FF8E1F3-A33F-4963-99FA-395925EFBE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54c4db5b3f124efb02306bb4c30dd9d1d636d7cb","datavalue":{"value":{"entity-type":"item","numeric-id":21737,"id":"Q21737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$BEB706CC-B68B-403D-A5B8-FDFC90410B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02493497fd98f03aeb4592bfc77b1177e6dd49a9","datavalue":{"value":{"entity-type":"item","numeric-id":21871,"id":"Q21871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$C7A30A63-2C9C-4F06-B600-56E40EA1D580","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":"Q5240215$ECA18B20-B446-4BAC-A04F-54E65B609477","rank":"normal"}],"P223":[{"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":"Q5240215$66C15CC4-464C-4B46-ACF7-4C721B677692","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":"Q5240215$8B4765D8-1C53-4489-8926-362066910E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645ac413b9bc545bfc6cbf455b701db9e6bfb8cd","datavalue":{"value":{"entity-type":"item","numeric-id":4649733,"id":"Q4649733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$4D98F372-4F10-4EDD-BB67-52A8A1ADEAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38d77147311d9bb8d9a38690174fc7239a36249","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$75C045AE-BFED-4E2E-B2C4-871BADD2600E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8c0455d57559bda0813a0bd0c40ad75adf280c3","datavalue":{"value":{"entity-type":"item","numeric-id":3008404,"id":"Q3008404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$39BC7004-8A53-4198-97C4-684507A4C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$395CA287-C44A-4BDA-9C89-2871DC0B3A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$D7D2C573-0739-481F-9AE0-ADA997BE7571","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":"Q5240215$2A0FFAB1-7FCF-4A0C-BCC8-9C704CEE4B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce96310995707dfc9099afb4c4d6d02e16acb8","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$27A5A75E-C85D-402E-BC27-0E231513BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240215$7E74842C-6550-4B84-9F1A-45182005B1C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9daa3200a2a21c54807c014b8fb3869372e83ab8","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#CatL16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240215$947C94F4-FED6-4666-9201-110B5584074C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67d23f091f750b237253d37ded2e10eeee7fb9e9","datavalue":{"value":"W2236450292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$BF72DF51-0C5A-475C-A8F8-60EDC640F4D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b0b7e436e6ccab39cfce3011f3b63dd14d3cc0d","datavalue":{"value":{"text":"Constraint CNF: SAT and CSP Language Under One Roof.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240215$9930841B-6707-4E3F-A4A2-6BFDD9B34F71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d20cbbb40abd157dc36b29323a95d069b5f1aa3","datavalue":{"value":"10.4230/OASICS.ICLP.2016.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240215$D3B13386-5FEC-407D-922C-A58D2B4C7DB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc749df5cc98207e13aa4a9e54152a47415b72","datavalue":{"value":{"entity-type":"item","numeric-id":1204868,"id":"Q1204868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e78956bc20c316c927a7e7f9451fc4ea7a3c31c","datavalue":{"value":{"amount":"+0.87186706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$1BF484B2-3CF3-4581-9DE7-B11E50419FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c93ef3095256023ef6d468f22eff44a84ae6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5897214,"id":"Q5897214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e50cfca82ad81f15560fd8020628e215a5f8cd","datavalue":{"value":{"amount":"+0.8669927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$AC476E98-93A9-4BAB-9B1D-E32FBD96E0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac97009fd0eee5d76f5db5dfc3815a7e021dd25","datavalue":{"value":{"entity-type":"item","numeric-id":2842126,"id":"Q2842126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d47cb70c7570783fe393020bc353201dde3e546","datavalue":{"value":{"amount":"+0.8633659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$4DE1AC29-E42C-4A53-A0BE-2B2EF6C89022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45957c5626845ad6a1b1e3fa9d14e8cf9c0bf9b","datavalue":{"value":{"entity-type":"item","numeric-id":2634500,"id":"Q2634500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cc2d4dbcea2e8f5cc5ece149a86c35e9ad9768","datavalue":{"value":{"amount":"+0.86042666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$DF166ACA-5963-435A-A8A4-86EB11EBC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fcd8d6b42d791420afc156ae1c131d05564833","datavalue":{"value":{"entity-type":"item","numeric-id":4536728,"id":"Q4536728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbfafe08546f145db2a2483820d9f74b61f7319","datavalue":{"value":{"amount":"+0.8601928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$DF1836F8-BFFC-44EA-BF75-B0AFFCD6BFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc4495214e6e28c4d832de36fa755aa7765b75","datavalue":{"value":{"entity-type":"item","numeric-id":1103421,"id":"Q1103421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7abfcb33d64732a05b7e0c6ee444005712a71a","datavalue":{"value":{"amount":"+0.86012864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$172F39F0-45D8-4523-B49B-B7551FF648D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a375a9028884bca82d55545cbc5f5a504d58991e","datavalue":{"value":{"entity-type":"item","numeric-id":436423,"id":"Q436423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cfa81adc70ed81d5743a64e438f392fb5aa3b8","datavalue":{"value":{"amount":"+0.85977006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$419ED69C-6A8D-4E18-868C-94D80BB9A522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47dfc494206adb4d74235d50765c1a5b091994ff","datavalue":{"value":{"entity-type":"item","numeric-id":4811598,"id":"Q4811598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e173313aa141feffc6f1dc49d05403b7225c0084","datavalue":{"value":{"amount":"+0.85951006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$8B1BF605-F138-467C-A64D-D2E511FC71DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b796c4bac849eb9a553241c3c3ad943cdf07b0","datavalue":{"value":{"entity-type":"item","numeric-id":4221348,"id":"Q4221348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c78879754cc30b04052ee7856b249948c80a68c","datavalue":{"value":{"amount":"+0.85800534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5240215$8D1BCD92-E0E1-4785-AF3C-354BD526485E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240215"}}}}}