{"entities":{"Q4904160":{"pageid":6933739,"ns":120,"title":"Item:Q4904160","lastrevid":51644240,"modified":"2026-01-19T05:43:35Z","type":"item","id":"Q4904160","labels":{"en":{"language":"en","value":"Ironic complicity: satisfiability algorithms and circuit lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6131610"}},"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":"Q4904160$FC65F41A-B899-4DAE-B8FD-F1AC7B328A67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18ebcf8db39ebc3f8c633a4bffb394dace799333","datavalue":{"value":"1261.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904160$76BF6479-4CCA-47BC-961F-A9E5A2D6270E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23adbfc18cdc63b7e63348213f20b490e75c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":488048,"id":"Q488048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4904160$42B82E5E-E216-4B2D-865A-BFC027D0C2C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab088451157c933b8b5d1688c69e028b7366511b","datavalue":{"value":{"time":"+2013-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4904160$700F110B-1409-42DF-8371-AA39706BA3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904160$73CE1CE7-9C0B-4C27-AF3F-15A627094693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904160$E0A7CCD0-0A5D-4084-B230-B07454EBD414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904160$993F3743-FE56-4FB4-BF87-45FABA868FB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4761af061dadc6e4d3fa7fc04d333336a6136f","datavalue":{"value":"6131610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4904160$199DC445-F0D0-44B1-BCA5-45476EF32B69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd35a4a55f4ef87cd1de6b19e9b8a701deb3aa69","datavalue":{"value":"\\(k\\)-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904160$7FFD2895-5A61-4BF0-BDBD-C05048CF606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904160$5EB3FD74-2FDC-45ED-9EF0-556492349414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d78e5654019584adac44f13a7c02b1ac1c3bfff","datavalue":{"value":"circuit lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904160$6411FFE2-4190-4E29-B593-29460CEC9F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968b19209383d7971c7a4343586893afb823fc6d","datavalue":{"value":"depth-3 circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904160$6ECBCA58-0A5F-4B91-B4A0-D1A9E9284472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0634b490a4639eeb6732497eb5e16842e3f9e3","datavalue":{"value":"satisfiability algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4904160$2607827C-592F-4D3E-BFAE-10C9B8C404C5","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":"Q4904160$ADF0C2C7-EEED-4900-884F-5F0EC7942896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3adac7df4b99ff447af87612330c7e291e64469","datavalue":{"value":{"entity-type":"item","numeric-id":3587579,"id":"Q3587579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dce722c72de0e07e9ee893f9ff6d291eb04e643","datavalue":{"value":{"amount":"+0.7733967900276184","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":"Q4904160$21B2AC86-C057-4E91-99DB-89A6A2B16CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fccf9d88da720924ba5dc7c453ff1e6a0fc946","datavalue":{"value":{"amount":"+0.7724855542182922","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":"Q4904160$E3ACCADF-4578-46C2-94A4-686A33F5C41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b626f8d28de15d3be80c1c96e3b378807eb6bd7","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3cb15bf91cc2a535cf1af87cba9d5d33b48fdc","datavalue":{"value":{"amount":"+0.7684253454208374","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":"Q4904160$0451BAC6-00AE-41F8-8B50-82CBFB6C6A27","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":"763b4651ce4418dc3c096975db1afdbe08bfd082","datavalue":{"value":{"amount":"+0.766477644443512","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":"Q4904160$3175FFE7-1A0C-4655-B552-EF2FE6B6BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad18f36033fc2758756d740d033708d74abca16","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3ce36ed996e43c47b6b33f1c924ce115e40ed5","datavalue":{"value":{"amount":"+0.7573079466819763","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":"Q4904160$9EAEFECA-A79C-4B56-8B6F-B647AD2A92EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4904160","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4904160"}}}}}