{"entities":{"Q1962045":{"pageid":1972787,"ns":120,"title":"Item:Q1962045","lastrevid":43446299,"modified":"2025-07-25T22:30:17Z","type":"item","id":"Q1962045","labels":{"en":{"language":"en","value":"Recognition of tractable satisfiability problems through balanced polynomial representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1395013"}},"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":"Q1962045$6C6D884F-68FF-40A9-A280-1B3CFB850E2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a5b19d68384a662cab3c4e86c4d32cb6f862824","datavalue":{"value":{"text":"Recognition of tractable satisfiability problems through balanced polynomial representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1962045$A17A95FB-5DCA-4891-92F7-B8E1CC6DFF3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"180c351477d50f8ac6942d23cc200bb602cd170d","datavalue":{"value":"0943.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962045$CA060C89-6332-4D9F-BFD0-705B950E84C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f919e4cb8c1340e3b87626883f60e8dbde9fe05","datavalue":{"value":"10.1016/S0166-218X(99)00135-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962045$57798FA1-F5FB-47D3-B764-2DF949BB5345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6acf4f887f77787466f544479176d38cfa92ed5","datavalue":{"value":{"entity-type":"item","numeric-id":293408,"id":"Q293408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$6AAC6F38-3D75-41E3-BBAC-D6B33BCD500F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cb96374a43f3f14d8cd16b2e37b388cb6e41289","datavalue":{"value":{"entity-type":"item","numeric-id":186236,"id":"Q186236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$65603B3B-C8CB-4424-9A98-3819477DC235","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$B7EA8383-FC64-4E10-9780-8C1FBB1B1F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06866b48a786ed155357714aef89ff09a5a66e91","datavalue":{"value":{"time":"+2000-03-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":"Q1962045$83980B30-B5CB-4CEC-8959-5C0A102E0481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962045$7B7E59A0-FD5B-435D-AE5B-4A36763B139D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9135d2d57c27f937ead7fdc9e4fc8966d931ac8","datavalue":{"value":"1395013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962045$397DF3A2-390B-45D8-A8D7-688A1CA117E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962045$53648E25-13C9-4A1A-90CA-C54D33B61641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e61131b27fb947b4f764b67c83b62d0c40fb48f","datavalue":{"value":"DIMACS benchmarks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962045$1D27AD53-E6F8-4C30-B6D5-8AB7B040697B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$05B74AFE-BA97-4A30-8F42-D297E213E28A","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":"Q1962045$66B7F4A4-8B38-4489-9036-992EE83B6CB4","rank":"normal"}],"P223":[{"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":"Q1962045$7EF65A0F-E217-4CE2-9F5A-5CE3E8FEFCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8373af989bfc1af3b89a8cc4e61cb49f82aece8e","datavalue":{"value":{"entity-type":"item","numeric-id":4264722,"id":"Q4264722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$79016001-C68C-46BF-A21F-CF52F9BEC57F","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":"Q1962045$B980B6C9-DC38-4349-BEE6-C7D0D83E236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$DCA7F62A-888D-4FE9-AA19-7921C96B6216","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":"Q1962045$CD4D2610-1571-4198-83FE-68812A087CFC","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":"Q1962045$7BC9CBEE-14B2-4575-9C01-5E287B703F54","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":"Q1962045$A934165E-2476-4A46-8432-5E2F89B28918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$3756A285-DB2C-4D47-937E-CF8BCE3E1D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$72147171-F055-4C99-AB20-CA35EF8F771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d15a265400ee74b7ccc90f74849e6820eee631","datavalue":{"value":{"entity-type":"item","numeric-id":5687246,"id":"Q5687246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$099DA74B-D97C-4481-9F1A-8B65059971DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f452755fbfe320afb43f2940509b66ba1e585f6","datavalue":{"value":{"entity-type":"item","numeric-id":1961455,"id":"Q1961455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$B19486EF-893B-4735-9553-5FD7080C5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2f218d3e323dcb22da1bfdc46bc24be5a24f90","datavalue":{"value":{"entity-type":"item","numeric-id":4375779,"id":"Q4375779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$2D7A718C-9107-4C22-BF38-DEC4B87085A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$EB081C00-8706-4D8F-BC4D-EEE37F627182","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":"Q1962045$E86EACBC-019D-43CA-A5DB-2F52E4EDB13E","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":"Q1962045$455E77BC-8C90-4A6E-B310-C88C745575A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310e97a29691c8fe4b914e350cb3fd0f90bb642e","datavalue":{"value":{"entity-type":"item","numeric-id":1841892,"id":"Q1841892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$F8C91BB9-337E-4BC9-8F64-68B5355AD4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aef64f32a1f6169822d7a18205bc079ffd78669","datavalue":{"value":{"entity-type":"item","numeric-id":1306378,"id":"Q1306378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962045$F423D3C8-22C9-4214-88B2-150EBC0FC409","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b602fa51efa2c791dee4fa5bea5b9f5ef92a38c","datavalue":{"value":"Q126437746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962045$24B4BA9E-E2AD-4669-AEAF-0F55A25DAF3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48f56e941190cd2911d5ff958db66c22ca9b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9069cf12b87ec2a24edb5600bc28e7bdc492290f","datavalue":{"value":{"amount":"+0.883101","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":"Q1962045$97A28FA8-ECF4-4025-A19C-2760E727D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e107406d546a8b96befb0655f487c9c1e762277","datavalue":{"value":{"entity-type":"item","numeric-id":4344698,"id":"Q4344698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627f583d1f446fbe96a836e2c62b101a41f7a49b","datavalue":{"value":{"amount":"+0.87538236","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":"Q1962045$61287661-4A53-46E1-BD8E-E6075BF920C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d128c574f2b8cf58e4ac1be1405936a1d2197a9","datavalue":{"value":{"entity-type":"item","numeric-id":1861558,"id":"Q1861558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde40ec591212782398ed8d584be95c234849548","datavalue":{"value":{"amount":"+0.871997","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":"Q1962045$7F4BF678-A5A4-4BCE-A126-E66B14EBECB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0403bb62c03fab356633ae4e37032d0be35613ce","datavalue":{"value":{"entity-type":"item","numeric-id":3765752,"id":"Q3765752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0377fa71ab087209ee741e72340b61b0cd2714aa","datavalue":{"value":{"amount":"+0.8664841","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":"Q1962045$93E4E86E-1507-4439-8530-1419E7EC56A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd9e5cacfc9a515f723536fa9ba0f70d9f901d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10695c62e8b7e9a65e1536fe2f0a52011c904fd","datavalue":{"value":{"amount":"+0.8663006","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":"Q1962045$36CDC0AF-68E8-4C07-95EE-896B23BCB566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a925a970a0df41f0a5c8293e886e68ad2b96fbd","datavalue":{"value":{"entity-type":"item","numeric-id":1208436,"id":"Q1208436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cef393effdf89d0c77fa5849308c646f0b4a6bc","datavalue":{"value":{"amount":"+0.86387986","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":"Q1962045$9F2562A6-BEC8-4EDD-8092-6AE9C293E1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b536a8779d085faa352494d10efa0fd850127e7","datavalue":{"value":{"entity-type":"item","numeric-id":5756665,"id":"Q5756665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f037e79aae7bd39f69eec5a6c324beb9184a8a","datavalue":{"value":{"amount":"+0.85761356","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":"Q1962045$D8800C99-8632-4A76-8981-D4D88D7329CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25827029be60ffc4e1340fde32781535ba7af3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1816091,"id":"Q1816091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aafd111aa23714acbf7d2a3cf9e9c3b5a7d8260","datavalue":{"value":{"amount":"+0.85396814","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":"Q1962045$A8C3BD3C-2A2A-4303-B524-312487EB5A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c008bed4c9dbe68c6185edcc9a7844b61b150861","datavalue":{"value":{"entity-type":"item","numeric-id":2850118,"id":"Q2850118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1de8a1adb1a549fc3abec1f171cc96608b429d8","datavalue":{"value":{"amount":"+0.8512135","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":"Q1962045$018E2AAB-8FA4-465F-9D3E-DD379B0EF699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81995c13192a4630acc9b7210271b0d71ed14725","datavalue":{"value":{"entity-type":"item","numeric-id":3192057,"id":"Q3192057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0d592f73fc2405c2ac65397be45d50560178df","datavalue":{"value":{"amount":"+0.8486189","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":"Q1962045$7E07F8B7-5A6C-4915-BC05-44FF82430EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1962045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1962045"}}}}}