{"entities":{"Q3402674":{"pageid":3413377,"ns":120,"title":"Item:Q3402674","lastrevid":50904074,"modified":"2026-01-15T16:45:05Z","type":"item","id":"Q3402674","labels":{"en":{"language":"en","value":"Solving SAT problems by orthogonal method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5669760"}},"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":"Q3402674$B287229A-C62B-46DD-9D0E-6799C527E00D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdcc94c7cb99df4f26d0efaab41ee37992a6e49","datavalue":{"value":"1199.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402674$881B9F5F-A97C-4216-A312-408ABBA3C216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7c293785586068816148c761b91c7c00a8ec036","datavalue":{"value":{"entity-type":"item","numeric-id":2465748,"id":"Q2465748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402674$BBF75841-EC42-4E80-A6F3-D3A6F8B06D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"340284db7dde99fe9d56a924829ad44ae12d8d5d","datavalue":{"value":{"entity-type":"item","numeric-id":3402673,"id":"Q3402673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402674$7637ACE8-AAC0-444C-8F93-80F3C1A0E9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02907bbfd49a08f9d6b09e67b567f7d0df7a9283","datavalue":{"value":{"entity-type":"item","numeric-id":842284,"id":"Q842284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402674$C356A7F3-73B0-4525-B042-E20A98D616B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a43f8e74c0cd3de909a3df2649a19270a676955","datavalue":{"value":{"entity-type":"item","numeric-id":201223,"id":"Q201223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402674$1BF13850-025B-4FE0-A9E7-9F6C0BFFCD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ca962aa17adf2292ff78f252662a0a123cad12b","datavalue":{"value":{"entity-type":"item","numeric-id":1877208,"id":"Q1877208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402674$EB3E30E7-110C-4B4C-86E1-AB92D1300878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f701a5fb7efb18b2a5b2faa4325ff6ec6c98bb41","datavalue":{"value":{"time":"+2010-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402674$104E669C-C4E9-4581-84F4-B7AFA723718C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402674$BD38ED7E-4734-4317-A41B-9EFC18FC3E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41b6754e983e2f387332d69b17c18bf8a75f7cc","datavalue":{"value":"5669760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402674$103DA2D1-26A6-4C3D-8AB4-A92A313ED2B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3402674$091D3D9D-E855-420B-8DBB-1C1746B67D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb764f8483eac406e08b82bbd76d81a0374ef00d","datavalue":{"value":"Karnaugh","type":"string"},"datatype":"string"},"type":"statement","id":"Q3402674$306C161F-E6CE-45F0-8D54-3AFFB42A099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42638be1606cd00e212d30bbfd11233951cc0771","datavalue":{"value":"orthogonal clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3402674$30CCD452-A4EA-40B3-BD07-D083D1E3FB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3402674$4D4600D2-3ADD-479A-BAC2-F2F383860024","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":"Q3402674$593532F2-3F61-4F2B-B35F-FA4AFF477F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03974f8d8dda6e220f615371cff67a9ae28178ca","datavalue":{"value":{"entity-type":"item","numeric-id":3985723,"id":"Q3985723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d838e787f53a42a0da4da2b97c93ac1e4af3f99","datavalue":{"value":{"amount":"+0.781977117061615","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":"Q3402674$0FC0D1B9-01CA-4173-A5E9-3974DFA752E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0c1b2a15db8e89573809f52bcf2b8bf1078cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3985743,"id":"Q3985743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d838e787f53a42a0da4da2b97c93ac1e4af3f99","datavalue":{"value":{"amount":"+0.781977117061615","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":"Q3402674$2DF48A47-4B55-48DB-BFEF-FBC0ED0521AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e4368b9a00e01cd5df71a108b573b0ce4cd0df","datavalue":{"value":{"entity-type":"item","numeric-id":750165,"id":"Q750165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0f4b13de3161dc10f8c8b47bd6cd53e2eeae82","datavalue":{"value":{"amount":"+0.7817686200141907","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":"Q3402674$BD8422DD-2AC2-4B3F-B9E4-839ABD353B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dd9e0d949aa08c1a6ad144e821407e65ac0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3399958,"id":"Q3399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f9945c0739255753fe7efd89fc346c8bb417f4","datavalue":{"value":{"amount":"+0.7727565765380859","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":"Q3402674$7073FD7F-7671-4A9B-875B-CFF4AEBA8097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fe16f59a1a9afa607630499cb2c645cffbdf0e","datavalue":{"value":{"entity-type":"item","numeric-id":1966110,"id":"Q1966110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8524cfbe89be794a081ad59f67bdcfecb42f500f","datavalue":{"value":{"amount":"+0.7715532779693604","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":"Q3402674$00BAB75E-442A-49AA-9C65-7558EAEDB912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402674"}}}}}