{"entities":{"Q989577":{"pageid":991425,"ns":120,"title":"Item:Q989577","lastrevid":65866233,"modified":"2026-04-12T05:54:49Z","type":"item","id":"Q989577","labels":{"en":{"language":"en","value":"The complexity of propositional implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773855"}},"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":"Q989577$4A284A6E-7F7E-4241-AF0A-E52CB054B906","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"903aec335bba6cf881b180c69efcabcc71ab3556","datavalue":{"value":{"text":"The complexity of propositional implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989577$419B24B9-3BA8-4EAF-9B37-5485D0EA74F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d71563377cbb3d921a642ad65359f2f7dfe44c","datavalue":{"value":"1202.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$315A22F8-6F8A-4DEB-B44A-4FB2805BBF2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6e1be8090e1bf9e3724ced36f209cc459d004c","datavalue":{"value":{"entity-type":"item","numeric-id":976760,"id":"Q976760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$8A933413-489C-460B-9228-8E4C4FBA8B2B","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":"Q989577$032DAA8F-166E-43E9-842D-822DCD4F4309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989577$C4A13F03-88B1-4056-A0A8-20C854F3C890","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee2be57a4c2602514751c80441342676f46f1751","datavalue":{"value":"https://arxiv.org/abs/0811.0959","type":"string"},"datatype":"url"},"type":"statement","id":"Q989577$199CA105-BFB3-416D-A998-413258A76428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$341F2BDA-CA5A-489E-B777-45F4C2203BAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09819d7be98629cfef64ecfec8c8d8ccf2dc96b9","datavalue":{"value":"5773855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$9E2B477D-0AEE-43DD-93F1-973D506D69F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q989577$063FBF57-D8FF-4FBB-84A7-9A32FFC0C70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e81bce3151177f32c5c523ca369c6a17df8ec816","datavalue":{"value":"propositional implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q989577$D2F82F07-E03E-43B8-A9A3-47547F564862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q989577$7F96D1E6-C30B-45E4-BFB1-E32037891EAC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c71b24c1d2b0cb7cf51c74182da3a07054dff2b","datavalue":{"value":"Q57998326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$C077471F-85DC-4168-A827-4898D545CE53","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":"Q989577$3081BA46-9399-45C3-88FB-ED0ABD246A93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3007520e0b27b783fdab0d56ef8a8f211970495b","datavalue":{"value":"W1976656121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$4596F890-34DA-4802-B2EF-9EA3DC71DCF8","rank":"normal"}],"P223":[{"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":"Q989577$1377CFA8-3B40-42F8-AA3C-8F85A44E9CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071eb8212d7883f252c9453af587af605bb1575","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$8BBBD4BC-4155-41C6-B1EB-E1A97A7A0C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d89cb1e49464867528aeaacc74a6f0e58536d96","datavalue":{"value":{"entity-type":"item","numeric-id":4009813,"id":"Q4009813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$A7473EEF-7D35-41A2-8FB5-A1F6F21FF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3aa57810f0528ce2438cd0f484c242c53bb4e54","datavalue":{"value":{"entity-type":"item","numeric-id":3325043,"id":"Q3325043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$EF6856B8-4CFD-41C5-AC7A-EAF5F3A22B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9285a61f3039e7ce640456a9ea2b4d13665dc77","datavalue":{"value":{"entity-type":"item","numeric-id":5626625,"id":"Q5626625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$88C93090-BCF7-4D25-9107-B50DC354E18E","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":"Q989577$1C03F692-E502-4A0B-B4FD-7BB77028C82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62684b481e63c44b636f35ff713aeaed5007bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$9F699209-09B2-4F6C-B9A6-391ACC0AA476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$4674724A-495B-4B1D-A5DA-DA92A19AEEF8","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":"Q989577$8044C181-5EB3-435B-A5DC-D3A16C8C2745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8ef28bcf51674260dd544ebce8e766a1edae1d","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989577$5677D62E-71F8-4C5A-9A2F-F72631C2B49C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e79057f9cd222b0176b00c4dc48fbd975621f4d","datavalue":{"value":"10.1016/J.IPL.2009.06.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989577$4BA96A63-EC94-4A1A-86E4-B4256B98A1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929dfced953fc3614d652cb090b858860db08b48","datavalue":{"value":{"entity-type":"item","numeric-id":5917958,"id":"Q5917958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6567b334a324a7c5a95370db943ba2050508b4e0","datavalue":{"value":{"amount":"+0.780744194984436","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":"Q989577$E422ABB1-F151-4685-A5EF-3B7E40CC1E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79e2e7e55a23c5badf2cffa0187fc8767024ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54387485e78ec3a5317ce8adafa355b8daabf96","datavalue":{"value":{"amount":"+0.780463457107544","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":"Q989577$EB7E53C4-3C27-43AE-867B-E8434A8C6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce2401b81678994ad7b5061be7f21058fd56ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1263982,"id":"Q1263982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be64bb96a4557ee39f29d24c9f5d816d125d5c0","datavalue":{"value":{"amount":"+0.780417263507843","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":"Q989577$511FCBBC-25FE-4854-89A7-F59520F524FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad41a32f43b8e0032fd2c98582d6b446b3e5376","datavalue":{"value":{"entity-type":"item","numeric-id":1380416,"id":"Q1380416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22308dcc0f12a301386d2127bc969ce4d68ed616","datavalue":{"value":{"amount":"+0.7668857574462891","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":"Q989577$B3661246-467E-4EBA-A851-B4E21B1D403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c47b8640ec7cc109f5496170ac8938300049e77","datavalue":{"value":{"entity-type":"item","numeric-id":692903,"id":"Q692903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34de0751a6c5afbbd11c5b7920cacd04ff0bd9d8","datavalue":{"value":{"amount":"+0.7661206126213074","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":"Q989577$DFECB95E-D4D4-49D2-8D05-8B2785A58094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of propositional implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_propositional_implication"}}}}}