{"entities":{"Q3474280":{"pageid":5456508,"ns":120,"title":"Item:Q3474280","lastrevid":49366609,"modified":"2026-01-07T01:12:16Z","type":"item","id":"Q3474280","labels":{"en":{"language":"en","value":"The Complexity of Very Simple Boolean Formulas with Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141501"}},"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":"Q3474280$4D007803-CAA9-46B1-BF4B-F6B6B54AD69A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7b78097e552f7fd28c81eaa833b6128249c4c77","datavalue":{"value":{"text":"The Complexity of Very Simple Boolean Formulas with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3474280$D1FD8F5E-EDE3-4590-9394-ECEBB9E851F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d1935c1757616baee97c16f11acc6417ccc0941","datavalue":{"value":"0696.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$F1BDFF46-3DB8-49AA-837B-EB29A760DF1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a316f3e24c1b90526c5c8e0942ff61e8c0a814d7","datavalue":{"value":"10.1137/0219003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$1852F71C-9329-48E3-9D39-30D1D7F157AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be9d88fe31fe563941d66fc004f03675e20a1e9","datavalue":{"value":{"entity-type":"item","numeric-id":549708,"id":"Q549708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474280$EA97FFFE-E58C-4A5A-B8BA-D4778C657682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5488902e73ee01b0a591b24e9f1dea0f7a9b6126","datavalue":{"value":{"entity-type":"item","numeric-id":549706,"id":"Q549706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474280$71A9CFC1-DF14-405C-9EE2-CA95B149E086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3474280$5127B87A-D997-47B1-8B77-086BEA9C3668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3474280$0C97CA72-47FA-42B8-A3B6-9407E787F365","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f06369965e520db0da6ba0c0ceea540ad499e3b9","datavalue":{"value":"https://semanticscholar.org/paper/e303887a120f7faad696ebc41e512deefda60363","type":"string"},"datatype":"url"},"type":"statement","id":"Q3474280$F238522C-E3F8-4480-9A83-C2332E15BB19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$F867AF45-9639-4784-AB4E-3A054B96F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$21C5686D-441A-4885-9179-8C93DB23A7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$94BA98D2-F02C-4A57-AEC1-E61997C49F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$ED91005C-6C4F-417B-9925-8A99FCD65DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$ECCFF61E-B55D-467E-AC85-70006FDA2427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$8776B1F3-AA21-4B62-A9C4-D4D67CE137D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c09267bcbab30b448b8dcdba6663780b0a17a9b","datavalue":{"value":"4141501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$1C19F73A-0389-46C2-91BA-3A779F04C964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$B8D55333-64C5-4C23-958A-4899C9C3266A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$600764BC-5031-44DC-BB5F-5BA4773ACBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$59DBC44A-D744-40FA-B024-E6A64537A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ca57c0d6f4612bcf8319e61973a78cc37ede1","datavalue":{"value":"modular arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$9F5B0215-3D23-4AD2-9CBA-9A8C7503B3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$66E9448C-3B80-4B5F-9F12-64781EF1D842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$29FA34EB-5B51-490B-8A2D-07C65C1C1BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d24e39c21d098e456769c2dd888df4918bf1dc9","datavalue":{"value":"finite and distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$A9EB066D-1C57-440D-83A5-1DB3081580FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$49314EC1-C79B-4F5B-BC2F-19C250A5EA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f68769d8c4acfb5d8e014e7c0b5adc75eba5fa","datavalue":{"value":"SAT-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$A5BE25AD-EAAC-4031-8F3E-0854D021F9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$8CFD52F8-1B5F-4D9D-9C4D-4FE7A3420A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3474280$D67F9B2E-D033-4AC7-95C0-A19FF6FCBFDA","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":"Q3474280$4B115534-81F3-4E35-AF45-DCE5A870F155","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309c7f39d1b83c19be77e8282ba7f2cff18c7f61","datavalue":{"value":"W1968653910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3474280$92B74ECD-39BB-45AD-8AAB-30FE9D7B032B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2611d4b6015e00a68ae8aa1f67b99c07a91973c2","datavalue":{"value":{"entity-type":"item","numeric-id":3742714,"id":"Q3742714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa33cfb1a0362a0eb82f45829f09927865df2e7","datavalue":{"value":{"amount":"+0.8283050656318665","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":"Q3474280$EE17CDA6-7853-473B-A251-0A95625833E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a428307540a400fb78be58e954fc0e8b2e2045d","datavalue":{"value":{"amount":"+0.8204556107521057","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":"Q3474280$92FAAC37-3099-4AFD-B19D-896B83A94B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45dfb0ba5e3780e7e74a01662f447f1edf7a0aac","datavalue":{"value":{"entity-type":"item","numeric-id":4038402,"id":"Q4038402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c1b201ab8ed0eb3d525e4fb2ee07aa550247dd","datavalue":{"value":{"amount":"+0.8167105317115784","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":"Q3474280$1B36A76E-4303-4D1C-AB11-35C1EB91DD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934f4222cf14ccfddbece178d437bcd7ab39aaba","datavalue":{"value":{"amount":"+0.815169632434845","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":"Q3474280$290F9D2F-2170-4565-9052-A18D07ABB589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a9840034335c4de344169f12e12a5c7c6d978","datavalue":{"value":{"entity-type":"item","numeric-id":5741801,"id":"Q5741801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edfc2b9ba67f8feb10a2868982590616474e2bc","datavalue":{"value":{"amount":"+0.7913875579833984","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":"Q3474280$C833D8F8-D61B-4255-B44C-4117D1B97DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3474280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3474280"}}}}}