{"entities":{"Q1610491":{"pageid":1621231,"ns":120,"title":"Item:Q1610491","lastrevid":47964442,"modified":"2026-01-03T05:06:55Z","type":"item","id":"Q1610491","labels":{"en":{"language":"en","value":"The complexity of read-once resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1784202"}},"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":"Q1610491$0D8C72D5-45E5-42B8-BCE4-8B16C8989E7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8de552b3feae164fca26dc18220bac4ae2bbce41","datavalue":{"value":{"text":"The complexity of read-once resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1610491$C4AF58E9-FFEA-4650-ACC1-5CE63AA82A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbf839955bca8b0239e5791b36440d7202b3f295","datavalue":{"value":"1015.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610491$0BBAFCCD-27CD-42DE-AE30-BDE087B2905A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50eb1482daf023311628eda182a725f01d290c3f","datavalue":{"value":"10.1023/A:1016339119669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610491$E3BE6151-E06D-4102-A889-740464B3A457","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":"Q1610491$AE0C7AA1-7497-4639-B7FF-87DA6B5F7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610491$9CDE6195-06A5-4A44-9F20-58C3E75A3A02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1610491$6F7C6798-10FB-402B-B1DD-3945C65EE344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1bc61368984c5e3500adde65887085533364de4","datavalue":{"value":{"time":"+2002-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1610491$0143AA08-0190-443D-9EB0-A7A53AF64EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610491$4AF83214-E7B3-4B85-AFC6-7EE2A9C68B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ade8b9dafdfa4e9ca795523aeb3499d1617bfc0","datavalue":{"value":"1784202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610491$61856593-3919-4997-99CC-A5B965ACFC5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3c99922201d29babffd9dc858fa390355f7cc5","datavalue":{"value":"read-once resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610491$DB364D93-F4E9-4857-9D5B-82599194055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd624c13555b9ad8802547c9dcd4f7ef3bbabee6","datavalue":{"value":"propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610491$8C75BC9E-9BE8-4595-9042-17B274D4AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610491$80CF30C9-9901-4FC8-9DCF-A4366C8BF1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500b8a2bd176fab8bc5c64d8e5140452ef1ec482","datavalue":{"value":"\\(k\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610491$DA24BA44-C61D-4860-A44E-BF3FEECCA341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc1107713b7cb9537df133dc1c97d1f3a18c9e","datavalue":{"value":"minimal unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1610491$39DA4920-7EA6-445B-A63F-556728699460","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":"Q1610491$C675AC61-2D9F-453B-9CB6-C46F24BBA130","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bb18b04d89dcafe1b233e4ab8ad9ab070c8e64d","datavalue":{"value":"https://doi.org/10.1023/a:1016339119669","type":"string"},"datatype":"url"},"type":"statement","id":"Q1610491$6866E01A-3048-40C4-B2B0-DA4863E6B5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"830392305a8b105c188c9bd40493568ee054010f","datavalue":{"value":"W1512384059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1610491$CF79229D-8658-4196-9F02-7C3352C0CA55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3682bc40b2774fc191a38cb8d0f52db219952da8","datavalue":{"value":{"entity-type":"item","numeric-id":5325874,"id":"Q5325874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26054a2957c28805dfb1afaf174821bf551048b8","datavalue":{"value":{"amount":"+0.8842372298240662","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":"Q1610491$E2AA5CD7-8801-4801-97E8-F949219CD35E","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":"070d113d5c616beb546e77e9c0c9e6e995b618d1","datavalue":{"value":{"amount":"+0.8603548407554626","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":"Q1610491$3EC74FAE-3BA5-4935-93D6-8940F64ADBB7","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":"d982323e533d1a6a62be0d7509e04d1a74b910af","datavalue":{"value":{"amount":"+0.8262723088264465","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":"Q1610491$A613DEDE-2FEA-4158-9269-CF35F45EACD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf5397941b8f8076f28ec9a6f693aa7470497c1","datavalue":{"value":{"entity-type":"item","numeric-id":2988835,"id":"Q2988835"},"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":"Q1610491$EE9C1EEE-C717-4C9A-A516-3A38311FEA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f3b959abc5df196425724c440feff6626db7e9","datavalue":{"value":{"entity-type":"item","numeric-id":5309031,"id":"Q5309031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53c3a48ce0e8f23f1fcef7e7d0e9e331414f1d9","datavalue":{"value":{"amount":"+0.8049347400665283","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":"Q1610491$2FCEB2F2-BB5A-4438-A971-3CA681068340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1610491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1610491"}}}}}