{"entities":{"Q2016059":{"pageid":2026801,"ns":120,"title":"Item:Q2016059","lastrevid":52018697,"modified":"2026-01-20T18:39:51Z","type":"item","id":"Q2016059","labels":{"en":{"language":"en","value":"A hierarchy of weak double negations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6305269"}},"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":"Q2016059$AFB27873-0D69-4430-8C3A-5E5E6DE4F516","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e64fee19c876d43028e0e64c95853de6dcc836e2","datavalue":{"value":{"text":"A hierarchy of weak double negations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2016059$31A9F315-A7EA-4173-9571-C010D58C9B67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f20724e3be39dbedf87d3066bbaae2dd22f1c4f","datavalue":{"value":"1329.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$148FE0C0-DFB7-4550-876B-E8584C80DEDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$4E59A0AE-6F6F-48BA-B782-454645782096","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$BE786EDF-A604-4031-86E0-C16578E53976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"837e229c4712445d21ddb3419ca34ef7a9a006d4","datavalue":{"value":{"time":"+2014-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2016059$83DB6C5B-7763-4FEC-9834-F50CFAF029D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$0A4AF988-08A0-46A5-ADED-6ED2A47FC1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$4C6F0FF7-DE09-46FD-8046-E1D18BBA6D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$BCC3F42F-251F-479A-90E4-2A71C396F861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec7311a0380ac96b8a40ad23f1d135fec7e9dbf","datavalue":{"value":"6305269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$A0492384-EE3D-4842-987E-77710EF12D59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"972d83f573b8cfd08f2384a70ff9b325e21cfda7","datavalue":{"value":"double negation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016059$5576505C-7211-4192-A1B4-F12B0EA92948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4f1c1c57af2f4de41529d45293561e95527c84","datavalue":{"value":"weak double negation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016059$FB377290-9F89-44A0-819D-70B4621678CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2340491df6332f615cb44ebf10b11c3e6671852b","datavalue":{"value":"paraconsistent negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016059$90F9FDF0-C1D6-4DDA-9465-1DB54F65759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016059$A400A08B-9CCA-4199-853C-9D063B9C2AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016059$40EBC54A-4CB5-41F5-8A80-3B5BB3A89EDA","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":"Q2016059$91C0137E-AA7D-44B2-B0C4-92A3489BC29C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c69ed99dd748e4282b53012a6687b5eb1bf42bb6","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9533-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2016059$2E6D1BE6-5A73-4E4D-8261-6C67BB921B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d0a10ceb91d36f29d7f54070e48825f03f5933","datavalue":{"value":"W1966601466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$F306E704-9559-4FDD-A5B3-B145DA1116CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$12CF9DC6-1D4D-4E38-A6E3-0DFDA09F8F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$1CA24E97-882A-4AE8-8B33-1AFDB360FAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$974C64A3-613A-43D2-A76F-9156C0F9BA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf92dfbbcfacba489881178d89ab3b4aa072827","datavalue":{"value":{"entity-type":"item","numeric-id":813081,"id":"Q813081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$64ECFCFC-0A17-47B9-82DE-CB9BEE8ECB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$623A5561-5FB3-4A74-9A4B-C58BDBEF4AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$36176890-72FD-4282-B5D5-F1F87A608756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968595f8b8911805e37211157da870cd8e5354b6","datavalue":{"value":{"entity-type":"item","numeric-id":701299,"id":"Q701299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$ADC3DD10-D9CF-443D-9765-CE514019D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124f7cc0d7a296d9ee4218f67492dbe433225e01","datavalue":{"value":{"entity-type":"item","numeric-id":4329287,"id":"Q4329287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$CDC49857-C863-4B40-A386-B12899C2DF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$6800D110-E46A-40E4-97FC-ABC1618B5848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$4417DF35-27ED-4F34-A703-EFE87947E3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c05e12e277dd4f9fac5921286d93d3131e325","datavalue":{"value":{"entity-type":"item","numeric-id":1015485,"id":"Q1015485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$FC154E1F-3E7B-4491-8D5D-E6B60358F3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059dd89a45c8f4f35ffad8fcd66570d17d2c8f97","datavalue":{"value":{"entity-type":"item","numeric-id":3647284,"id":"Q3647284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$B286C16B-BFF8-47D2-9376-A8A7C672E034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$C71FEF48-7090-40BA-8751-22FB4FBE39F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2b05a7bce71aa28da8da767e6dcef8492f4a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858239,"id":"Q3858239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$4DCBCE18-300F-4F98-8C89-D01A6590A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$0012E2A9-2884-4876-BA94-24DCA6E68888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016059$A55FC49E-0D4C-4C80-8868-5D20BAAF406A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ea383ce7f68686df12e1a5641d0c487b146de4f","datavalue":{"value":"10.1007/S11225-013-9533-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016059$74A02549-C83E-4A3E-A252-C70C7D84351A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4662c42bcafed7cf5322b247092e931aa8d0cffe","datavalue":{"value":{"entity-type":"item","numeric-id":1049743,"id":"Q1049743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fc2f2b916de50aeb1f3705cbef0378826d13c1","datavalue":{"value":{"amount":"+0.7587852478027344","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":"Q2016059$12040AD3-CC01-4206-A4E5-ACB6F02863F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5dcce4013ee3292b5cb58d11534494856d15ba","datavalue":{"value":{"entity-type":"item","numeric-id":1942343,"id":"Q1942343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae34fd3808e233e7044c1723e709ca098a2ee7a","datavalue":{"value":{"amount":"+0.7324072122573853","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":"Q2016059$FE17933F-996F-41E6-9C91-CC02809A1F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6a364e6076f7ee43dc944ae75583b2f9013298","datavalue":{"value":{"entity-type":"item","numeric-id":1685568,"id":"Q1685568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d871e131e3a5e041d16417fa3f4dfb0d85b9c78a","datavalue":{"value":{"amount":"+0.7316223382949829","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":"Q2016059$53872095-4294-47FC-AD51-E171B1EB1FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde234467c134e0c4b1d56ac64433cc09252c23","datavalue":{"value":{"entity-type":"item","numeric-id":497880,"id":"Q497880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb41674109c1470afc2123bf783bc9ae37dc6242","datavalue":{"value":{"amount":"+0.7252107262611389","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":"Q2016059$32243C27-C163-4072-9D0C-AE7508682D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6f3c95250b0b00dab221e9981e99a7ab73780","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78922009b793fa5f4fb05bc47b1b266f2d0dfd5f","datavalue":{"value":{"amount":"+0.7225546836853027","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":"Q2016059$80E97670-611F-47A5-B1DD-13DB9A309A31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2016059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2016059"}}}}}