{"entities":{"Q5151438":{"pageid":7181009,"ns":120,"title":"Item:Q5151438","lastrevid":94658405,"modified":"2026-06-05T07:23:02Z","type":"item","id":"Q5151438","labels":{"en":{"language":"en","value":"ON GENERIC NP-COMPLETENESS OF THE PROBLEM OF BOOLEAN CIRCUITS SATISFIABILITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7312008"}},"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":"Q5151438$B2191E65-CC41-42FF-AE11-49EEBBE243AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9902a615951ef1a24e42648753e1631cf6d82585","datavalue":{"value":{"text":"ON GENERIC NP-COMPLETENESS OF THE PROBLEM OF BOOLEAN CIRCUITS SATISFIABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5151438$E7964336-21E0-4754-A3D9-C5923C3B4C04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd7ab13742858eca8d4570d26b1e663c4ace5430","datavalue":{"value":"1455.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$EC389B9A-B0B0-49EB-8D13-C6EF05E56E13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f34f3dd3bd66c6119a92048c2b3dc1bbd824b65f","datavalue":{"value":"10.17223/20710410/47/8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$799010E3-2DE3-4B77-9DD8-DE43844ED85A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$5F1A3CCE-A02B-4B1F-B72E-E377E1B905F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d976dc20de49560288a9859d1288a2384daafb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4986233,"id":"Q4986233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$7645F8AD-E500-4359-B199-73860C013F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103ae1223110bc14f3808579ff7835e1b3e9dfe2","datavalue":{"value":{"time":"+2021-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5151438$071F7E7C-8811-43B8-89B9-26F22ED515A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b445e6c3969140bf1ef15450a77668533f3c6b2","datavalue":{"value":"http://mathnet.ru/eng/pdm697","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151438$559BF4A9-3E00-491C-B450-9E041FDB2923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$015AD54A-B25D-4D08-9937-1034271529B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$BF1D86C8-6DC2-4594-AC53-EBF3682FE594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$EF95D65E-8669-4915-B14C-5C015AA71086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$DEAADE01-E41D-41EB-AEE8-6C2E57D11DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$7B765F42-0C9A-4E96-BB65-BA8C0F8D6C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3017fb37a2770fd4c9abb7c5aaee62afbf167d3","datavalue":{"value":"7312008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$0F9317BC-298C-4054-97A5-90BDB14886CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe708dcce91d571d1ebd3853007f0b16521f4c8a","datavalue":{"value":"Boolean circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151438$FE4D8EFC-87D2-43E3-9F25-3ADF48687764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151438$E29508A0-C1AA-438B-8464-C02279EB1027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151438$37C40B2C-ACFC-4535-891F-4EA587A1394D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5151438$0916407E-2ABE-4632-964D-58CEFD447FEB","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":"Q5151438$F494778D-DC9E-43F3-BD51-69CEB1D21021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7ad34e78874676ee21c670138d0008bef1089eb","datavalue":{"value":"W3011555672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151438$2BB68EDD-DD86-43D2-B64C-041D2CABFBDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$733A2C2D-15EC-407D-9A7F-896BF3ABFE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$6483AC3A-E70A-4E03-A770-D29F957EBC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04533b5e4f54e7a61c4fc1c55a4a47c19e20f43a","datavalue":{"value":{"entity-type":"item","numeric-id":3718151,"id":"Q3718151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$B1236FF0-A887-48EE-8225-24BC5A4E619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fde7e79cb1dee2c5a78cce3ac4d49dcd1f6f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1176231,"id":"Q1176231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$FF3D18A7-B638-46EB-8BF4-A5FA2F5CD77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cd5b893fed08a96b52f289decb4c0530fd20b9","datavalue":{"value":{"entity-type":"item","numeric-id":5151063,"id":"Q5151063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$014D43D6-AFF7-40CC-B376-DFCA73ADE433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941f9b94fcf00c38d4943b36643e9960b273a930","datavalue":{"value":{"entity-type":"item","numeric-id":736607,"id":"Q736607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151438$BB723724-270B-4A02-9354-BD205F6F3B45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946f079ec164c412e39efde00171b3a9e677f91","datavalue":{"value":{"entity-type":"item","numeric-id":5151063,"id":"Q5151063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651df821a430419114167f663925d5eb1642d574","datavalue":{"value":{"amount":"+0.9723412","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":"Q5151438$A1595B8B-7AC4-4E9F-8B16-6FC26D64FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e94c81b94e6109c525d6058ebe8c63fdb928990","datavalue":{"value":{"entity-type":"item","numeric-id":1676251,"id":"Q1676251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7e2d98c31ef38a3f3710e0d35cbd053d4c9e87","datavalue":{"value":{"amount":"+0.92895097","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":"Q5151438$E653536A-FA0A-4BBD-B7FF-CC975DCCAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8b308bf65c969dbce03437cfdf931b07768e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2875150,"id":"Q2875150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071f84fac415d9f587f5d3ec7d8675d504770f7e","datavalue":{"value":{"amount":"+0.9204928","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":"Q5151438$3FF99E11-FC1E-4D1C-9D3C-57A506C22BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281a2da786d74d04f76e8a079302ce326111f517","datavalue":{"value":{"entity-type":"item","numeric-id":5150742,"id":"Q5150742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca900e676a8441fc08c96728725c2ac2191b8820","datavalue":{"value":{"amount":"+0.9083606","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":"Q5151438$1B617873-5908-44A4-A935-3714DE2D7B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51bc19b2af446a329c2701b15227323d5dadcbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5715661,"id":"Q5715661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8c9832619638ce387c39d1239fc072bf0dfec3","datavalue":{"value":{"amount":"+0.90363854","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":"Q5151438$594F0002-498A-4973-B4BB-98ACBDA41EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25e92c36a354ff2815d10702d9ce99c3590065f","datavalue":{"value":{"entity-type":"item","numeric-id":5715690,"id":"Q5715690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a536684c15de5d17b38848c150a1eeb8412e7e9","datavalue":{"value":{"amount":"+0.90027875","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":"Q5151438$603F79EF-6A60-4B7B-BF9D-072C521AE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a85203c99cbcfe0abf575ceed71162f01a1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3567616,"id":"Q3567616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e4a500acf4acbbbfb54e7dd3540013546d4ec9","datavalue":{"value":{"amount":"+0.8925384","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":"Q5151438$14557089-82F9-4308-8115-A289B93E419F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d13b1f8d62e72b28feec73796246f21fe593907","datavalue":{"value":{"entity-type":"item","numeric-id":5263821,"id":"Q5263821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbfc2658231c7bfb15ca9e7b02b3fa3da104a09","datavalue":{"value":{"amount":"+0.8909119","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":"Q5151438$BB0F6114-5F80-49ED-A497-3FCAC98D64A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e8b44ba375cb57eccbe736ec875347a67bdb92","datavalue":{"value":{"entity-type":"item","numeric-id":5715702,"id":"Q5715702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2ff8a26c9f4fa06f20116f27e6bed3fd5f8c67","datavalue":{"value":{"amount":"+0.88951516","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":"Q5151438$82FDA691-C4FB-4724-8853-CBD2D60FBAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ae5b589ce3131462163f64c0b751e0e7494add","datavalue":{"value":{"entity-type":"item","numeric-id":2411031,"id":"Q2411031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efef3b3d623e42dd65ffd66c11b9d36899c6f905","datavalue":{"value":{"amount":"+0.8894641","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":"Q5151438$A27C6DB7-F6DF-4EFC-A64B-929323671944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ON GENERIC NP-COMPLETENESS OF THE PROBLEM OF BOOLEAN CIRCUITS SATISFIABILITY","badges":[]}}}}}