{"entities":{"Q2908839":{"pageid":2919564,"ns":120,"title":"Item:Q2908839","lastrevid":42484676,"modified":"2025-06-28T17:19:13Z","type":"item","id":"Q2908839","labels":{"en":{"language":"en","value":"Satisfiability of acyclic and almost acyclic CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073522"}},"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":"Q2908839$DEAFC346-CC15-486C-A3B2-7B3238DDF847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69872cbbe61e9a83523cea7333f0e70930dc2739","datavalue":{"value":"1245.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$9683ADD9-332D-4570-B1AB-00059C283B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908839$00630C33-EB8F-40C1-9789-98B918FC8C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8bda24e5db7031b811824423dc274be5147149","datavalue":{"value":{"entity-type":"item","numeric-id":170462,"id":"Q170462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908839$712082BF-20F1-443E-BA21-DABFF7A476D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908839$E3D880C6-4852-4156-B4EE-7D09423A06FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908839$BE41E403-471A-4F35-B866-E9B508453C33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"264318d8212d31a28a7752562b1cc63d42c53d10","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_60ba.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908839$E6A139FB-5929-4F0E-9C20-822CBCD6DB77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$CB628EA6-B583-404A-AD82-E15FC61C472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$C3883484-C4A2-48BC-85D4-398A4ED7CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$E17A1DAC-F34C-4C59-A6D3-B01E11D52312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$DFB72393-6500-44C9-9241-42AA78EFAD48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b42dfca37443993a2134f9a0fb15169bad61cb6","datavalue":{"value":"6073522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$28F045F6-62B6-4E84-B1A2-C2727113A4D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908839$9D1818F3-CDFE-463F-AEE6-2A695E40675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084e4e084e1ca9949538be78e4b85dc1d91d6889","datavalue":{"value":"chordal bipartite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908839$0BA37EFD-EB78-4646-852B-56772D5695A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b9dec3843570e50d09400c2fa33f76de095963","datavalue":{"value":"\\(\\beta\\)-acyclic hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908839$DD5F1563-9AAC-4F58-92A7-C49945C9EE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c90c48c1ab2c02d986907d0aa131d14fcd63ef","datavalue":{"value":"backdoor sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908839$E872B2D8-2865-42D0-9D22-2F7AB39467D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908839$079CD57C-F3E5-440E-9BBA-4374153F4BF0","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":"Q2908839$1A03CB17-04CB-4A9A-B9D9-7C51B701E2E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d31a57b2160a30d10c78196e6e8a1b463f7bec3","datavalue":{"value":"W2287549241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$E4B1B377-776F-4E56-96A9-D0138DFC9168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04482f0d53e58550ccbc1d8ee0a6a9bfbedd0994","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908839$A819E807-BF13-4D4D-8FAF-0EBFF22CADF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26fa14b06349bdf1877ace2d6f593ffb319acc","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q2908839$4483113F-F6BB-4D26-926B-B5D12CD2877D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5ad32c89452602be7df297888f481df953327","datavalue":{"value":{"entity-type":"item","numeric-id":3007673,"id":"Q3007673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18756e1a0c64762169e25760c50d399d42f1d469","datavalue":{"value":{"amount":"+0.9752512","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":"Q2908839$25596DE3-BA3C-4CF9-8739-F8C96E80FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41851dbd9d8df884799c51766bd11828e498f3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1627839,"id":"Q1627839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78619b8ec2b314e6f1dd3ce57f8aa6039ea475f","datavalue":{"value":{"amount":"+0.9216251","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":"Q2908839$70539BDC-957B-4319-8CFC-997A0B62A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a787f1639d910366681b7a3ca5977afdcf6a5859","datavalue":{"value":{"amount":"+0.9154116","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":"Q2908839$A31201AD-47B0-4670-92A3-9A05FB72D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cfdcaa4b11fb888d019005dc98576b40fe9961","datavalue":{"value":{"amount":"+0.9085121","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":"Q2908839$5419BFCB-A8AC-4ED2-9B07-EA3608268ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b614dcc8d551ded452648a26f1091f72f9c1b03","datavalue":{"value":{"amount":"+0.908357","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":"Q2908839$78484E48-76B9-4348-9ADE-49DF5CCDD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec842c2d308234152e050e7702692de7debc5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1323332,"id":"Q1323332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc22119fc64fe66b76fc15321b442e0027d6876","datavalue":{"value":{"amount":"+0.9039662","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":"Q2908839$3F162FD0-47C9-43DD-AF23-DE240BECAD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f745d637a7d8df1a6b719aa4e7fdcf72a26317","datavalue":{"value":{"entity-type":"item","numeric-id":438582,"id":"Q438582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790e882e96773e65345c8b0dc20357f9a35443c1","datavalue":{"value":{"amount":"+0.89687353","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":"Q2908839$DB79788F-54C2-4754-A3CE-872FC16E5E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ba62f2326cf0138f169b1c2bc980f74461d51","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb66d364d56fa238c69cfec5394b9262b6f31401","datavalue":{"value":{"amount":"+0.89622563","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":"Q2908839$BDEE8C99-543A-4C95-A594-9616C874CA8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44b1f9200c3138d63e39e7d81af0db74d7f40e67","datavalue":{"value":{"text":"Satisfiability of acyclic and almost acyclic CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908839$F34B8398-D127-47BF-AAC4-7CBFFEF1B2C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908839"}}}}}