{"entities":{"Q2238728":{"pageid":2249471,"ns":120,"title":"Item:Q2238728","lastrevid":82679093,"modified":"2026-05-06T21:28:43Z","type":"item","id":"Q2238728","labels":{"en":{"language":"en","value":"Propositional proof systems based on maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7418696"}},"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":"Q2238728$F057BA72-ED5E-407A-B596-217875A3F61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08393fbefaf9d10fbfc5b6a9c92a310912f5ff86","datavalue":{"value":{"text":"Propositional proof systems based on maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2238728$A66B9B4A-969E-49E2-A850-A337E08EB0BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$DF412421-9BB3-4212-AE23-C17B6CF51006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$CECED7BD-85D5-4366-8778-008FEB7C53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$697B4D83-7A69-43C1-B084-F8FEC2995E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$3814FC95-045F-4DAA-9D82-6B9BA19AB5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$47EDE610-63C7-4322-ACB7-0FC18AE69FE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$43867CD9-DB2F-44F5-AD38-087C1CE6CA06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e3a6d560da17d23069127074cf3f9f5f049b6a6","datavalue":{"value":{"time":"+2021-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2238728$9DA79A29-C96F-4D57-899D-A2AA890B41F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238728$5E0307E9-0D7D-4723-8ABC-2A380EDD3667","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03852e1749cc8da3f76718dc0db2e6dc694f654a","datavalue":{"value":"7418696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238728$BDC9F492-61B4-4DFE-8F19-2DF6AAFC02F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238728$8D074D93-9944-4A12-92D3-84A6455AABB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238728$64050BF0-A875-4E7F-B638-CD739F94FFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238728$8A840637-4194-4263-BA9F-C2D351AB1558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2238728$CBB8DEE1-04B6-4C83-B047-8F1C81CBC8C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$9051EACC-1054-426F-A722-7A694F83620E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$109EEF81-176C-4FE1-9595-D534670D8F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$2EE2D03A-5A92-437A-A277-59FD9D9ACD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a77065fb5b3949d0a6963ef0f140900afd8e004","datavalue":{"value":{"entity-type":"item","numeric-id":32998,"id":"Q32998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$6120D410-3E4B-47B2-8AAE-437181CFAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"301291d1e9b4069ab8b0119823c179d7d50daf07","datavalue":{"value":{"entity-type":"item","numeric-id":5973615,"id":"Q5973615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$72B5C9BE-83E2-47B8-A91D-FBDDBC5E7996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$E75433AB-BD44-49AC-9D46-738CB6BF6B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$82E85453-5DC0-4030-B107-E6237A66EA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$99DD63BF-F431-4E26-A93A-3AEE26F542C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$D0448A4D-F398-4025-933D-7051C6E1FB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$DF52A2AA-25ED-494C-AF7E-CA797E82D302","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":"Q2238728$96337EAF-2E67-4297-B2EC-4D2EEE76C7A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e915a1acfe45366d03e1cae98666cef9e4dc9e7","datavalue":{"value":"https://doi.org/10.1016/j.artint.2021.103552","type":"string"},"datatype":"url"},"type":"statement","id":"Q2238728$281B0609-566F-43A5-8F6C-376286ADB56C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c910fc8796c19492effedd752ff27912b0d3545f","datavalue":{"value":"W3182818576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238728$6734AD0F-9692-4A97-A264-0AAD721E528B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a850681e902d6310abc2e330ce6502ada4a84b8","datavalue":{"value":{"entity-type":"item","numeric-id":4035300,"id":"Q4035300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$14F9D108-B0C4-45DC-B235-E9E21F7F02EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969f22c2e1fcc10b1a49b07f05e049c2339de4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1884991,"id":"Q1884991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$B60CAE64-75A0-4455-A930-E80DC8FB1BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b9cccfc903cada9d8349f0c04cc790bf17473","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$17D74828-FDDD-4982-9B38-95D37D3B6C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$A8B76451-3480-44FE-9B10-1BB70471C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$1AA18B84-2CA5-4065-9942-59CB815F74AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$5960DA95-79B3-4F2B-96CE-AFE112577354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$BE436912-46FD-44EE-84B4-11750828B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$279F0307-1077-417D-B674-5288878E48B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$6078EF67-67FE-4775-8123-5E6F1D36745D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195e255bdeaf4bf846130abcc4540de6bcf13af0","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$5E310992-7B85-41D5-8C78-AD3CBD1BDB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa0d6b54f6be3a440a4bb5a78e5668dceeb60c0","datavalue":{"value":{"entity-type":"item","numeric-id":435190,"id":"Q435190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$A2BDF855-F906-4470-B018-56729C7B0D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d1b169c78093ce8db60dab660d64c1863559c8","datavalue":{"value":{"entity-type":"item","numeric-id":1908818,"id":"Q1908818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$DE482EFB-FF02-4196-8B6A-0BF90B18EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$EC682888-E0AA-40FF-A2A7-92F940E82A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$2AC5ED28-A239-49D3-83C7-744B58D6E3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$6CC40B3C-E1BF-4438-A341-66C082666BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$B311F28F-47BF-413E-B4C1-469748982E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$F9E2F166-1E4F-4C35-8ADA-B3419F470B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$63DF9720-CD3D-494A-869C-D86ACD7C5E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e37fcb3011c99c5c4b7557ec5dd8eb47b575c","datavalue":{"value":{"entity-type":"item","numeric-id":2633617,"id":"Q2633617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$51B3500C-FE63-4741-9B51-A8114774622A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b1a22f52f52e18f4057ae73bdedbfbd4bab844","datavalue":{"value":{"entity-type":"item","numeric-id":622116,"id":"Q622116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$F77BE475-C721-41CB-8B90-40883F1AC3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f4bfa92705b572567f58ecc118973f52ffa3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1680253,"id":"Q1680253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$99A8F3DE-EBA1-4527-AB2F-540B23A5F834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2236bf20766f63008146fd78cf27c1b826c6213","datavalue":{"value":{"entity-type":"item","numeric-id":2938491,"id":"Q2938491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$0C0073C9-F8CD-44C5-A470-267D5DF091F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849fcac2d74c4bf4586d691a409b6fe18af7b51e","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$04FFB7EE-EE31-4B12-A4BA-528661A3D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$59B9EFA3-88E8-4EE5-A44B-D07D4D7097A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444099efaae25629d44930b0575a42c5cde1a5c","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$326E60D8-7886-47FA-BEBC-EC0FFCFCD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$F81DC009-CAFB-498A-ACE2-E5B52A67EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$C91B21EA-12F3-412D-BF9E-A90006F367FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$0657173D-AB62-445D-9256-0AC1A97F3794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c587c970b4a4b1bec321c1668333ab9d53f17656","datavalue":{"value":{"entity-type":"item","numeric-id":2181935,"id":"Q2181935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$5361F18C-7239-45BF-9E65-48E70863FA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f9a6c4f4bcee377c44fbafa74bfc3c8af5729c","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$422E0E43-CC2C-4F8C-AE9E-0BF950704913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a929277efd80b0c6ba91fc0f436f87626358b5","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$FDBC5600-575C-4ACD-86B1-C011C8B804C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$C6A6A12B-24CD-4228-92BC-1C5B1121300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$C4C058B8-AEFC-4753-BF57-7CAA17BCBEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45d398cee7029b6c4eb7c6c0e2a1a407fff02c","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$87B28D64-B503-4891-B55A-7C169CABB7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$5C2099BE-6003-4CC2-A7DC-E43390D9F24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a508b9e151e6c304d035629c6b6643566cd3b29","datavalue":{"value":{"entity-type":"item","numeric-id":5493230,"id":"Q5493230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$E86AAC7D-373F-4BE4-ABEA-AF87D1C3C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d98daae7e04254fadc0c1e35621b16c8925c53","datavalue":{"value":{"entity-type":"item","numeric-id":2818041,"id":"Q2818041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$83CBD9EA-0984-4F80-9D29-6E673326B623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$4AC2F207-D2EE-4492-BF85-065ACECA3EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$815CA62C-0E5B-4F39-ACFE-AEC630C65F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$46A712B1-2ED3-479A-AFB5-8D6EC1789125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6906d51c95d4c585da47240086d99f0ab80502a0","datavalue":{"value":{"entity-type":"item","numeric-id":1656587,"id":"Q1656587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2238728$085C4CFA-BCBE-4465-93B1-BC294BB0E17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2da9335e5f31f9dd681fde4b0054e9dca4bc343a","datavalue":{"value":"10.1016/J.ARTINT.2021.103552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2238728$947458AA-8275-4A79-8220-DE9C47A96EAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c826ff2b6b5a9c2835c62ae245c5924be801b7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2181935,"id":"Q2181935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217ea1efabd764493f33d7d16c6453a031e50a86","datavalue":{"value":{"amount":"+0.8516472578048706","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":"Q2238728$CC1223B2-367F-4DA3-A3E3-2699769A4A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e7d164f88a9cc2f9c66e32fba1612a2897a181","datavalue":{"value":{"entity-type":"item","numeric-id":1028942,"id":"Q1028942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbb570c294efd4e4c87b9cdc0e4ca350f86c79f","datavalue":{"value":{"amount":"+0.767425537109375","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":"Q2238728$E665A0AA-2529-4CC5-9514-367420001D00","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":"aa7ad1d24e8d5e51dbe04798f4d784ef2963b0c4","datavalue":{"value":{"amount":"+0.7568153142929077","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":"Q2238728$DAA03D61-54D1-43E7-95DD-A8C47DAA03C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85ccb96b4a36ede34393235d7c8933b5815ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f627b64b020ea0672b6c4cae6af937521398ba","datavalue":{"value":{"amount":"+0.7402430772781372","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":"Q2238728$747BB26C-69F7-4651-9DCF-65618CD2AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e98ed37361c6e50899f7764860f279c641aa03d","datavalue":{"value":{"entity-type":"item","numeric-id":5756577,"id":"Q5756577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef8ddfc8d798754c19409bc8282e3337424b613","datavalue":{"value":{"amount":"+0.7367595434188843","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":"Q2238728$A38581BC-2613-443C-B844-11DD1E7E3776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional proof systems based on maximum satisfiability","badges":[]}}}}}