{"entities":{"Q3567616":{"pageid":5597520,"ns":120,"title":"Item:Q3567616","lastrevid":51013856,"modified":"2026-01-16T05:25:56Z","type":"item","id":"Q3567616","labels":{"en":{"language":"en","value":"On the structure of Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722314"}},"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":"Q3567616$A250E574-C2F7-418F-92E3-B3CFF1A0E85E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"062ffce2a26a5ace267f198dc47fcd2649a9bd27","datavalue":{"value":"1196.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567616$DA865AA0-4D1C-4329-AD64-F3F5E1C75AB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0feec6cab36eb6121ee29cedbf189e2121bc9055","datavalue":{"value":{"entity-type":"item","numeric-id":1065042,"id":"Q1065042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3567616$82BBF9A3-1FB2-4CC6-A6A4-B2E6B5010469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-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":"Q3567616$6EC5E1AC-9780-4859-9C08-85F3E283B753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567616$3863D9E5-5A60-48CB-B5CA-7569C0053B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567616$78CC0116-6894-49FF-B071-2AA710629AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dd36176776271b97b2b7bab2fd3b7869b1b1eab","datavalue":{"value":"5722314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567616$4893B8CB-59CF-4F1F-A0E0-69586DE4D004","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$8703169A-9202-4D26-9C2D-D4E83E3CB476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30b82c6ce820ba86eea0ca340d47b11c27534b","datavalue":{"value":"NP problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$412BAEA2-3E9A-47C9-B633-2CA6703DA91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41cd3ae874d0214445db52954d4aef4b2a8a98f7","datavalue":{"value":"structural independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$AE260A2F-BFB3-4124-963B-A558E768F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70443c33e1e909c34f2670a242a34e8b72f9d42f","datavalue":{"value":"certificates of membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$B5935DC6-4B60-400F-B1E5-84ADB10040AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8797f240285cbcfb3a1b1c50dfe64e999f7d53a4","datavalue":{"value":"logogram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$9BE734E0-4635-4D6E-BEC4-BC0EB77CB627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89dab232417932eba8b8820922b8e5a28524ed6","datavalue":{"value":"program kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567616$53ACFFEF-79A8-412E-AD30-A42DE5A07D56","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":"Q3567616$9E06F5AA-8FF0-46A6-A7F3-F7A9D1CD159C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64855dd3a7e2332e7c6c55d8a725b6575dbbce04","datavalue":{"value":{"amount":"+0.7494516968727112","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":"Q3567616$B8735396-9DD6-4EDD-8C58-B6F46C92A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77a9fa8db6cef88923d34908e491afad156e883","datavalue":{"value":{"entity-type":"item","numeric-id":3723699,"id":"Q3723699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fadac59e091d4039c26ad8fecb2646ea49a380","datavalue":{"value":{"amount":"+0.7481748461723328","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":"Q3567616$DA69334D-42E9-4A62-B624-5E14141069D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80496bad8073f52aff66e1fc28de7e0dc6f6325","datavalue":{"value":{"entity-type":"item","numeric-id":1587336,"id":"Q1587336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72868d7e1e91dbf01605b0b2407a08a0a5ec09eb","datavalue":{"value":{"amount":"+0.7453919649124146","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":"Q3567616$04FABEDC-C5C0-4242-A506-543A0A57E2F1","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":"c9551332fa02e77f4b0aafe7f82b23159219bafc","datavalue":{"value":{"amount":"+0.7295880913734436","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":"Q3567616$8E324833-6C74-46F8-9B57-17E800AFB7CF","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":"655c15d5d561e809ebb00b1a2298c2e3ab9e2e46","datavalue":{"value":{"amount":"+0.7287299036979675","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":"Q3567616$F647839E-0C09-4FA1-B997-02AE25C0931A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3567616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3567616"}}}}}