{"entities":{"Q673009":{"pageid":674858,"ns":120,"title":"Item:Q673009","lastrevid":63467943,"modified":"2026-04-11T13:21:38Z","type":"item","id":"Q673009","labels":{"en":{"language":"en","value":"3-SAT = SAT for a class of normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985323"}},"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":"Q673009$23E8083D-A07C-4EE6-853B-09C66EF5EDCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11c39aed1fa873099c732e9835264d906d243549","datavalue":{"value":{"text":"3-SAT = SAT for a class of normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673009$4EA4D411-FCBC-4642-BD0C-81721BC4CA99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd89f3d30c7f1eb98d9bd51f4192a937ece94339","datavalue":{"value":"0875.68762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673009$D788DCB2-2D86-492D-AD58-239BF6856C9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2829ad2044e3b105825adf6d6392bf06c6f42d82","datavalue":{"value":"10.1016/0020-0190(95)00060-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673009$6EB2AC0B-DC71-489B-AAAB-F5653B4CE2B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$F7884350-171E-44E8-9F24-AFF6F2A380EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q673009$0D12E5D7-7323-46BE-920A-3AFB78295B36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673009$A7FF05BE-EF83-4D18-AE44-E3B2E4DFF3A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59bbd4a097d5bb117ee007eea481ec99ea1d2ac8","datavalue":{"value":"985323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673009$0737E9CE-86DF-458C-B388-60A5713C6DE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e27ac58bb0f458a02189829740e61bb9319559c","datavalue":{"value":"Automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q673009$0309F9ED-105B-4EAD-AF48-55FE966A3495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q673009$A69D454F-4F49-4F25-9124-77498538956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3caafe02bf4faa24650cef9089ac48efd6a130f","datavalue":{"value":"Normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q673009$F235AB82-D57B-403B-B178-0BE9217F0B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a2c0bc04f86e8d9621ee6505fe7267e510c2e3","datavalue":{"value":"Modal clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q673009$2DEBF15A-46C0-46D8-A88A-E9F4B91A754C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$56283AFE-0C81-46DD-8BD7-BE25E74A26F9","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":"Q673009$9B99E063-55EA-46D3-B1CD-15E2D8DFBE13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6b6d2abb088971cc5dc238a83ba6251419b6c5","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$BACC423D-052B-49D1-A1F2-BAACB417FBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$F5F7A60A-1814-4441-9DF2-43762976B341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758996f141f0e4fff0d52176e516e385f5dda0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$BCE75B76-F60E-47DB-8946-75A82DE334F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcb5c111a6d128b05ca634f6e7ed56930266228","datavalue":{"value":{"entity-type":"item","numeric-id":4742767,"id":"Q4742767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$11B67DD0-2EE8-4111-9F78-BD6C5484041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e054998d404e8c1ea00d2b1fd4948cf54c22bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3762285,"id":"Q3762285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$4AB35AAE-7A9B-4883-89A6-17B7FEDA96CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$91E8FC7F-D398-4B06-A7FB-BA3A183EB78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$C0E6014C-6C68-4802-AE91-500933856AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$CB50227B-6D45-4DC4-B868-9964AFDE198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$121A36BE-B3F0-4141-9B93-1426194E4D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$4F9582F3-9FD5-4A9A-B6A2-BE2B50F39B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$6D2E4A75-F863-4C66-8248-BE8697B0E327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$C89241BA-ACD0-4821-85EB-AAE535F8545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aac5f0993f3da62ffeac9b52938c987eb2f49d","datavalue":{"value":{"entity-type":"item","numeric-id":3248013,"id":"Q3248013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$ED7656DC-FC1A-46AB-91F8-F4F1EA00DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c015a3eca8e4bece7aaca98ec58b9789bea38ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5575528,"id":"Q5575528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$81BEDE8A-9120-45F6-8048-3CB94EDE2A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$85A290D5-33A6-4E65-A3C3-0262E77084E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0f5d8160663dcf3896a10288f16c979160b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4095908,"id":"Q4095908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$FF3CF761-DBD0-4281-9416-314550413047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c43073869ad19af3d7d3c84c26c1451c29bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1150592,"id":"Q1150592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$4918C7EF-24DF-4AF0-853E-7ABE89523F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$963ED1D6-BC14-427E-BAD3-164C8573EDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$D9C4A33B-E46B-4D48-B2F5-7A7675A5B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673009$0CDD4EFE-F2A5-4D9B-B9EA-B81A25122E9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e015c7b4e02635f3fa76f956636407ada7ee91d","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00060-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q673009$01988C42-FBE6-44B0-8B5B-DED34C7DCA21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddc64d4ec89298b0e4090765666d01c4a40059cb","datavalue":{"value":"W2028506047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673009$0710D9F8-FA13-4B1F-9545-43EBAB255570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5da22e5d50759214d88d8382df7207e9073273","datavalue":{"value":{"amount":"+0.7979691624641418","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":"Q673009$B8899EEE-F890-4FD9-A1D3-46EFE4EBB13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f56c48eba1b1a79af29334b2004a734247f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":3762285,"id":"Q3762285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee6bbc0ee161f14352d61b6673b95787691ea24","datavalue":{"value":{"amount":"+0.7950246930122375","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":"Q673009$BE23C38E-364A-4254-BE31-64D58518608E","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":"a57efeac714e58f54e4a5d9f71063488f0e1b98c","datavalue":{"value":{"amount":"+0.7775214314460754","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":"Q673009$EC2475AB-C3F6-4F3E-AAB2-BD36916CD973","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":"fc68250375315bd6409bf8117942248107c460c3","datavalue":{"value":{"amount":"+0.7650374174118042","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":"Q673009$A4986C80-FADA-4D9F-AF78-AA6E7FB94FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"3-SAT = SAT for a class of normal modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/3-SAT_%3D_SAT_for_a_class_of_normal_modal_logics"}}}}}