{"entities":{"Q5714756":{"pageid":7744310,"ns":120,"title":"Item:Q5714756","lastrevid":48614077,"modified":"2026-01-05T09:39:51Z","type":"item","id":"Q5714756","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239209"}},"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":"Q5714756$B149ABB5-3995-4FF6-8F96-AB43CFF73C7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5714756$CC104334-3C07-48D8-81EA-5D5170F353B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e308d52b0e0ea9e53a3776b4c211aac62e496d0d","datavalue":{"value":"1122.68614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$BDBEC699-56F0-491F-ADBC-62E6FD7CA8DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$3E830639-6BEB-4E7F-A0AE-DA056FDBCE0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714756$163F6B38-38AD-4E5A-9D3B-6DF343C5F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714756$7211A650-6BA0-4AC3-A500-9B48EBAD6705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714756$C0BFE742-23EB-4553-ABE9-11B0D08AE610","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-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":"Q5714756$C31BF51C-498C-4E9A-A446-B16BE1081188","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$52761941-F015-4C78-A5DD-49F648D0B1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$968026B5-2F43-429B-8272-608D5F7956FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cbe0fcf20aa284ccb1c0a70b3a797bf3530a59e","datavalue":{"value":"2239209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$A9F173F6-B76A-4087-8E46-708A8BF04515","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29404b171fb619b28f1eddfc5f0f5ae868b4a9eb","datavalue":{"value":"(hidden) Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$A997652E-E51E-4895-AB9B-3AD0248C17C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e457cfce1926a4ee627c77ac105c51b582be196","datavalue":{"value":"quadratic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$A8353A29-EBDB-491E-BDFD-9498D4275953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$56D9E2BB-F49D-4E94-BD9A-BFED21C6994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$CBF6868F-4D25-47A2-99FA-0E5E65E22E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335abf1d3ba5c2129cd742ebaa7c52fd4c924b3e","datavalue":{"value":"minimal vertex cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$F1C1D31E-0C17-46D7-B6F8-F1C0F80597A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5714756$1A026068-52CB-4717-A599-4AA2930FC853","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714756$8871A8DE-F77C-4310-B607-531D36115CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714756$F3F008FE-7E36-473A-8436-6F35E98E6222","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":"Q5714756$360416DF-B2A0-4130-9B40-D7288BE690CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714756$41C586A2-2A3D-41FD-83BE-CFBCB4C06288","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714756$AA2F0722-BA8E-4C71-8390-2C83EB9C710E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdc40a39cafca850e937a85c497ef8f6aa072dd","datavalue":{"value":{"amount":"+0.9449800848960876","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":"Q5714756$B9C79EDE-EC96-4BE7-8996-54154F773E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d35e8346ddf1ecc5df43d57c455835ac6fa692","datavalue":{"value":{"entity-type":"item","numeric-id":3637161,"id":"Q3637161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bf37c0b4c59e56e5c15ab727cfdacd71a4770e","datavalue":{"value":{"amount":"+0.8663831353187561","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":"Q5714756$359C211A-0708-49DB-9CAE-32E8AC5EF666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63726ee122855872a37f6f582b065b1e64c2362","datavalue":{"value":{"entity-type":"item","numeric-id":4931561,"id":"Q4931561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edefb763e1182c5a5d44e4f77638072b545a04a7","datavalue":{"value":{"amount":"+0.8660615682601929","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":"Q5714756$7FCDD74E-C35E-443F-A379-504AB64DE405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a86267f9917f6197c36cbc96cf470a5b05dd83","datavalue":{"value":{"amount":"+0.803533136844635","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":"Q5714756$7FAA4C18-2465-4707-ABF5-5A62185DD431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3fb1e5adb92b7b7c4f54d657b0393d39bdf4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2800587,"id":"Q2800587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876525f18574a8c03cb039a56d71c2cd457ab651","datavalue":{"value":{"amount":"+0.7778033018112183","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":"Q5714756$0EFF10BE-1B92-4A9B-B809-C269B63E789F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714756"}}}}}