{"entities":{"Q301378":{"pageid":303145,"ns":120,"title":"Item:Q301378","lastrevid":60876108,"modified":"2026-04-10T19:41:45Z","type":"item","id":"Q301378","labels":{"en":{"language":"en","value":"Revisiting da Costa logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6599741"}},"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":"Q301378$1B1FCCD8-029A-4EDA-93F1-49FE01EF2078","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b72b88b7f0cbfbf14944cd9796a43f8d3873c5b","datavalue":{"value":{"text":"Revisiting da Costa logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q301378$38DCD467-049B-4F56-AFDA-1BB66B94A94E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f75c206020db76876386b8a55329a837a1400ea0","datavalue":{"value":"1437.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$95E20288-B97F-4F98-A9BB-E55DAD2E1177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbda87e30ba3304b0df8d6ab02aab8cf0b6d5ce2","datavalue":{"value":{"entity-type":"item","numeric-id":301375,"id":"Q301375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$981A9752-37FA-4985-8318-C833A35FE7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b3288b16813cd4e95c4661013f294149d4c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":301376,"id":"Q301376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$856F40B0-F3A4-4B4F-A32E-F0B8538ADB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"642fb11532c8b933751d9953922aecabba84d9c3","datavalue":{"value":{"entity-type":"item","numeric-id":301377,"id":"Q301377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$8788EEC8-7E94-4E78-A407-3389F2E59055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$1817505F-87D2-4FFA-A834-92FEF2E9ED79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d98f2be9388fe0b19e5e725594ce7a9c36c460b","datavalue":{"value":{"time":"+2016-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q301378$D310AA38-569C-49F0-8DE4-91A595062962","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$2C98CFF6-B8D7-4902-BCB7-21B4278A81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$D1ED30DF-B525-4872-B152-0C30DFD2B106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$A269AD11-5780-4A41-9540-40FE737AFE10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c30128f3f305077eded1652c5e013cacdb7c71c2","datavalue":{"value":"6599741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$C2B855A9-893C-46BB-BE16-FD451579075D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q301378$B6027729-2A07-46BA-879A-155252761BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0bb70fbb124f09c8ff34fbfa18767e7271a0b4","datavalue":{"value":"da Costa logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q301378$D58EBE05-4B79-40DE-9009-F291D830C334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q301378$EA91B235-8EA5-4D8C-A01D-A423DC8E5A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q301378$4E6E5F01-C9A5-43E5-99D0-73BF2F010779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q301378$579C30D0-BAA5-421A-9FDC-6E6D7657E2EA","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":"Q301378$579961D5-44C7-478F-9C6C-353FC4AD8347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2077441b2430954b8a25f1a39174219568f1a9","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q301378$4AA69F60-6BD7-41E2-8AD5-FC5AB6468056","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3dbfdc04d5bf31a5f34d507093ce87efa58453ad","datavalue":{"value":"W2275288795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$A02979DB-E544-475A-A5BB-40B545DF1E79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"925e42ad67ae36eae62085365571716a6706b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":558432,"id":"Q558432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$026391E7-1AB3-4B64-B111-581B05E37BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feda6d15c9d7c20a2c76f0b349a8022ba33fdb22","datavalue":{"value":{"entity-type":"item","numeric-id":1775860,"id":"Q1775860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$CC20E90B-95CC-4E99-925E-1B00633694BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbcf548b72b5936e86e6a9975bb0f9ef608a0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5437780,"id":"Q5437780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$92285759-3F8A-49BB-A5DD-16C0471A9098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$1600295E-4262-4617-BD14-AA7472F2EC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74616caa39611ede14f2b9d7a2a8b9d639a8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3149220,"id":"Q3149220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$D4930D36-9D18-4500-869C-289CDA249112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07888fb5e08381d99e96646f18c64df95b6600","datavalue":{"value":{"entity-type":"item","numeric-id":5176671,"id":"Q5176671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$04378C82-9858-479A-A06C-2110A4764C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529ec1ae97fd29ba54afdcd0ba4a54d2cce26962","datavalue":{"value":{"entity-type":"item","numeric-id":4351800,"id":"Q4351800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$A7508A57-EB29-4AE0-94D4-1CDDC47DCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28335e5b1b58af170e9a8dde4eaa3af082b97e18","datavalue":{"value":{"entity-type":"item","numeric-id":2016069,"id":"Q2016069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$94D6EE7B-EA7C-46B8-91E9-BE9E765FE102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$19286D43-5B40-4608-B60E-A417C6CDF5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$8EE061AD-D1CA-4172-8E19-75EDEAC3505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$E20DC39E-1EAB-401B-B30B-D70930A8E9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59175deaf84ef6f32437a727640e97af0ee91dd","datavalue":{"value":{"entity-type":"item","numeric-id":3629896,"id":"Q3629896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$AE0A853D-028F-4105-A9AA-72FCAA509969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a4726e47f6ad7574fd06dde89df57ebeb80e16","datavalue":{"value":{"entity-type":"item","numeric-id":3549315,"id":"Q3549315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$D1463183-1E13-4B4B-9500-2C6FDD847BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1cc8144c26c15a42323e62f472daff2f37d0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3643367,"id":"Q3643367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$83924345-9D34-422A-9D18-DB6BBDCC7C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec45e6e76ce01da23f17a977af2297d026fbf73","datavalue":{"value":{"entity-type":"item","numeric-id":2443124,"id":"Q2443124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$64F759F9-A447-49E8-9325-B17664F8BB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a4e0f842fd27b09a86b5ef450093b3fd11d5cd","datavalue":{"value":{"entity-type":"item","numeric-id":3374103,"id":"Q3374103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$B1C062A8-1267-4AC4-91BD-FA4DF8C8DB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ff4bdba38e8d3bf9c6417307e31e0b15ef13f7","datavalue":{"value":{"entity-type":"item","numeric-id":3431977,"id":"Q3431977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$246EDF80-791A-451C-93FB-065B68BD07D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd9f24447d0c28e275331f7b7b84d57dc2a1c78","datavalue":{"value":{"entity-type":"item","numeric-id":813087,"id":"Q813087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$073D54A2-6B25-4B81-ABEC-B6A4DE2A8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q301378$5F1370D0-CB5B-45EA-A8BF-7943824DB727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76769267b73c877b97d1f1ca2f7188f6bc0a73d8","datavalue":{"value":"10.1016/J.JAL.2016.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q301378$293C0825-57F3-4C94-AE0D-B903762DDC10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465b27ddbb5e08b231570fdd18f13b71a83971a2","datavalue":{"value":{"entity-type":"item","numeric-id":631523,"id":"Q631523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23908a39e49f8e7e5d6edfa44b4e4197760c2abe","datavalue":{"value":{"amount":"+0.8429738879203796","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":"Q301378$493D9DAF-08CB-4E9B-BE66-CEE4FBB4FEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845361c1f5b8d1c60eac2a1d934b1e01ce679b85","datavalue":{"value":{"entity-type":"item","numeric-id":2016069,"id":"Q2016069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab86c5cf37d9466b48b5115690d04b826d7af8c","datavalue":{"value":{"amount":"+0.8226618766784668","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":"Q301378$51DFD2C9-632B-4796-9F5D-014900F271D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb83d5d7e4ade41c127744552bedd80461f5a58","datavalue":{"value":{"entity-type":"item","numeric-id":809995,"id":"Q809995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7109e4be2cd9d97b1ffee775ee22454ac278db7e","datavalue":{"value":{"amount":"+0.8175280094146729","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":"Q301378$2D1B2F43-96C0-4076-BE52-B8C2701C06CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3853c49711c78ff4e1a678af351e4e58378ac5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3606211,"id":"Q3606211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ece9510ee29716610f66f3c8f193abed2334ce","datavalue":{"value":{"amount":"+0.8164477348327637","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":"Q301378$99B5A84F-AB8D-40E8-9AF0-6D6C3197D74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222d972864bf5235a0f11116b09f6047dbab4ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4287778,"id":"Q4287778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbbd780e6f22ea5b561d8d21e90736241fe42ae","datavalue":{"value":{"amount":"+0.8161396980285645","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":"Q301378$7C664BAC-A3D2-4F47-8265-FA5734B393FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting da Costa logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_da_Costa_logic"}}}}}