{"entities":{"Q1587336":{"pageid":1598076,"ns":120,"title":"Item:Q1587336","lastrevid":72258207,"modified":"2026-04-14T03:41:46Z","type":"item","id":"Q1587336","labels":{"en":{"language":"en","value":"Some structural properties of SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533045"}},"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":"Q1587336$E949D1D3-DF52-4752-965F-EDB76DD71F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aff789aa263b39f22da1c1232b13d9419e368b1","datavalue":{"value":{"text":"Some structural properties of SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587336$FF97D116-F8A9-45FD-B18F-D3979897D569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c76e7098d0d48b502c7cbb74f6d23518bc779c4","datavalue":{"value":"0961.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587336$7774398D-4CF1-4CDD-85D7-567FE09577D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f7bfdfb47e7cf58727016957f9510e1dc4750db","datavalue":{"value":"10.1007/BF02950407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587336$D39B58C0-254D-4F87-A4E6-EEA79B53D386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4f81dc51ec15d6df180613ba80e92dde9ae5864","datavalue":{"value":{"entity-type":"item","numeric-id":300226,"id":"Q300226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$CF88F11A-8172-4EBA-8749-830B0E4913B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$DD22AFB7-6989-4A91-BD45-4528A87DC4FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1197f4709d23e03f650c941d8cf07bc927e0c1a9","datavalue":{"value":{"time":"+2001-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1587336$0B9690DB-9650-431A-8C48-B0D1C17A2D4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587336$061CF785-0DD5-4AE4-85F9-D42AD5C06F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bcbc68214fb3643476010e9b32c16bd5d7aafa1","datavalue":{"value":"1533045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587336$A0C3D842-D149-4596-B2A4-2F8A19CD7A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9523b81abac7dcf2946305ecf06ced9bb8e7c3","datavalue":{"value":"structural complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587336$51E008F8-CFF0-4C1C-8EEC-54840F5F8FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c3f127e27aaa2afe7e371658082dca13cac7a7","datavalue":{"value":"truth-table reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587336$1BF01C62-BB96-4BC7-81B6-945124DFB2E0","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":"Q1587336$9CFF2C21-EF7B-4342-9826-E9D0C3B5BEA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba48c6dd75052862185f5069e893f6b665add1de","datavalue":{"value":{"entity-type":"item","numeric-id":3978778,"id":"Q3978778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$64F0739D-0588-42FD-BC9D-6F3207B9734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccda208df273aff89250d6a1366bc0ade03440ec","datavalue":{"value":{"entity-type":"item","numeric-id":4857595,"id":"Q4857595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$B5B8CAC2-C764-49FF-BF70-FE501A7DD5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2120b12ab96678ee03b84909ec3e390673400419","datavalue":{"value":{"entity-type":"item","numeric-id":4210150,"id":"Q4210150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$984D6A6C-7A63-46E6-BEBA-43043DD43251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f235ba32c2312416178e80711d9affd8fc874d","datavalue":{"value":{"entity-type":"item","numeric-id":4305356,"id":"Q4305356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$6AF58E7D-96DB-4143-BC65-3F429CEF1AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8863af9731cf8129e05842f4a6fdb97182b619c1","datavalue":{"value":{"entity-type":"item","numeric-id":290182,"id":"Q290182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$47764BDB-5726-467A-AFB6-A95AF731064E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9e97bb808371a3a6d9a49a0700ca457fcb589c","datavalue":{"value":{"entity-type":"item","numeric-id":908700,"id":"Q908700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$569A8F93-4E12-4432-B34A-BDD61BE63930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c91e3474e985dfb35f43f557b143163b944151","datavalue":{"value":{"entity-type":"item","numeric-id":4032932,"id":"Q4032932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$6E586EB3-8828-459F-A219-990B170B9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334cc2087cc9fbbaf28a68b51b2673f39bdd418a","datavalue":{"value":{"entity-type":"item","numeric-id":4593919,"id":"Q4593919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$D9490C60-D7C2-4537-AB0B-D32ADB2A50C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cb68d056b7b24e2a1fddc7d2a62a01a702744d","datavalue":{"value":{"entity-type":"item","numeric-id":2784486,"id":"Q2784486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$FB4EDEA3-9002-465D-89AC-BC230E66121D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaed4d4effd45c35d566a377fe8e7b3fa3f29a","datavalue":{"value":{"entity-type":"item","numeric-id":1426008,"id":"Q1426008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$46B4A963-3C39-48C8-8451-A7C90C99EE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044944b72ba88d5432d12a088837654c36df1c9f","datavalue":{"value":{"entity-type":"item","numeric-id":3210177,"id":"Q3210177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$8B9051ED-AE5A-4109-96DC-1D5176E88CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527bc19ca28994e4f1cbc67acf1065ec21b6602a","datavalue":{"value":{"entity-type":"item","numeric-id":1329166,"id":"Q1329166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$DD62AD4B-F5E3-4FF0-872D-BD5063F80C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b3cdb7f4da93c306abeb1b6024554f8831711","datavalue":{"value":{"entity-type":"item","numeric-id":4291556,"id":"Q4291556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$7B721FBF-E5FD-4B3A-9ED0-28F7DC23EAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587336$060B26A9-87A3-423C-8850-9ADDB0C99174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a85203c99cbcfe0abf575ceed71162f01a1a90","datavalue":{"value":{"entity-type":"item","numeric-id":3567616,"id":"Q3567616"},"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":"Q1587336$8DC55486-2F86-4C22-9EA6-1C7D002777AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01578e8495812e419cb75a9d19e9f4f794314da8","datavalue":{"value":{"entity-type":"item","numeric-id":1425331,"id":"Q1425331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0badee6a31583a94b273da8856b0c1fbec4ad1","datavalue":{"value":{"amount":"+0.7377780675888062","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":"Q1587336$BC7A440F-1401-4E43-B910-DD4FBCBDEB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6354cc2c58b381210bec6e750f8fbf5cf6db7cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1822964,"id":"Q1822964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4c3afdbd16dca107252035680805f7845b6647","datavalue":{"value":{"amount":"+0.7357407808303833","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":"Q1587336$BB668800-B3D8-4BB0-96E0-56872F82DEC1","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":"bac2b208ee582468d41bd38ab8ae40ac28eb462b","datavalue":{"value":{"amount":"+0.7317143678665161","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":"Q1587336$0146CE4C-AA22-4A79-815F-5FBA1CDAE166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8856d1c6f16e9a2723e202741471bdba20e1f1","datavalue":{"value":{"entity-type":"item","numeric-id":5475258,"id":"Q5475258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b824deaef393b0c9e06256d4b0dc6131407742","datavalue":{"value":{"amount":"+0.7280236482620239","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":"Q1587336$D0F6D9A0-FBC6-4554-A8C1-154B25B74EC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some structural properties of SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_structural_properties_of_SAT"}}}}}