{"entities":{"Q1049690":{"pageid":1051538,"ns":120,"title":"Item:Q1049690","lastrevid":69509019,"modified":"2026-04-13T07:28:49Z","type":"item","id":"Q1049690","labels":{"en":{"language":"en","value":"\\(\\in_I\\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5657220"}},"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":"Q1049690$CDC8200C-5DE3-4E0E-9949-40DD5A82DACF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93e76933a84fcac165e697640ca3fb1813d5aac9","datavalue":{"value":{"text":"\\(\\in_I\\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1049690$ED6DF049-863E-42B8-AED0-5DF0D2C3DCB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fee5467bdd23d1e7a4d501398e1dd1d7873c020","datavalue":{"value":"1190.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$C718897C-84CC-45A5-BB33-30CC1FE2EB2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dc72b01433cd262390157a91622c4aaf1115c61","datavalue":{"value":"10.1215/00294527-2009-012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$215C4321-A5E7-45DC-BBF0-36404A51F22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df79724739822c65f54b37c580d073a853804fec","datavalue":{"value":{"entity-type":"item","numeric-id":633159,"id":"Q633159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049690$700B53F2-9A44-4BE2-8763-A22EAAF5CA01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049690$07492CF6-9FEF-4F79-B9F3-45F190FA7E31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"881d7755ed56ad45091e513ac6c64caeecaa15ad","datavalue":{"value":{"time":"+2010-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1049690$ECE9A89D-7B23-420A-9B3E-D2EF27CF4997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$A35C01D0-D235-42C6-B6FD-B50552EF22B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$B75832E6-0F89-4BCF-8D9C-1DB2CFA59093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$189C9A19-C2D6-4BD2-B83F-2E57BB975E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$1BA32749-0E3C-4BAA-A125-58883AC9F093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f518bbefbc24841dc48d3c097a18f8671719b4c0","datavalue":{"value":"5657220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$1C846D9D-D46F-44CE-A392-5F2977C698D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d062ce4700ed2b1fb5f123cc1ee90e5e50c2eaa1","datavalue":{"value":"truth theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$E0BC77A5-FC7C-40EE-9B21-C422BB410416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc17046dc8967e4a084085abb9fe26b140861281","datavalue":{"value":"non-Fregean logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$C0CE20A7-5308-43D4-B86E-C0D2ABF79D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a55c2247f1ec1afae79380a28ac8b326571bcfd","datavalue":{"value":"self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$1DB6DA45-8731-48E9-9273-5CDCF6396700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$9BF888A6-93F6-48F6-86EE-6B8B736C1B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2815e8696cea38b29200da3751f1710e3e103b65","datavalue":{"value":"semantic paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$E75AF620-B895-4ECE-8E02-DE1549ADB37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$B8198A6D-C9D5-43E3-B3CB-32E1D9E142B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$56688946-4982-4F5A-9373-8B3F37582456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb4a0d5e500b3850bbe5b88c7900002f8b1ec66","datavalue":{"value":"intension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$A10AD1E9-F655-41D8-973B-7C4ED5D915D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d1a7341496252706cb24146cd0a090cb00f858","datavalue":{"value":"denotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049690$1D34EBE9-C443-4827-B614-C47BED52946E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b4ba60a0a12f95c37bbe60659093f5018009054","datavalue":{"value":"Q114007782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$91E93C17-A6D3-4977-8520-62F9DCEE5015","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":"Q1049690$BAAC173C-6A03-47D4-8B9C-A6A975F17B38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"885dc3963e80429d1dc90ec6dfff004f6d326a6d","datavalue":{"value":"https://doi.org/10.1215/00294527-2009-012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1049690$4D2470C7-DA7C-456B-8F03-F88CCFDE5548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c4101024765d21b3d508173737cf0e2c3f494f","datavalue":{"value":"W2026457733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049690$76B34FD1-7B86-4A42-A521-212FF1FB161D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3817abbd8626453d21f28c5648d063c328b9e0","datavalue":{"value":{"entity-type":"item","numeric-id":5710409,"id":"Q5710409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8784d92253bb53415dbf2c9a068c4f03d70f2234","datavalue":{"value":{"amount":"+0.7706206440925598","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":"Q1049690$207F3D76-B97F-4E49-823F-B6EB1D4E2EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4874cff8bfc10a7658458f8353d057498067c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2893315,"id":"Q2893315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c81b99fbbbc55f229ff66245d0c286e669783c","datavalue":{"value":{"amount":"+0.766457200050354","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":"Q1049690$009764DD-DB1B-450E-9645-E8F000A22179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41036159b8a9e43975c3818f3cae42e757bf8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4914001,"id":"Q4914001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60bd7bfb88f24b93ce5939770fec9e063d01c6f","datavalue":{"value":{"amount":"+0.7425880432128906","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":"Q1049690$E353053C-0E20-4F88-B4CE-065C15B084D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccf8cc4d8e9be73d59feda125603b4fa3a5802c","datavalue":{"value":{"entity-type":"item","numeric-id":4440539,"id":"Q4440539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76ec83312040d8a7d5a7e0f42c649cae6fc0bfb","datavalue":{"value":{"amount":"+0.7323870658874512","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":"Q1049690$EDE79EF2-0C1F-4016-BD80-E15498FEB784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1e424aba3e6c7452efa950d2e4341573c2ffd5","datavalue":{"value":{"entity-type":"item","numeric-id":484121,"id":"Q484121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b440e4818e959f358fcf7b7ddff906cb84ea1f","datavalue":{"value":{"amount":"+0.7297055125236511","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":"Q1049690$C0A96F72-947B-4902-A5F5-590FE265F834","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\in I\\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Cin_I%5C):_an_intuitionistic_logic_without_Fregean_axiom_and_with_predicates_for_truth_and_falsity"}}}}}