{"entities":{"Q1777398":{"pageid":1788140,"ns":120,"title":"Item:Q1777398","lastrevid":43324351,"modified":"2025-07-24T17:56:49Z","type":"item","id":"Q1777398","labels":{"en":{"language":"en","value":"Solving the resolution-free SAT problem by submodel propagation in linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168187"}},"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":"Q1777398$81D658E5-39C7-4E14-BBF9-3B441E57820E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df25e6c566714a123840f8d6d057c4c0c8ccf048","datavalue":{"value":{"text":"Solving the resolution-free SAT problem by submodel propagation in linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777398$C2EC130F-AF70-45EC-9F91-D0A2C5ADAC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6235b1f3f8bb4acfc8905265a53d85111c664f4c","datavalue":{"value":"1099.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$5A563B00-0AAD-402A-876F-E5BDCC68CA24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a181893aa192931a566f08ba46016bb4379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1777397,"id":"Q1777397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$0A07E8FB-7A6B-467C-BD97-DA9E8DDB8CC7","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":"Q1777398$7E68D495-3529-4649-A486-CD57731A1216","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777398$F890CDA4-29B1-4D28-8FC2-632BA2533E71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$5313690A-72D7-4865-B332-1ABD45D8E6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$F56F7A28-BBA4-45E2-95F1-E4C6CC7472C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc8d0f5d77c1635fc394a2bde280b8a517aee0f0","datavalue":{"value":"2168187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$DDFDF1E0-7BF4-4D7E-8381-97AD94F7A930","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777398$CBF95404-485B-4AAA-B194-85C0F6AD8114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87545f4770fdf93b3169724ae39e5e8f08cec04","datavalue":{"value":"resolution-free SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777398$37D0566B-A71B-48C9-B936-F09F9D8BFDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e259f2cdf9a1a2f4420e1279430f56fa349f5b6","datavalue":{"value":"submodel propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777398$0ACF5ABE-D3CD-4251-AF2F-D8D7C617F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143bd07044d76c2fd5eccea17d9b48e4a9fb92b2","datavalue":{"value":"Unicorn-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777398$231851BB-763A-455B-B3C3-A621066AA3B9","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":"Q1777398$6EC8F822-147A-49A5-85C9-A460A4437EC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6935f84466768d51cac3a592cf25b3d1440f6daf","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0423-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777398$62B492B6-302E-40F0-946A-A9EBF5CD16BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8b824b2ac8b508beab5f0ac89c936acf71ef273","datavalue":{"value":"W4256704812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$307332FB-4A7E-4159-99E2-680D45A99A2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$E1A8AFDD-07D9-4B0C-8A45-D616814CF4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$62E38F61-6508-48F6-A270-1B2A59801601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71f2d332360f09a62b7e9e7a47b5aa0286a78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$8341BA8D-999A-4463-8ED9-8D4E779E8D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$F77FE8A8-F22A-4FB3-93DC-559BE13E1741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$BC83984F-6B09-4E6F-A31D-4BC5860A1FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$0D0C741D-2EA8-4C98-823A-56F5306BE61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddae42721643d87fa0fa62e8eb51411c2aac507","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$C5E8658C-2186-4D40-84DD-6B106D87B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$55C9EA31-E56A-4BAF-AC9B-2A902410F3FF","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":"Q1777398$A86CBF25-6253-4C36-A5F6-0BD804B03B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b396e412145b289a0f2d560cd4986a112360175","datavalue":{"value":{"entity-type":"item","numeric-id":582905,"id":"Q582905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$B22F8B30-8E61-4F11-9037-F8F2C52E474B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$5638499C-8642-4F8B-933D-833CCE5AE508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9542469b115b8c938b2036b2a362fa6b20cdeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777398$03459D45-291C-4C48-975C-AE90DE2EE8FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa840cbacf7726d4a27cde8ca0d84e95fd669739","datavalue":{"value":"10.1007/S10472-005-0423-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777398$A0FEECBA-DA95-4622-8FF3-B85613C32195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2678763e4c1a1083d9e73256b582facc8466e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4459906,"id":"Q4459906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfbbe9ef3015f4fd9fd953ad90d1c40a180fd82","datavalue":{"value":{"amount":"+0.9796374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$62D17784-C643-46A4-9F05-B2FB44382BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae59628063499d14a0b93d0806a99f00ff97a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3580786,"id":"Q3580786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb24ab4c9c2a587a14c8c4f0a05c8eea3442c60a","datavalue":{"value":{"amount":"+0.8828892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$67EE2F7A-F519-403C-9AC3-7917CA6B9D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04198316b86dbd67e3757d3e364fa2597cd606c0","datavalue":{"value":{"entity-type":"item","numeric-id":1680253,"id":"Q1680253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77f2295c03ee5e0ecf3e46b97659a78e4b4531d","datavalue":{"value":{"amount":"+0.87876165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$15AB1B24-EDB6-4B47-B3BC-36BE9B24B3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1527314967d9e0606d598c234aa494f3e88b630b","datavalue":{"value":{"entity-type":"item","numeric-id":896108,"id":"Q896108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec75332a1004f9161427e3571d7d82d4cc01f91","datavalue":{"value":{"amount":"+0.8670285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$8E50076C-449A-46A1-BB49-01F0314DA64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0f4ee0071d95906118d3a9ac09254bb1a6da7","datavalue":{"value":{"entity-type":"item","numeric-id":2942439,"id":"Q2942439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec75332a1004f9161427e3571d7d82d4cc01f91","datavalue":{"value":{"amount":"+0.8670285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$5F5ACE9F-9046-44D5-A0C0-20B33CE97202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d979c90034d6238389a13a8421d24066b70fda61","datavalue":{"value":{"amount":"+0.86663187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$1618B025-75EF-4A69-A1D6-6A0F76712C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3913820f0f7f91e823d617ba44a2cd3c836457fb","datavalue":{"value":{"entity-type":"item","numeric-id":3620438,"id":"Q3620438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1680e4591e60ec3ccbe717701b554763f1baa738","datavalue":{"value":{"amount":"+0.86417484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$B838DA2A-0B5D-4BCF-B16F-F76EEF1D5173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f6fc4a4715799af957c267a26eaf337c51f267","datavalue":{"value":{"amount":"+0.8626076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1777398$A22E2C79-856D-4E0A-833B-76F07C856EC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1777398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1777398"}}}}}