{"entities":{"Q5263821":{"pageid":7293397,"ns":120,"title":"Item:Q5263821","lastrevid":52308281,"modified":"2026-01-21T10:02:05Z","type":"item","id":"Q5263821","labels":{"en":{"language":"en","value":"On the complexity of the satisfiability problem for a system of functional Boolean equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6460054"}},"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":"Q5263821$0AC611FC-8253-4288-BFB8-BBE2755F2A23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af0cc301a79dbaa93e7f6e3f26f4312caf2e258a","datavalue":{"value":{"text":"On the complexity of the satisfiability problem for a system of functional Boolean equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5263821$C129E758-B84A-4D1C-B89C-65FDFB773E01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d705995711f83cf1066803585f0f0ca337af3293","datavalue":{"value":"1324.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263821$563FFD86-D1ED-4108-A8BE-594624611482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4acd86b1512a3a6ebd1db908db13872a2d189e96","datavalue":{"value":"10.1134/S1990478913030071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263821$5CD08E77-9870-40B4-A688-D93B33AC3C33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7b4340382b3228339641bddae389a25bb54fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":383350,"id":"Q383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5263821$9A3AC41B-89A2-4052-97AF-D173EFC2E2FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d49f378e2465d1970cba7813573d5786a27fb77","datavalue":{"value":{"time":"+2015-07-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":"Q5263821$9AA25991-B2F8-4C3C-898B-9607FF1F6FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263821$91995DFE-C441-4743-9B02-4FE513BF4716","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83d92faae9f95c548e572d2c8cbab5c7ad69127e","datavalue":{"value":"6460054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263821$F3A8CEBA-C99F-4BD1-BC92-3294119F0CD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff97d48f71bd12be09069aa0d2f7c21af3ee6f7","datavalue":{"value":"functional Boolean equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263821$9CE7F4F5-3C5F-49DF-A4C0-7E1750CFCE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263821$3B7B2682-B81B-48DD-95B4-8B4499261F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5263821$6D0426C9-A3C6-41BF-A7E7-31DD1D4038EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ea1fbda36ed352c9676b902f11a44a3f91dec28","datavalue":{"value":{"entity-type":"item","numeric-id":446182,"id":"Q446182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5263821$05794096-C164-4A6A-B0D5-E941239164DB","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":"Q5263821$FAE9E1B7-DF18-4835-B5B0-627F6798B8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fefd09a0c8da67676934fb3f445d34fb8e476f5b","datavalue":{"value":"https://doi.org/10.1134/s1990478913030071","type":"string"},"datatype":"url"},"type":"statement","id":"Q5263821$7F44A4BE-B7EB-454B-A539-79F14776DDB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d47b4bd374cd8524edf18c8cc00c244c4e80fed","datavalue":{"value":"W2032626843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5263821$7822D7BA-E457-4152-811C-A9EA37724BDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c404bdbb52205fe7e72559aa4e91d0d4887be93","datavalue":{"value":{"entity-type":"item","numeric-id":3318682,"id":"Q3318682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f21a7390131ea57ec2986e088841555b4d05769","datavalue":{"value":{"amount":"+0.871944785118103","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":"Q5263821$69AD093E-FEA1-4601-9625-9635F3525342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7b5aa6105897002edbf9d938233d27a7139242","datavalue":{"value":{"entity-type":"item","numeric-id":4409643,"id":"Q4409643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e7a0583a11f95e056e2341cf68ba068707aee0","datavalue":{"value":{"amount":"+0.8606741428375244","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":"Q5263821$F190A4EE-A7E8-44A8-B43D-5523AF003125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ef974b76f2a9e7a08504b19b32262d56b4e368","datavalue":{"value":{"entity-type":"item","numeric-id":905075,"id":"Q905075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6813162db3706847c9da1d6fd2702be6350291","datavalue":{"value":{"amount":"+0.8361890912055969","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":"Q5263821$D98EAC2C-C142-4D52-818F-A1F563626748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416c7150fb82d05b6c50f3fba88cb3db985a24f0","datavalue":{"value":{"entity-type":"item","numeric-id":4889745,"id":"Q4889745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a5ff5b07badb50542dc8edabf4addcb840257c","datavalue":{"value":{"amount":"+0.8347885012626648","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":"Q5263821$2830F2A7-674D-4DAF-BB8C-1BCE1EB7FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab2a7d65467cf2029a28a8cf654155450c8a2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3115713,"id":"Q3115713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d80398374f7ef02fe529faee87ee508f8393013","datavalue":{"value":{"amount":"+0.8308839797973633","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":"Q5263821$65899F5D-2948-4B63-BB59-0170EDAC5552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5263821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5263821"}}}}}