{"entities":{"Q2875150":{"pageid":2885870,"ns":120,"title":"Item:Q2875150","lastrevid":52065233,"modified":"2026-01-20T21:04:18Z","type":"item","id":"Q2875150","labels":{"en":{"language":"en","value":"On the complexity of circuit satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330063"}},"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":"Q2875150$844BD553-B422-48DB-8E71-1B7CB03EB534","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39c122d541999cdd3c4a6d2854949f8c767f48e6","datavalue":{"value":{"text":"On the complexity of circuit satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875150$C9D865E0-9FA6-44BE-A29D-DC4AEB2CA2FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05beed3031d475a30971f5e0d4970e8ec9a4069a","datavalue":{"value":"1293.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$167E7D2D-B820-4F85-940D-FC128530444E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2991d39cfca885c7f063f314533197030b9b827d","datavalue":{"value":"10.1145/1806689.1806724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$2D2AA5D4-25F2-4140-AF10-35767F92F22E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875150$33751519-5305-48B4-8B21-AF86BEA7E5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875150$4A5B6B51-CD80-4D5B-9D3D-6595508EE377","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"857e6d765dc12abc2ea24a145570b777b4cfba51","datavalue":{"value":{"entity-type":"item","numeric-id":2875127,"id":"Q2875127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875150$E0A6CC44-B71F-4AA6-AAFD-4996F3D65922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f80e145b44ef7aa11a9e241ede63c58486ab29d7","datavalue":{"value":{"time":"+2014-08-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":"Q2875150$549CDB72-81E4-4F6E-B5C2-FF952995F441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$F2C69801-6362-4E77-99CF-D376AAC99ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$D0D98FA8-7691-4900-BBD4-D493D788CBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$465F679F-DFFB-4B97-B79F-EB6BFCD1A148","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02b3c57ba5d70ec640687667c78b47b9495433da","datavalue":{"value":"6330063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$0B981849-0062-40ED-8FED-A6CC30DBF359","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875150$F5044A6B-55EC-4DE6-B228-EF3D75C51650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a27f211df803ab13c739570fd1ff444f04345d","datavalue":{"value":"circuit satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875150$88A632B6-4BE3-4F87-9F84-6A99FAF8EE53","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":"Q2875150$5271FC27-5288-491C-8C9A-3413254CD5D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69ee3ffb983c9ad5dbf7c1532201dd407bc9007d","datavalue":{"value":"https://doi.org/10.1145/1806689.1806724","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875150$25D0137A-56CA-4D2B-8ECB-DE30005864BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9777e43149e3b8e79bfcc8853b415d9e99995d3f","datavalue":{"value":"W2090871895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$13DEFAF6-B2AE-48CF-94EB-16BBD8009F96","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7655dc8a751844a056063f981d4a8998c6b4666c","datavalue":{"value":"Q130960673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875150$57EA57D9-B85F-4BEF-A1DF-C7CB624C55B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb30208f77df467623f4ae5e8da6fd11a46bf8c0","datavalue":{"value":{"entity-type":"item","numeric-id":1604206,"id":"Q1604206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032acea0b6f2fae04e60622d85fb9a22f561feb1","datavalue":{"value":{"amount":"+0.8184396624565125","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":"Q2875150$A5C9DA33-C435-48AB-A86B-D37BAE862A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ff20376e2090e6b4b397d939b02e3934320d56","datavalue":{"value":{"entity-type":"item","numeric-id":5710689,"id":"Q5710689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032acea0b6f2fae04e60622d85fb9a22f561feb1","datavalue":{"value":{"amount":"+0.8184396624565125","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":"Q2875150$C0C6C6B3-0A15-49AB-8B3B-317D504AB98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92df6d2cb4d8b7b9b91dcaa2517c6f2c02c5f933","datavalue":{"value":{"entity-type":"item","numeric-id":3612463,"id":"Q3612463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8922372dfa297d6eed41dd3d50229027e93a2c57","datavalue":{"value":{"amount":"+0.7900310754776001","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":"Q2875150$AC573F7F-FA28-443A-B5F7-21F0D7EFC2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2773a263634c405316b5b9e6257831f2c4755f75","datavalue":{"value":{"amount":"+0.7891058921813965","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":"Q2875150$7A254C7A-64C2-4B84-A187-371972E67517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e45b606eabed5bdb0ecb9d682fffb754362e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9688d3c2d5f9decdb26378c761640668b6778367","datavalue":{"value":{"amount":"+0.7875658869743347","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":"Q2875150$0A787EA7-A29B-4A13-964B-FCD810C0016B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2875150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2875150"}}}}}