{"entities":{"Q3386912":{"pageid":3397615,"ns":120,"title":"Item:Q3386912","lastrevid":87051089,"modified":"2026-06-04T10:33:38Z","type":"item","id":"Q3386912","labels":{"en":{"language":"en","value":"Fra\u00efss\u00e9's theorem for logics of formal inconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291120"}},"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":"Q3386912$2FB98D54-6C38-4EB6-9C6F-468F534C4728","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e700717bcb686dcec3693eab6903a9bf143f2be","datavalue":{"value":{"text":"Fra\u00efss\u00e9\u2019s theorem for logics of formal inconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3386912$B144B3BC-130B-4553-930A-52FF61B73A2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85316140c306012e866c416e02c6e77c8cdc7245","datavalue":{"value":"1477.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386912$2DB715B6-0118-457E-BEF7-1B197BB73813","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17481757f6ecfeabf6b540181d49532ce04eba91","datavalue":{"value":{"entity-type":"item","numeric-id":2205663,"id":"Q2205663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386912$B674E577-78F6-4B78-B31D-4992FD498BDA","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":"Q3386912$FE5FF296-2757-4A96-813D-2756E84F8441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386912$8F3B99F4-8E88-4F17-9897-6285A0F353B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386912$5777AA48-3ECE-436E-8878-68C93438FB90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386912$C62AED2E-BF9A-4088-AA77-2F2573C26C5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb473f9bb338924ce19ce6a1ec5e30ec4cff380","datavalue":{"value":"7291120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386912$D2CC851A-6342-4CAD-A6FF-A1871885EB34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd45fc55967e4bd3b9022fa53eb4932281adb69","datavalue":{"value":"logics of formal inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386912$4D96B41E-C465-469F-A9A6-6AF38E8E59C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dedf1d4ff7e92db27205d161c70fa775b7f8a1d5","datavalue":{"value":"Fra\u00efss\u00e9's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386912$536A9E67-30CA-4ED2-8636-6F80F3A4A941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fb71441c244f1fdf35830cf884dba907879ad73","datavalue":{"value":"back and forth equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386912$DB8DA212-A506-4066-A78F-A9AC18887F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386912$5C456AB3-AE4B-42E4-902F-62CA26500DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386912$774347AC-7BD0-46B9-8A35-1D9738BFD340","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":"Q3386912$8D237A67-3E8D-483E-ABB3-78827F122F4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69881bff44661beec3de157240dcbd2e3d07e288","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy073","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386912$2224FAEA-03B4-48D1-98E3-63AB4EEA780F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99f2a6cbe745aa651657acafd82aef73fd8caed6","datavalue":{"value":"W2914403345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386912$8309E731-287C-4C57-B940-DA89554131B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d40813fc50cfbf19623265e4e3bd599d6e16e12","datavalue":{"value":"10.1093/JIGPAL/JZY073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386912$178F28C1-BFD0-430C-835E-73E8A5903CE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b40d905bf5bc85c9d5af5b4bb5c5457ffd6f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2940892,"id":"Q2940892"},"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":"Q3386912$6B471DFD-B94D-4DE1-A7AF-163BF0DB90F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dc1431c8aefd2017411f976ef69aa03771e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3386903,"id":"Q3386903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a565bdfa3bbb86b28ee1443f59ff6e936c3057c8","datavalue":{"value":{"amount":"+0.7493990063667297","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":"Q3386912$54A79B1F-DB1C-4D1D-87D0-81024CBDB442","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":"094d7cd74f74113136b98e315d93ec103898d045","datavalue":{"value":{"amount":"+0.7191334962844849","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":"Q3386912$FE11FF34-E47E-4899-BA4C-74C3C0B09A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19781f1a1f7ed470622058078295668111e3a2fc","datavalue":{"value":{"entity-type":"item","numeric-id":3086692,"id":"Q3086692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c287d1c11da4f5190f6525dedbeea60f0aaca84","datavalue":{"value":{"amount":"+0.7045006155967712","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":"Q3386912$14F93530-ECB0-4DE0-A94C-F552FE54A9AC","rank":"normal"},{"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":"540fc13306e187428cf02c9f6015e7fdaace877e","datavalue":{"value":{"amount":"+0.6942228674888611","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":"Q3386912$5FB460DA-673C-4B22-A90D-76ED06EDE0CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fra\u00efss\u00e9's theorem for logics of formal inconsistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fra%C3%AFss%C3%A9%27s_theorem_for_logics_of_formal_inconsistency"}}}}}