{"entities":{"Q2453581":{"pageid":2464324,"ns":120,"title":"Item:Q2453581","lastrevid":55947004,"modified":"2026-02-21T10:08:04Z","type":"item","id":"Q2453581","labels":{"en":{"language":"en","value":"Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302160"}},"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":"Q2453581$53053EF7-BD8B-454E-B302-2BADAC201FB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9dac80f2e8610870e7d1fc5b68e9b6dea573f6e","datavalue":{"value":{"text":"Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453581$0F753224-1CA7-4BDA-92E2-5190C8407D3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bb9d243bde02eb7e6bdd1b74f32099892ff174e","datavalue":{"value":"1327.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$267CEE95-1908-47FB-81CD-3290169EB540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$381CA8CC-D04C-4750-A402-9AF12DD1A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75910c3998f3e6d7a5be008fae7c3261563e6e33","datavalue":{"value":{"entity-type":"item","numeric-id":631074,"id":"Q631074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$0426780E-9759-4EB7-942F-E310B91B1F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a69c580400d6070fedfdaf4f517c79a9d420116","datavalue":{"value":{"entity-type":"item","numeric-id":980941,"id":"Q980941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$4ACAFF2A-3A7C-4AEC-8482-144D03CDFBB1","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":"Q2453581$CE570D26-46D6-40D3-B3DB-51E119F72EE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453581$931DAFB7-D9A9-4F4D-B6EC-F174A8C7C4CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$C265DC1F-F8C1-412F-9A75-30AAD92A0B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$8FA0D578-C122-443F-B2BB-D89809B8FBA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0d52359bb8f843a2c7d8aad8891316cbb480b05","datavalue":{"value":"6302160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$1F1BD4F8-AE3D-4E27-9BF6-3C5E62307094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c800cb71152ead4bdf659364485230a44eaa100","datavalue":{"value":"imperfect information logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453581$6EA23521-83F5-47C3-B902-C2C665B0F9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453581$8AED36CC-D565-4717-9AD7-17DB1BFC70BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453581$5BD447D9-ED69-483E-AE64-0FFADA120D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453581$BB477AA5-3E3C-490C-904E-B58C05F2CFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbc22109c6ca68a8c31ea728f8d9c89fa174ae1","datavalue":{"value":"flattening operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453581$FE5E729D-BDFD-41CD-B190-96CB605D66D1","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":"Q2453581$04098BD6-B877-48F1-92BE-D052B0BDD205","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1264fbfd5941aa2c9a3d25864e1f05bfa8cfa63","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2014.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453581$5E6139C9-0EBD-4BD6-A03E-B9BCA896B441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4f3d762b9d8379761c089a9f39dabf56db1c97c","datavalue":{"value":"W2033995545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$DAE5BD7A-F2D2-4651-AEB7-F9C6B99FD5DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$41F3B2D2-3B86-495E-B78E-B435144F6848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$CA1B8CDC-B208-42EE-B9EC-44391BA887DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$DEB9010A-AA52-423A-A844-504AE4622770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$69D136AB-2ED5-4C23-927A-22AB5CDDA99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$D20499F0-99BF-4470-8EB6-2ED12CEB2BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365fc3a8c1ea4fdd14d92715e8b6b254641238e4","datavalue":{"value":{"entity-type":"item","numeric-id":3226751,"id":"Q3226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$0F34086B-56F5-4000-B67A-AB57A018BD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa57611b4fed99fd1554ab63c21f0015b2e05f6","datavalue":{"value":{"entity-type":"item","numeric-id":980942,"id":"Q980942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$A19A1CCB-17C5-4897-ABB8-35900BA62FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a05362560eb6384d388185fa888357acd89b4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3003355,"id":"Q3003355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$EDC62680-728D-435E-B4D7-6C5C93FC7BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83fc87e7179a2c7bbe925133cbd8e1f1fa63d89","datavalue":{"value":{"entity-type":"item","numeric-id":3613174,"id":"Q3613174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$DBEC1018-A3B8-461D-8332-1296734FBA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a12811d593d7fbb31f6db7c6765ebbd7a124f14","datavalue":{"value":{"entity-type":"item","numeric-id":4699335,"id":"Q4699335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$DEF39FBA-C87A-4A48-9864-B00486BCCB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031ec94354ea9c860a7fd690105f756cd266ec32","datavalue":{"value":{"entity-type":"item","numeric-id":1610629,"id":"Q1610629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$EFCE970C-9E88-4F77-9BA9-4EE88264DFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a826d552abcd20c185d36e7d02136cb6a512ef0d","datavalue":{"value":{"entity-type":"item","numeric-id":5755192,"id":"Q5755192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$17CA3248-3B6A-45F4-9324-825C33948901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed87da2d6c86d89b1f542f6be8a5cff4cb36f7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3147434,"id":"Q3147434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$82AADD5C-107A-409F-A29A-23AEFC66617B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83189eee96f476007cc10cc3631cc2d2bee9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$BE8F636E-2C6B-4CFF-A15B-071C76D2E751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$B0955003-87EE-4B35-8BA1-B6281FC70AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f233c094429b98c3192080cc99160bf214186a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5928923,"id":"Q5928923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$F8F53B03-6E52-474D-9668-D830CFD1AF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4e2906f0c154243ecaaf21a3388202946d4b00","datavalue":{"value":{"entity-type":"item","numeric-id":1267079,"id":"Q1267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$572C3F35-BD90-4456-A3C7-0EBB3065CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e017f8c1e3b772fe6d1ff204a1dc9db659150da","datavalue":{"value":{"entity-type":"item","numeric-id":3947649,"id":"Q3947649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453581$D6EECAB0-C2C2-4F7B-8A8C-A34CA3F169C9","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":"Q2453581$795D4A15-EF03-4AA4-87F2-8FAC0A8CA711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af6d462f86cb3a15fefce5691d48664c9555c96c","datavalue":{"value":"10.1016/J.JCSS.2014.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453581$8CB90921-BC6F-4226-A2E4-7CC33CF8A026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f24b48c168f25ce380ee83bbe6e909731569f0","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbf930c6e9a1e9816eed40d39d1cd1887cf0b38","datavalue":{"value":{"amount":"+0.86987746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$710DCB9E-9B54-431B-8A1C-A74C144A9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12183169ef3a4e0c9fc334d4c863bd098f4ffcab","datavalue":{"value":{"entity-type":"item","numeric-id":5915779,"id":"Q5915779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3afbafb1d9e1912e028e4284840b0a826b4a78","datavalue":{"value":{"amount":"+0.86415595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$1CF97412-210A-4FA8-9C4D-D48E4E360650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fb881a040acb4671c75d44e01b579881a3c912","datavalue":{"value":{"entity-type":"item","numeric-id":5918342,"id":"Q5918342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3afbafb1d9e1912e028e4284840b0a826b4a78","datavalue":{"value":{"amount":"+0.86415595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$A8B96B07-6C67-4372-99E0-6D2B8221084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a7ae00126343a233499b8536886a6f2ea3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1091385,"id":"Q1091385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227b17074546ab41504993b2f35102f94491738b","datavalue":{"value":{"amount":"+0.8523692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$C63D222B-2AF9-4647-978D-1E6098C6DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1341e095fb78b372f8126db81411c024d1338e","datavalue":{"value":{"entity-type":"item","numeric-id":6076360,"id":"Q6076360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe3041f01fd1b5a7fc0f8db554d0bf774ed7676","datavalue":{"value":{"amount":"+0.8386352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$27275AFC-C5E8-4998-85F5-72DA750CE1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73db35e8814dee2ea3191084fbcaf2ae9b3ebf46","datavalue":{"value":{"entity-type":"item","numeric-id":3574473,"id":"Q3574473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d695e646a09a5151212c632ef29f38dfccbae4","datavalue":{"value":{"amount":"+0.8383477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$95B820A9-6897-41A4-811C-784E923318A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4b1910a55dd17f664442273bce23c42bb632c8","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a0464fd95c09dfd50ef33cf7ca5240d96f269b","datavalue":{"value":{"amount":"+0.8349924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2453581$2F95BE70-987D-4AC5-8B91-68C3F6B64006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453581"}}}}}