{"entities":{"Q3496310":{"pageid":5526213,"ns":120,"title":"Item:Q3496310","lastrevid":49427149,"modified":"2026-01-07T03:33:50Z","type":"item","id":"Q3496310","labels":{"en":{"language":"en","value":"Many hard examples for resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170866"}},"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":"Q3496310$096E3D4C-5A91-4A0E-888A-ACBD2B059220","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e298774c0f334c2a2c46ded5dc5ce2ea3085eaed","datavalue":{"value":{"text":"Many hard examples for resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3496310$ECDC53B4-82E6-4C39-8337-E3CAEE812C5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77cb6a5ec3ef9da8297bbf6bc5c88279430cfe60","datavalue":{"value":"0712.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$777B712E-0D2F-4C61-8E25-9CDEBB3B6F1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cb6745fc780fbfb2296cabcc272345e4b424f8f","datavalue":{"value":"10.1145/48014.48016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$64E1D814-5E69-4E76-B113-1244C105CB82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c33d3d516bcf7a7a7968560a1817b77f2fffdd","datavalue":{"value":{"entity-type":"item","numeric-id":641184,"id":"Q641184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496310$7961EC21-5A2B-4A3E-AC52-7225C0ABD950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11ae3d44052578af232f86664e60399b2eea5845","datavalue":{"value":{"entity-type":"item","numeric-id":6480429,"id":"Q6480429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496310$516716AD-D013-4BB3-A59E-71CD8D68DFB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496310$AE6C2097-ED64-49D1-90C3-54C984EC04A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3496310$FB744B30-9DD2-4162-AFD7-B2B7ECA33EBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$BECCF3BC-722C-4B61-B950-B3A30BCFC335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$FCB786B1-01D7-419C-B7D7-5C5843B2D5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$6585A016-730F-4935-85E5-13D42027260D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4582aa3213ee329775e9ce87e91a3a1a3a690750","datavalue":{"value":"4170866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$24DC0EBB-8B81-4685-A2D4-18B9321067DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496310$2A382AA2-0EC7-4B7F-A3B8-F7D9A910CECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae41c8d2271a5787e2710dcea6e5b736ac1cd27","datavalue":{"value":"complexity of proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496310$4B01BE0C-FAC3-43BF-AA29-C267AD1C8B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80008d81258ded70d575e02944a82647618843a1","datavalue":{"value":"resolution proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496310$0442C6F7-30AE-474C-AF9B-9D38B8305F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496310$152A0A97-1F2E-447C-BB55-63CD6D766B74","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":"Q3496310$81966F95-0F7D-4A07-BF21-DE998C5DECAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"344606541a9385821692bb98e68f613824dc29b5","datavalue":{"value":"https://doi.org/10.1145/48014.48016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3496310$0E29C123-69F1-4BE7-A2C2-F26FE9EBB968","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19fb7236b4cc92a56cda43b046e990753f72e87f","datavalue":{"value":"W2126420408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$263BF10C-4706-4CD1-B0E8-8F82C6E965F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3a4d04f644f6eff1ca026571b36ab75726ba043","datavalue":{"value":"Q59699144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496310$58B404E4-463F-45EE-B505-CD3E3D522701","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbd397a9539527abb83715591f0f68c9062dcf5","datavalue":{"value":{"entity-type":"item","numeric-id":4862742,"id":"Q4862742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdf42dd4b0a126f6147bf57e37fa7e0315061a6","datavalue":{"value":{"amount":"+0.836931049823761","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":"Q3496310$590C0B74-4D34-4629-AE1D-42F59A5641A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42eab23dc01cf726e1b7e4911ea7fa3e4ebcb44a","datavalue":{"value":{"amount":"+0.8331180810928345","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":"Q3496310$68074586-5FD9-4018-BEA0-05B464B0EDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e5cf6a11b9e84f6c8c2b28920dd1310b8c74b4","datavalue":{"value":{"entity-type":"item","numeric-id":5111131,"id":"Q5111131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42eab23dc01cf726e1b7e4911ea7fa3e4ebcb44a","datavalue":{"value":{"amount":"+0.8331180810928345","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":"Q3496310$927ECC1B-6541-48C5-9586-9801D21B80AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e2ce5af33dc165d9887836c40a254d4cb8025c","datavalue":{"value":{"entity-type":"item","numeric-id":5175988,"id":"Q5175988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5f85f9b05b37470d81cc3c5ce5729e1f9ed30c","datavalue":{"value":{"amount":"+0.8241347670555115","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":"Q3496310$8C74786A-1BCB-4332-93A4-ACD0937E4EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2c74e144168edf965bb7b0476847fa84b4ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":3507525,"id":"Q3507525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb099e9912b822109809b3e4cced47828d5fdffc","datavalue":{"value":{"amount":"+0.8231285810470581","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":"Q3496310$66ADD272-29B3-4FD1-990E-EE8C81181654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496310"}}}}}