{"entities":{"Q2940892":{"pageid":2951612,"ns":120,"title":"Item:Q2940892","lastrevid":79580855,"modified":"2026-05-06T14:15:15Z","type":"item","id":"Q2940892","labels":{"en":{"language":"en","value":"On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6388726"}},"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":"Q2940892$64305020-955A-4306-8A4E-47B6ABC1D643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ce8fcb6baf747d858b5f80d6b97ef4190bc0ee6","datavalue":{"value":{"text":"ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2940892$94F0D87B-062B-41A7-A9B4-E7D5A02D1296","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42b5b148b105c6d405b77885bfa839681f9acf8b","datavalue":{"value":"1337.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940892$B05DFEA6-19AD-4A46-AA37-40DB52CE9F56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47ad4916214326b283d2afd12e487c1f0b08ec68","datavalue":{"value":"10.1017/S1755020314000148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940892$03C4D0DA-BEB9-4E22-9622-1238D982C0FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$A244F20A-A227-4107-A774-A1B562EA45C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7dd3caab67d9f2eb817bd2e0e16ae74b81c0fb","datavalue":{"value":{"entity-type":"item","numeric-id":2940890,"id":"Q2940890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$7A376568-922B-4CB2-9838-C9C41D440DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f941c77a5ff57f563cd656d11f7632a7f89d2e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2940891,"id":"Q2940891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$FE73BC3B-44EF-41C8-96E5-2FE026B706F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$FBF26D5A-7A15-4F7A-B935-4247749670EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$EE172152-1DF5-48AF-AE5D-540182D7A0E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d0251b69d7d19697bca623567230f62a256b263","datavalue":{"value":{"time":"+2015-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2940892$7D3DB798-CF91-451D-81FF-EF7BD95B854D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940892$F76ED502-F7BA-4969-9879-AFA51C3CE079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cac63e9930ba86f4dc0b66b49d55a15e6efab83","datavalue":{"value":"6388726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940892$8C027FCC-8843-4971-912B-2AA60DD903DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd45fc55967e4bd3b9022fa53eb4932281adb69","datavalue":{"value":"logics of formal inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940892$A0BD7E0D-2AEC-49DC-A576-6C24407EA311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940892$82E62D03-1A9E-4978-A489-5B163C4C61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940892$FE7907AD-988E-4FA4-99FA-B013B517CD7B","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":"Q2940892$915B5C91-D633-4236-ADD9-7EAB536AABED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$D30DDBF5-ABBC-4A9E-A694-AF124F1A3E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d533cee86a5332509c1e14c2c5af0ef5f7ac070f","datavalue":{"value":{"entity-type":"item","numeric-id":5176679,"id":"Q5176679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$A337B4FC-A023-4B24-AFEA-B32339E21040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de98d16e4a2c454c5ccbe9727a9823fa94ccd256","datavalue":{"value":{"entity-type":"item","numeric-id":5425994,"id":"Q5425994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$4D4830BD-F647-4B46-8773-95234BA2A16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$CAB53F82-B22D-4C1D-90AD-A1A034D9B19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403592d45c45d8a5e94463396e383072b32131a6","datavalue":{"value":{"entity-type":"item","numeric-id":1068814,"id":"Q1068814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$24A69F9E-243C-43DE-9B7E-BD360E79F08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d8fa501c7446af24ecf37c69b09ddbbdb7a0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3744152,"id":"Q3744152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$A46678BC-140A-4B70-B4FB-4EB648FD96CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148c3c5983a59437da205df3e85d1e2f32b4a498","datavalue":{"value":{"entity-type":"item","numeric-id":1095881,"id":"Q1095881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$46E32E28-A6D1-4B5F-BE75-C50669170074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa6e299a4784ceea7b84955f35d192049245f5b","datavalue":{"value":{"entity-type":"item","numeric-id":761425,"id":"Q761425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$5358A9EB-7685-40F2-93F1-2A99D80D6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ef10c8fdd327d54fd8f6ca892717073d58647d","datavalue":{"value":{"entity-type":"item","numeric-id":1234675,"id":"Q1234675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$3660FDC5-1498-4B57-B395-DD53053CBEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b46e11a9ec99e042c1c926f8a3708bfbe9cce9","datavalue":{"value":{"entity-type":"item","numeric-id":1936999,"id":"Q1936999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940892$130348A5-DB9A-4CA4-ABBD-81180CE8586C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf41285d02d8734fbda345c5ac2352ba685ad269","datavalue":{"value":"https://doi.org/10.1017/s1755020314000148","type":"string"},"datatype":"url"},"type":"statement","id":"Q2940892$9F341F72-DD27-4BE9-B686-287F52CC7EDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82addb10da455b4161a08b75c7c8610fb04a77b3","datavalue":{"value":"W1967451645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940892$94D0E21F-B16F-4396-B7F0-C645187DACD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c592ff2768e42b3843d091b31fb591e0b81589","datavalue":{"value":{"entity-type":"item","numeric-id":5425994,"id":"Q5425994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed82731d3f2f6cac926e972abc783e0229e1071","datavalue":{"value":{"amount":"+0.7618962526321411","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":"Q2940892$2F314831-8D4F-4865-9C50-EEADB02C0A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f0c7dcf50adddf8a51a4fbee810b15edaa4a34","datavalue":{"value":{"entity-type":"item","numeric-id":3386912,"id":"Q3386912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff59ff57b38643a69399738f60cff48005659b6","datavalue":{"value":{"amount":"+0.7557440400123596","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":"Q2940892$B190F294-75BF-4460-9F0D-938F420577FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7644ea4b246f8744b68495a759ee3ffead119405","datavalue":{"value":{"entity-type":"item","numeric-id":5241518,"id":"Q5241518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e0fb9dd1d9c3498f400cc6de1ece134cad3d3a","datavalue":{"value":{"amount":"+0.7541365623474121","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":"Q2940892$797D489A-8EA3-49DE-B9AA-E87C431F0283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92597c4b8d6dc81871fe90ebfc7cee8d042b84d9","datavalue":{"value":{"entity-type":"item","numeric-id":1068814,"id":"Q1068814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c3ade6ddb8a7b84481d31df9fc83312f98f13f","datavalue":{"value":{"amount":"+0.7417379021644592","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":"Q2940892$CB077860-571A-47D2-908B-7B5A4C09E3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a487f81237e0cb87e4f2c7ccfccd433053a1fd7f","datavalue":{"value":{"entity-type":"item","numeric-id":5446288,"id":"Q5446288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aee649d62a71a8bf6d114c82c13211658ef1da4","datavalue":{"value":{"amount":"+0.7372837066650391","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":"Q2940892$01A1FCAB-584D-4BE7-943B-820B2EECC327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_way_to_a_wider_model_theory:_completeness_theorems_for_first-order_logics_of_formal_inconsistency"}}}}}