{"entities":{"Q3166948":{"pageid":3177664,"ns":120,"title":"Item:Q3166948","lastrevid":80144501,"modified":"2026-05-06T15:32:19Z","type":"item","id":"Q3166948","labels":{"en":{"language":"en","value":"The Boolean formula value problem as formal language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6101061"}},"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":"Q3166948$FD66E284-2DFC-4707-B4B8-8283169D4872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00fb9a40e7c80ea8192a7edbbcd9104b1f74c502","datavalue":{"value":{"text":"The Boolean Formula Value Problem as Formal Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166948$3B5AB7E0-5B6E-4E54-8363-376CEE32AFEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c226ffecc875ef6eba1de6813f7d63ba5e120960","datavalue":{"value":"1367.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$B7FF747C-4DD6-405A-B41E-049BCD30F60E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fecd6728b06222f7be1b5bfcfc6d429e1fd9703","datavalue":{"value":"10.1007/978-3-642-31644-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$9861AA70-BA69-41E0-A7EB-F2E504D06BF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$DEF4C439-A4A7-4C18-9DD6-8F341A75A9AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df6cbd049611c29872719c16270d47690fbfe6cd","datavalue":{"value":{"time":"+2012-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166948$B1AB8479-C0AC-4E52-BB53-8ED9CBDD99D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$4464B407-92D2-4969-B846-13D8A956D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$FA585E96-E8A3-4C17-A13C-6CD6A739D244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$5E9812ED-0C17-4AF4-A0D2-F33470E7F480","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ca131ad4f26c27c958ce17fff595286273a93e1","datavalue":{"value":"6101061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$50D0465D-76BC-447F-88BD-28ECDEE3A0F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70825060e3d41189436919df0a8d764f081fc996","datavalue":{"value":"Boolean formula value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166948$066D2195-BCCE-4F02-92E9-86E1784299E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42057bfaccb223b82ed61e893f5ddcd54f694fa7","datavalue":{"value":"syntactic monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166948$C47966C9-4C2A-4ED4-A797-3CB0C0583CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9b282e2f1a60ca466f0d48378e17d5a9cbda6c","datavalue":{"value":"word equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166948$93DC996C-EB1B-4E48-8E15-926E6F07EA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166948$B3C3AC49-F37E-4794-944F-3CB06170BECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16db5db499343bd45548c8992273136389bb05ab","datavalue":{"value":"\\(\\mathrm{TC}^{0}\\) vs \\(\\mathrm{NC}^{1}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166948$FD13EDA7-C5EB-4A74-824F-E7F5E4CD4DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"506f0ce7bc6c0b7f9b3af2721fc1bde2eff5db2d","datavalue":{"value":{"entity-type":"item","numeric-id":1163379,"id":"Q1163379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$9C2A7B4C-4688-40BE-9085-17924A834D37","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":"Q3166948$53EEC87D-A609-4BD3-8C20-D662EFB69D14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23ee1344570728acd4a5160a8be81b6fd695cd5d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31644-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166948$B42D5ECB-FC1B-418B-878E-31D1EB27F444","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676481fe6ca35bdb03ce12be451bb1785d1122c0","datavalue":{"value":"W46435304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166948$6F77F811-905E-4BC1-A49F-657D16263B5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$213CBB01-179E-4366-B59B-CD3DB283C9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81063e0001135f36876aa04e7b3df8c47842cd1","datavalue":{"value":{"entity-type":"item","numeric-id":5716856,"id":"Q5716856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$DA4D1344-232B-4E10-B4FE-BAEAF5147779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$F7BC883C-4627-4B11-87E8-92EE1A70CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166948$F91B6425-A161-49D7-BAFF-99FB41B7039E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21370cc6d3e037d0d62a14c70fa9bfe1c04ddf64","datavalue":{"value":{"entity-type":"item","numeric-id":290253,"id":"Q290253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed30b940897e8495db6581de675e4f7f9f9755e","datavalue":{"value":{"amount":"+0.725894033908844","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":"Q3166948$0F45ABE1-F8D1-4235-A088-69110E4D1AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39e82a473cf62ff548e1f501e6c00b2b6825b01","datavalue":{"value":{"entity-type":"item","numeric-id":3608489,"id":"Q3608489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4cb50a33b6390f4e1cf7347c06a2e92d90604b","datavalue":{"value":{"amount":"+0.7212640047073364","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":"Q3166948$359759D6-FECE-4F82-B456-5E6AD0068B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59ef9c2f79e37deedf1cdb8f7cc75b3c69350de","datavalue":{"value":{"entity-type":"item","numeric-id":616494,"id":"Q616494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb36726d13d1b7d2b17d3e6371e0a61191ed2c33","datavalue":{"value":{"amount":"+0.708777904510498","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":"Q3166948$F40DBF25-09AC-4347-AEC4-6435075C1624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c840045cdf6669c5d06531d11d1ce1a3a3e5d98","datavalue":{"value":{"entity-type":"item","numeric-id":972384,"id":"Q972384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213549f0d3fda84142b43cdcbbc424e53d7ceaa8","datavalue":{"value":{"amount":"+0.705207109451294","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":"Q3166948$AD00E09E-8790-4C24-BCF3-5C53078C801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a36005992aeb2663a9e44e601f2002dc9f11ec7","datavalue":{"value":{"entity-type":"item","numeric-id":4449179,"id":"Q4449179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb90970073ceac982e2279fe3b191e62faa9203f","datavalue":{"value":{"amount":"+0.6975078582763672","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":"Q3166948$DA3E6528-D8F6-403F-AD37-FC5D836E332A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Boolean formula value problem as formal language","badges":[]}}}}}