{"entities":{"Q3527692":{"pageid":5557596,"ns":120,"title":"Item:Q3527692","lastrevid":50465303,"modified":"2026-01-14T03:08:07Z","type":"item","id":"Q3527692","labels":{"en":{"language":"en","value":"SAT graph-based representation: A new perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5348258"}},"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":"Q3527692$D9A2151D-FE87-4E5F-BEEC-F25FD30F8D03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"687f9a7ceb87affc5a1618c888b02538bd02c28e","datavalue":{"value":{"text":"SAT graph-based representation: A new perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527692$91561BD6-AE12-4C81-9B37-BCD59F8518D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a92cc6f0199d108a0283877f96fd45be90fbf251","datavalue":{"value":"1151.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527692$C60D2397-F7A5-4ED0-A05A-8605AC0C463A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527692$687A20E0-F48A-426C-8DFA-52F23DA0F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527692$85C03D13-BB18-4A23-9CC7-A589AEB9505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527692$D41B4B3A-D269-49B0-A9A7-1A7CE4640811","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9bcfebe9d23b7752651008b0d843e08ec7c57a37","datavalue":{"value":{"entity-type":"item","numeric-id":2709787,"id":"Q2709787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527692$79E72A8F-31B9-4BC5-BAA8-86482B8A9D82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf6f7b353a66969518a90b0af004266817357ae3","datavalue":{"value":{"time":"+2008-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527692$D83ED577-A20B-4C15-8CE1-2FE4EA2AF281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527692$D83DFD68-E0DD-45B1-A509-D6850CA19128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5fd77aca834e51f4dbd3c91ada0fcc7f7f22226","datavalue":{"value":"5348258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527692$C5D3B321-3BC9-47C3-AC49-BBE716838E9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527692$B19DEB28-DD98-4707-81CA-7A55BE6EA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f350963c3ffd5bc6c1dd1ea98dd71f4070b00","datavalue":{"value":"graph representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527692$7A6B84E0-2E3C-47D3-8B7F-670004DADF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12623b038610c90723d1aab594f93326474490dd","datavalue":{"value":"backdoors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527692$2B5925B5-071D-4E02-B0AC-B0CB7F082F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527692$3210540F-D507-4291-8D69-12604F7AFA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a3ae76578a4d5d88a56c0f8805a0ae043ff05e","datavalue":{"value":"benchmarks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3527692$F6E62D6E-C9B7-4C74-B963-C6FFCDFBCAE3","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":"Q3527692$3F7B997F-E47A-4D3D-847A-193712C54F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14d86c373fac38ba9fa708709cc3598c7b813b7b","datavalue":{"value":{"entity-type":"item","numeric-id":12984,"id":"Q12984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527692$91C542FA-EBEF-4402-9B0E-226F6A397E02","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":"Q3527692$1D5ABCA4-25D3-4ED4-9275-42A84142E2D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cc788a361275f004de865357ccb87a40794f8ca","datavalue":{"value":"https://doi.org/10.1016/j.jalgor.2008.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527692$8B0ED114-8B53-45D3-922C-940C8CE6DFF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05c7fd94bd9ae6cded4d3aa91f4ab469ce133fe5","datavalue":{"value":"W4299046346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527692$D6396A32-0D9A-4297-A3A4-61865361BBE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6bf019c18b5e45e69efc91ddad521246b4e3a6","datavalue":{"value":"10.1016/J.JALGOR.2008.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527692$0DC366EF-7D41-44AC-97FC-2B6DDE9ED099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e172c783b3c5385b6fae5a70a5a39ed89bd96a","datavalue":{"value":{"entity-type":"item","numeric-id":3612453,"id":"Q3612453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebe9a5119fb3698f3cc967e4ab669d627d4cebb","datavalue":{"value":{"amount":"+0.7828707098960876","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":"Q3527692$46D87FE4-D464-4576-BC47-342B077FAE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7368e595c206475d26cffc19280ef39ff7756b7","datavalue":{"value":{"amount":"+0.7722201347351074","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":"Q3527692$2CAFBB58-4EC2-4533-A290-C312C0E3E863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76a21cabe34ce26cba9951bc2df963295e016a","datavalue":{"value":{"entity-type":"item","numeric-id":976123,"id":"Q976123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7c220cad3f17b1889c75c1b09222d3eed39615","datavalue":{"value":{"amount":"+0.7506923079490662","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":"Q3527692$78D740BD-289D-4BEA-99E6-4FCBDBD4E8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6b7a2dfb1828401b85f79f85c617695b5bed13","datavalue":{"value":{"entity-type":"item","numeric-id":5758133,"id":"Q5758133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959b1071d2540cffa79f14c990cf1d0f24f856c9","datavalue":{"value":{"amount":"+0.7416226267814636","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":"Q3527692$F77D4D07-DC32-4ACC-80EA-CD2BC7B42415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92573f6ed171c2bc4d6ba3fba75ec88d353196d9","datavalue":{"value":{"entity-type":"item","numeric-id":5851844,"id":"Q5851844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2731ab92737e7f953c9c61f61cdfc0027ee233dd","datavalue":{"value":{"amount":"+0.7380625009536743","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":"Q3527692$CFC0B4AA-FC71-473D-B177-B988589F2045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527692"}}}}}