{"entities":{"Q2988835":{"pageid":2999559,"ns":120,"title":"Item:Q2988835","lastrevid":58088334,"modified":"2026-04-03T18:24:38Z","type":"item","id":"Q2988835","labels":{"en":{"language":"en","value":"On the computational complexity of read once resolution decidability in 2CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721530"}},"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":"Q2988835$619E4174-B8BE-48B5-B977-5451269AB66D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b749e56a8dd410b8914778be96160c46dd57d82c","datavalue":{"value":{"text":"On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988835$80C786AB-CCBF-45E5-94FA-535CAC4A1550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d95c7df88309a52a0f4f78da32a682b1b629818","datavalue":{"value":"1485.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$AB3BAA5F-4CCA-4BAA-83AA-9805442CBB09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"417bc93f019355fcb8cdea5869187ce6a8734614","datavalue":{"value":"10.1007/978-3-319-55911-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$AC243207-7631-48F5-B418-40FF59F18D6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$B465D2EF-66D5-411A-96D4-AE0A4008EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$F9BA53D3-E98E-4376-9629-6A99E291D3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$4E50E360-2DF5-4798-89C1-E8348161AEC1","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":"Q2988835$0280EDCA-8E38-4CB3-BE6A-3F6EF93FFE1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988835$14A4511B-097F-4980-9E85-C0ADBD9B6D15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98d1662fa97f6de57726c70ea7f99a94271b394d","datavalue":{"value":"https://arxiv.org/abs/1610.04523","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988835$99960021-0ABA-4A74-9C5F-412F421ED772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$110B7C7C-FE94-424B-A50E-D84514F505F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$5AA6311A-9590-4BF8-B018-D05523B37CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$9A6978BE-BC38-44F9-8948-8C8671FEC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$7559F59C-87DB-49D8-AF9A-20D66FDFB19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$8E9EFF72-1CC3-43B9-9A71-9A11BD31A4E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"878e95278ec2b8f3bba2b96cba509cc3fa561cbd","datavalue":{"value":"6721530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$AC5B1230-4759-4B61-A867-036C986B2639","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020935d647dc1d20dc6c9c24fa5353eff225063a","datavalue":{"value":"2SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988835$DB6051C0-4C32-4DF0-93BA-83B0EBD7AAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988835$B3CC8BC7-E14A-488B-AA21-0B2554AE51A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09e8c93b5f86baf1293276f6be69a7904954703","datavalue":{"value":"read-once","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988835$517EAF5A-9BFE-463A-B82D-F5542660E704","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":"Q2988835$28EB3CD9-CF0E-40F1-9023-76BD3C2F9791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835e65fb67a893346eabf601feec383091cd40d6","datavalue":{"value":"W2533102354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988835$70914568-BD9A-47ED-B410-CFBAE419471D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$7ED813D0-70F0-4FD4-AC1D-7B94BCCE93CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$EE0FD86E-1561-4B5D-A540-83FB87804496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$2BCD4D71-8572-4A19-B134-1FCCFB9C8A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2045a7ec56e01f15e3eae4db248ef2b73a81db","datavalue":{"value":{"entity-type":"item","numeric-id":1132111,"id":"Q1132111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$27ED6BC4-4B75-4C0F-B37A-97B2C0381C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$6527ED4E-E80A-406A-85A6-F974D532307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9b3d4894f3739abe95fe62d00a87db18c64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$09DE3E63-7866-4ACB-AAC3-CD1D321BA101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$E5817D06-C28D-4B19-9187-AB6DC2265014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$06AA707B-7FC0-4701-B992-36BA99C997FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$1F616E8E-EA48-446A-8DC3-83E1AAAEB732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$8C1E79DE-CB0B-4A5C-9CF5-137EB1833FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$656E2F55-4A73-40FA-85A3-EA1DE75B081E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$EC091A2C-8414-4828-BC0E-2EF0B128A2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988835$B1254465-462D-4819-82CD-DBDB39803D88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da7745af10aea54d82bc13dafd8acdcc1d756c0","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7586e8299ff2c1d4a40f23d58656c17dceb88736","datavalue":{"value":{"amount":"+0.9322266578674316","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":"Q2988835$E6461026-765B-48EF-B86A-650F2CE275E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbe819dacccc077b96f36df1997f67822da032d","datavalue":{"value":{"entity-type":"item","numeric-id":2075363,"id":"Q2075363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6a6a3c0cb7afccf30b7e134f5b51d44013d8fc","datavalue":{"value":{"amount":"+0.8602298498153687","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":"Q2988835$CD4B1147-55A3-48D9-9122-29A2D21B1539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37711a1f9db45c4ea3c33515ffb03b2d5ec2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5224491,"id":"Q5224491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000c82169315ac434b5c728dcf9d793d54f680fe","datavalue":{"value":{"amount":"+0.824873149394989","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":"Q2988835$F65F4EBE-9A30-44BB-9B4C-C0C7979F906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b73f0bcd9d62fab9a89cd0539ba480246a9947","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018f32b4d2aa3c22e123659615813f911e34424e","datavalue":{"value":{"amount":"+0.8103345632553101","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":"Q2988835$4D35B88E-2F65-404E-A991-DE7099677603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8832ba9a080737a2ad3288fcd858633b5f53471b","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99b1640f8edc473972f59e586159b3c8f963511","datavalue":{"value":{"amount":"+0.8089029788970947","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":"Q2988835$634B2BBE-3296-43C3-9D1B-3E036C60CC95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988835"}}}}}