{"entities":{"Q2186695":{"pageid":2197438,"ns":120,"title":"Item:Q2186695","lastrevid":53750687,"modified":"2026-01-25T16:09:32Z","type":"item","id":"Q2186695","labels":{"en":{"language":"en","value":"Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7210300"}},"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":"Q2186695$5B452299-AF13-4497-8CAF-E3B8602D806E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4914bffe220a40fdb49183ae650d579653b9af4","datavalue":{"value":{"text":"Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2186695$BEC90B3E-E642-4868-A680-C58DEA84A7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c73bc0c462e86ac02f67b36af84fe58adb3e3e2","datavalue":{"value":"1481.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$23755555-A9BC-46AA-A420-93B6ABFCE5A8","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":"Q2186695$A00C01F8-48FC-496E-9690-9798520DC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$0E0925D7-6C92-43F2-9267-3C66ED805C22","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":"Q2186695$4C753ABE-BD27-490B-A12A-FECB9D31ABA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"442d5aead941c0578ccd7c54c4f813e979fa4e3c","datavalue":{"value":{"time":"+2020-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2186695$D2D0F096-1E40-4F1C-9584-AF7355C62222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$6DFA9AB7-E028-4EC2-AF27-EB4219B5F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$9B953603-391C-45C0-953A-42674F16B92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$1EC91F75-B68E-455E-9F17-B0B345DBA028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95031a87cd7029be4855623e8efc10d7a8661c5d","datavalue":{"value":"7210300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$689B77ED-54BC-4BAA-8BBB-4E9C6FD826F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c4a76da69807f1734b92e31cd5b4068168a00c8","datavalue":{"value":"ideal paraconsistent four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186695$61F2563B-2D51-42C6-9460-E0ADB568832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ec968e25c1807ec62273a48a8a67e7354b4f4d","datavalue":{"value":"4CC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186695$C6AA5E93-E47D-4B6D-93F1-9212D3E418E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186695$E7D0880A-962A-4BDF-9AD1-0FA9FE1052C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cfbdd458b576a7e018dc279ea34c5cb4040b6f","datavalue":{"value":"cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2186695$4922C630-E539-413F-AF91-B8582BB53709","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":"Q2186695$DA506AB9-ED5D-43CD-9C81-D7433CB8DDE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b95d8e4f40911fcdcb0b995e5823e074bad05521","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09863-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2186695$1DA3AF81-B87A-4D34-8D92-0FFE23D2C65A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc7857fa4ffed213c448e6c6ed23520de8e85e7c","datavalue":{"value":"W2944726109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$E69C150A-5844-4855-8784-3939F22E4FC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a032271e3fb319dd940bf1010af3fe80451330","datavalue":{"value":{"entity-type":"item","numeric-id":5731766,"id":"Q5731766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$14054396-1695-4693-B0D8-AA7B785770F4","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":"Q2186695$24997279-2708-4DFB-8779-74042EF0EED6","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":"Q2186695$A577F73B-97E0-46C2-92F5-E062D78B9C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72d26f08aecde771e93329bb8cfd619a57680a9","datavalue":{"value":{"entity-type":"item","numeric-id":5369472,"id":"Q5369472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$E0AD84DF-8308-403B-867C-7501FE89F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62d5eaac685da8416a99d6c8462f0242adfaf20","datavalue":{"value":{"entity-type":"item","numeric-id":1685565,"id":"Q1685565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$5EC03A02-2FB8-4C93-85C8-8794CA23769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad044e07b2112e9d30b47a40c2230f35ce416d","datavalue":{"value":{"entity-type":"item","numeric-id":647409,"id":"Q647409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$87FEE69C-2A77-4BF2-97E2-5ACE56FAF4DE","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":"Q2186695$8A29F9AB-6396-4D69-AD7B-5D6CCDAE6B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4322322a80ac3adcd4cc988e3c7c59595bfc91e","datavalue":{"value":{"entity-type":"item","numeric-id":3086715,"id":"Q3086715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$49C909A4-7775-4870-9350-6E40266A0E7E","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":"Q2186695$F73DAC28-B5D5-41FC-BEF7-E3DEEE4A0AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$8D223180-AA78-4F0A-BF88-2A6E65B82575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b104e0cfb7d493d4ba8a1b5b0f58d6152fa9dcbb","datavalue":{"value":{"entity-type":"item","numeric-id":5241918,"id":"Q5241918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$C12F54D2-F6D9-4231-90A9-FF35D61589E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf5efaf63f9c462dcdd45d8bf21b25538f54951","datavalue":{"value":{"entity-type":"item","numeric-id":2946716,"id":"Q2946716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$6972C151-6A08-4AEA-84BD-43C8F2003216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a0d61166f7a29e31bf6cdd79942decfb851d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4342089,"id":"Q4342089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$CA4C6763-47BA-40C0-B6BB-CFF86AF908FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bd0c5b86b80994533fe181244fe3712b0f17c5","datavalue":{"value":{"entity-type":"item","numeric-id":5545509,"id":"Q5545509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$C599AB4C-E52B-43B3-8A6F-54BA1B1AEB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$2FBC62E1-C5D8-40E2-AB1C-DA2336CA1652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$07F5AC15-F114-4AB9-BCC9-493D7D30BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$9014676C-1B32-437C-9EB7-1C016C998D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$9BD86949-1FC9-43DC-86A7-48184903E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1f580424b5630333db701f9ec131434a539379","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2186695$9458EEC6-D06B-4A65-BD4B-20FD6B39429F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93bcb4c5b76d712c58e0cdb0be7506eaf02d01fe","datavalue":{"value":"Q127888193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$97BF799F-5423-462F-BEE3-88F1FAED2267","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"598d0cea439af4975d4472553b95722caf902817","datavalue":{"value":"10.1007/S11225-019-09863-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2186695$F0B52123-2ED8-44FE-A588-D1FE0DEC4925","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba433f98d70a98ba4c3bf49629358a9477518b20","datavalue":{"value":{"entity-type":"item","numeric-id":2004955,"id":"Q2004955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31635589b0ed60bbfd45b147273e3db8e131a0f0","datavalue":{"value":{"amount":"+0.8042492866516113","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":"Q2186695$0A466937-636E-4D75-BC2A-FF3C5F2A2D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cbda2cf1cae565fa047475ed1fd45ca3c133a9","datavalue":{"value":{"entity-type":"item","numeric-id":1749807,"id":"Q1749807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b6a18fe8b8334dc4fe5dd3fe6a3f2ddccc9230","datavalue":{"value":{"amount":"+0.7789441347122192","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":"Q2186695$2E0E5122-959E-4E56-8349-737952278B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5179163c08a214e80029dc628819449a2b1261","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d9674c80d70267c991001a24cd7b9ed0aa028a","datavalue":{"value":{"amount":"+0.7721172571182251","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":"Q2186695$82C273B9-2DBD-4866-AEAD-16B8AF5FDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f516c9d12d33137f341c89a5a2dcb26c2d91e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f77da05f89d837db023ea2fce0b064b905567cc","datavalue":{"value":{"amount":"+0.7705579400062561","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":"Q2186695$DF545C4C-DE63-4FD6-BCB5-92219699A02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48c17b2ac32f27635b7e44dcdbeef02fafc1534","datavalue":{"value":{"entity-type":"item","numeric-id":4294471,"id":"Q4294471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5194b69ae8a118a3a70c3cd622d96a647957f67c","datavalue":{"value":{"amount":"+0.7588492035865784","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":"Q2186695$D82522CB-814D-42C5-8F24-759CAD2F3526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2186695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2186695"}}}}}