{"entities":{"Q988571":{"pageid":990419,"ns":120,"title":"Item:Q988571","lastrevid":65822001,"modified":"2026-04-12T05:36:14Z","type":"item","id":"Q988571","labels":{"en":{"language":"en","value":"Generalized modal satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772412"}},"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":"Q988571$6B44A5D2-2CB9-4A33-91D6-B22B4206714E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d48e706afec92fc85c1b0253703cdd5d2640e0","datavalue":{"value":{"text":"Generalized modal satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988571$9FA22F04-A705-401B-ACB4-D5DCFCC4AFB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc3de08d01e7dbae9be9d065fcaa88a58a57e06","datavalue":{"value":"1197.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$499E16CE-51FF-4B12-BA84-983266DC9AE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5f5c67ba04f18de6b92a0e90cb5f04518d29d25","datavalue":{"value":{"entity-type":"item","numeric-id":293221,"id":"Q293221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$A0AC8CA0-E5CA-4E06-A491-090DED725697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$248C481C-6405-4311-BE01-63AA6E7FA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bade7cb85ff6df2ccfbe3ca7582dab10e409afe3","datavalue":{"value":{"entity-type":"item","numeric-id":428851,"id":"Q428851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$BF9C8FC1-35C3-4C90-90FF-637D5F1E075F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$34CF1902-CEC3-44EF-846C-7E52E1F98EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988571$897E122A-65E9-41FE-9F4A-FE785CAED003","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$34E8BB4D-A5C4-4C6B-A60E-CEB6E6BCDA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$1262B580-F8CD-4738-AC6C-F177B46BE679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$7171DE20-24ED-46F3-9885-DF56A7B01C73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81fc6072f243fb9e2059d35ff0cc8f80e3de991d","datavalue":{"value":"5772412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$52EE8D91-42BD-41C3-86A7-5A24D012E0BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q988571$6B0ED2B1-E1F3-4E10-BB8C-9FBD86126162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q988571$1712849F-F010-43A5-9F07-D2B08695E1EC","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":"Q988571$8DAF9B1F-6864-4BF2-A468-3D785510476A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59ce194237c5edaf097ca0e75444eaf86c721ae4","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2009.10.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q988571$1498C0C4-FFDC-4CD7-A2A1-863C0BDB1DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1742220f6f229ed92792b779215c3adea1d146ca","datavalue":{"value":"W2091470957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$C499A869-094B-40E5-88D7-721F139517FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c1d16c75ff551f6c84b8a34307f622523d123","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$15261FA3-1369-47AB-AEEB-F7142EE538DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b26059adbb73b62187c785afebbe01c80563747","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$4165F9DD-03EF-4616-914A-DCC0A93F1C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38279ab697b62b6ea15e36553c1fb75cd25aa683","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$8D77DA84-13C1-42BC-9A37-9EC7A5FCC250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8502b0649ac9167fedfcbc9d4d44bd647d4e4d","datavalue":{"value":{"entity-type":"item","numeric-id":814548,"id":"Q814548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$511AAA0A-7A64-429D-9134-BE8AB93FB46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$72DCB2EE-365D-4767-A6C1-48E5F2A1A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$A28D727E-CBCD-4A75-AA85-35DBDD6B99A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30503e2191a985b06e59de37ad4b47ce193e33","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$4AD4C704-A659-4297-B5D4-A0AFB04880C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f70e7188156d403f522b81c0f9facf21845cc9","datavalue":{"value":{"entity-type":"item","numeric-id":2842609,"id":"Q2842609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$7A683425-0DC1-4F0B-A5AE-5F83CFEF34D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$525EF618-026C-4C7B-9BD0-00CBB651377F","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":"Q988571$DB9E9834-44B4-4415-A152-28D12A081D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49786e968e9be66a475e1ef40df370a08a4031b1","datavalue":{"value":{"entity-type":"item","numeric-id":1815426,"id":"Q1815426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$D1ACA538-2D5B-44B0-87AB-D2752B13BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$A84594B1-2D0D-487B-B218-34584B72F7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea58d81f09ce014627a7b54a489ba235c5f4717","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$BD70C77F-EF41-4137-8730-7A265E4636DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a00231a58759e498ebcb1fea4d396c3ed0c4585","datavalue":{"value":{"entity-type":"item","numeric-id":4910732,"id":"Q4910732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$04F0FB60-BBE8-4FC0-9599-1B79FD7C124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$73511480-EDEE-43BA-B6F4-4702B554577D","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":"Q988571$7FAD09F5-25CA-4DF2-9365-35E08B8C31FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$013C578A-17D3-4782-97F7-1173313CC1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$ECED2D5C-F6E9-45A3-9235-CED9907ABEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec1d0fdd3fd9fde2d7e31c1dead171c9fdc9a74","datavalue":{"value":{"entity-type":"item","numeric-id":814504,"id":"Q814504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$891BF2EB-C071-4435-A1AF-DAB38E6CA1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$B2ECFC8B-A762-4434-BC51-1C2D8163CE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$9F341983-E45B-4D1B-8A3A-00A4DC636F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d879774694bb3b5bb639243edc63685f7f0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426002,"id":"Q1426002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$79B236D8-7D61-41AC-9726-1C09F92E3F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18966f690f22a261a9912c67dc081832d69920c3","datavalue":{"value":{"entity-type":"item","numeric-id":5941441,"id":"Q5941441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$C4EB544E-EE88-4977-A326-77BFCC8F7F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$828E241E-FA91-4817-AD9B-6E814E14C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$A3616541-DD7C-493B-B92A-D8CD8E658FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$F76A5F50-CD88-4CC4-A48E-AA208121BA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988571$3B5DD611-460D-4035-873D-BCA693946576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8bde968c484a8ba7240a56dabd8adb37a1c59dd","datavalue":{"value":"10.1016/J.JCSS.2009.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988571$84275DE2-C991-4F4F-B9B7-D17388D18F9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bc608f5ca5a9091998c7366f1e292866fc4929","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab8432daf5a1a85a37341f278e5a837bb9895b3","datavalue":{"value":{"amount":"+0.9944964647293092","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":"Q988571$1EC485CB-741D-4D70-BD6E-EEA1DB94FC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8825935ee61c301ee799edb1538135edec08834","datavalue":{"value":{"amount":"+0.8247970342636108","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":"Q988571$56234274-18E6-4EDD-B31A-362451CE2011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8be3561be537242c940a508facc3d798e41c46d","datavalue":{"value":{"entity-type":"item","numeric-id":3587453,"id":"Q3587453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8825935ee61c301ee799edb1538135edec08834","datavalue":{"value":{"amount":"+0.8247970342636108","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":"Q988571$98934587-A6A4-462C-8CCF-4F5C1B56B877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343044593eca8f3fe2aa659c4f2418217393e635","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4212652e7e356ec0e165e473911fb9b7665c0597","datavalue":{"value":{"amount":"+0.8217049837112427","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":"Q988571$5B7FEAF7-1049-437A-A461-085A161627F2","rank":"normal"},{"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":"5ad3d5c2002577c6710ab5f85dfd0333c2e7daa7","datavalue":{"value":{"amount":"+0.8199771642684937","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":"Q988571$11E0B2B4-02C6-437C-96EE-0DC6675BF067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized modal satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_modal_satisfiability"}}}}}