{"entities":{"Q2946342":{"pageid":2957062,"ns":120,"title":"Item:Q2946342","lastrevid":58081647,"modified":"2026-04-03T17:45:57Z","type":"item","id":"Q2946342","labels":{"en":{"language":"en","value":"Complexity of Propositional Independence and Inclusion Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482741"}},"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":"Q2946342$83A5CB3D-F0D9-4F0F-B2AF-274F7734EE38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bdf16b1649ef7ecad247ce4c75a1edf93f90a4b","datavalue":{"value":{"text":"Complexity of Propositional Independence and Inclusion Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946342$A31C6DBD-E96A-41E6-A569-70A38E0E5D1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"014ca44033084e3a40f520449db16f6853e4e0c9","datavalue":{"value":"1465.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$733716A9-9EA3-47DC-BE03-B3CCDCA91F6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eb818d5099575bf85b75f0f9face172620c5cfa","datavalue":{"value":"10.1007/978-3-662-48057-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$FE4CCB35-358A-4B62-AD52-6C8013722B46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$397F6D8D-D86C-4449-BCBB-831C43DAC36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$EC19D038-2C74-45DB-BE56-9E07F4818574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$AD725BF7-0E01-455A-AC5D-534FD0709A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$0AF62FA8-42A7-417C-B2C3-3E51813AC973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$5AB89C15-D781-468C-8E02-5DE10F1EA445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946342$5BB40515-B642-4327-A9DA-91AFC5AC951D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3eb0a7bf2fb7bcce2ee79dd2793a6e06636c7d8e","datavalue":{"value":"https://arxiv.org/abs/1504.06135","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946342$DDA461F3-554E-44FA-A001-BF5EDD86F368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$6A491D11-F31E-4CAA-AEDA-B01A734BFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$90DA8F56-4830-4AF7-A589-C509333A4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$A19EF098-1A3D-4F0F-B952-8CD23EB1AE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$F718B21C-DF0B-4DB9-938A-1012D93B899E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bea0d4bd737ddeeec6c74ee9c8e229429be7f836","datavalue":{"value":"6482741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$C21EEEC7-1C7A-465E-AA05-430CB2A61538","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$FFE518F9-51F9-485F-9FEB-2E283DDFFC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$0E7DC66A-E066-4EA8-848B-0E41E8ED7766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f11623e8bdd574efe0f1231b6fc5a6ec4e26cba","datavalue":{"value":"dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$1133E878-829C-4FD0-995F-AF8665FCB099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$C6FD151C-B432-4D5C-9228-8ACCF191B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6afbee5ed4d335f4b5bf59e0403717f9ce724883","datavalue":{"value":"inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$7D093F42-B879-4470-AC87-426C3DCE64D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$C9034982-28C4-4074-A4F7-B118D1D491A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$CE089B4F-6FC0-4DB1-A27E-98542B25F46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946342$0E089EDE-093B-4815-8DB8-49008B6F0FA5","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":"Q2946342$A91D0BEC-5670-45FA-BB60-40744E986920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f04af350aa1f947cfb60d0e8b51320cdb5dca9aa","datavalue":{"value":"W1736037452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946342$C67DDF1C-2B18-42E8-8EC5-C9670BDC3984","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$4E77534D-49EA-4443-8A29-2C75F8CDB473","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":"Q2946342$DA1C2B2B-C103-44D2-AC52-FDC958754C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ec7dc4566a1ce41bb90a9583007555aa63e279","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$C2A2948D-7048-4973-A41B-0D8168B5263F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$59E7658E-EC86-47B1-B05A-4B8CB3AFABB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$24525591-822D-44B8-B582-5B279BB0EA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10329930573e2ca9136c9c44d372296e4fba8ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5404957,"id":"Q5404957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$71E332DE-B03B-40B1-91B9-53AE714B160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf1c8f85fefa1d3f015352d22b30069da4bdc9c","datavalue":{"value":{"entity-type":"item","numeric-id":2946342,"id":"Q2946342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$A5CC4C82-1757-4E2F-8490-FA116D40906B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334b7748e2655c961553d8c4b942a86f1d37c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$919BD635-B7E3-43D3-9B6C-51D5828D81F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e85208dbde3f2c01f07b8f1278c6bf0445dc823","datavalue":{"value":{"entity-type":"item","numeric-id":5351963,"id":"Q5351963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$B1B0DE9E-115B-4061-8790-C32F80977A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f7d33ac25b10eb1bd60ef4dfd2a228c0e1581","datavalue":{"value":{"entity-type":"item","numeric-id":5894359,"id":"Q5894359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$10364C10-3BBB-48B7-AF1D-AD3E3F5A553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b543949e040b1ba85c4514447c6a6f669919b0","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$750A1DE1-4120-43FD-AC5A-DF399D07CE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708ed1ad6384d82d886f8ffe7ade63b9e9f6bc58","datavalue":{"value":{"entity-type":"item","numeric-id":3670562,"id":"Q3670562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$8B7894F5-683D-4726-B0AF-EA9C2F90F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1440bfde4b921a559ae7dd1808f848d5f74bf712","datavalue":{"value":{"entity-type":"item","numeric-id":5351964,"id":"Q5351964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$064A2FF2-0D4F-4A05-B862-F48041B8898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$D66D1D23-29A5-4557-977E-4CB39F59947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526c1e1ce8654c233cae22947a9ab0578581b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":4995356,"id":"Q4995356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$053DE4D3-C50E-4772-9AED-F0A6A6ACD062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946342$9E0635C9-AF00-424A-B2F6-CB9B505CEF67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946342"}}}}}