{"entities":{"Q4842637":{"pageid":6872217,"ns":120,"title":"Item:Q4842637","lastrevid":41157114,"modified":"2025-04-18T13:35:58Z","type":"item","id":"Q4842637","labels":{"en":{"language":"en","value":"Models of intuitionistic TT and NF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785347"}},"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":"Q4842637$EDA75FD0-FA1C-4A3E-838E-927CBEAF2CB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f0d39b5a1986cb6a378dc60dd5deb8336b20bef","datavalue":{"value":{"text":"Models of intuitionistic TT and NF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842637$8D9A0CB3-CF67-4972-8EDB-BAA3056AA611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc473cc57cf12f94dee84b208038f6c53c4ae072","datavalue":{"value":"0826.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$8F330385-CFB6-45AC-9195-D91BC9C85A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37ce6572afb558bb0224463f4e7370bc048372f4","datavalue":{"value":"10.2307/2275855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$60A4FEFF-3C77-4913-B2C5-8DF0480C42BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59478680be7ec5354913162474d097f9da517bf6","datavalue":{"value":{"entity-type":"item","numeric-id":757361,"id":"Q757361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$D0EC245D-8C5C-4F88-82A7-0C0F7023408B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$D969E112-1F17-4C51-B7AA-98BC0D42529C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c305b7fdcb11f411e5b2568d002c13123a59fe2","datavalue":{"value":{"time":"+1995-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842637$462791B9-D8B2-42E8-9D9A-D29AB929BDB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$C3A5D803-38FC-4B85-90C7-CA5CE273AA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$45A5DA59-BD13-456E-9399-8080C3D18159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$F63CCE06-A3AD-43BB-8CDD-276A7A7937E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f5150e9e0409751775fcd396cfeb45a511870c1","datavalue":{"value":"785347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$AA5B614E-1A14-46AA-A6D0-B33D261FE240","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842637$F00AF11B-C694-4C5D-AD3F-8B12B46B622B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18bea0118251e799b8c269169c2ab418fb382a6b","datavalue":{"value":"intuitionistic part of a classical theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842637$9B790596-652F-4126-84EA-D01119EA7BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77d3869b233c64c23a9d6770d4f03e190c24b9d6","datavalue":{"value":"Simple Theory of Types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842637$C3920CCD-1D79-40A8-A088-DD692E1B1327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842637$7C20FBC8-7DC0-4552-AC72-C952543CE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b3d2b6b47dae6657c46e82106c011e81b18bb","datavalue":{"value":"excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842637$406F6329-1CC2-4A94-98E5-E2F61EE991D8","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":"Q4842637$E8D188F2-855F-4DD0-8549-AD1F74AE98C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f07ac80a37b90bef199334b2bbc173f75e742263","datavalue":{"value":"https://doi.org/10.2307/2275855","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842637$2ECED22B-CC58-4FD2-96E3-BFF87F8C4B88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"979442a7e516ffe2f333a8524ac0831e8cd30e56","datavalue":{"value":"W2080463847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842637$AC246178-A89A-4448-9ED1-A46A160D1208","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"263d5045fab16d8e96a69cf48b4683cf88a49e93","datavalue":{"value":{"entity-type":"item","numeric-id":4003284,"id":"Q4003284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$C0C28643-D625-479E-9C3D-979CDE80ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be537ba514a7265949c57d06af40efd17466563","datavalue":{"value":{"entity-type":"item","numeric-id":1165239,"id":"Q1165239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$EA7FEFB9-E76E-449C-BA0F-6487B15A873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc699e5b9123338bcdd24a61d3317e709f8edb66","datavalue":{"value":{"entity-type":"item","numeric-id":4304093,"id":"Q4304093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$62A9744F-7CD5-4558-A343-C7FB5DEB56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd2995738d5efb382e56461a4163a9e0c5cb667","datavalue":{"value":{"entity-type":"item","numeric-id":4128815,"id":"Q4128815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842637$0B4D94BC-5DD2-4AE1-AFEA-B46B32E67E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07d95201f607c809e15fe1fe635c7107180a38c","datavalue":{"value":{"entity-type":"item","numeric-id":4858602,"id":"Q4858602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$D67D50E0-8921-490E-B041-ACFAE2CCF4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8aea3070d699d508cdc271ed8de68a7ea73dae5","datavalue":{"value":{"amount":"+0.90462977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$F03AC6FD-C4DF-432B-AE16-5C358F04EEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2487d1dd1529bd0042c51f6552b2fb3e55ffbfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5496624,"id":"Q5496624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d767dccb16c9a28f8537e18da8d594648bf6f567","datavalue":{"value":{"amount":"+0.8947259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$9538F771-442A-41F2-84B7-29DB561DFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d25d6b8e208eae81925c9214cb67470d4ad69d","datavalue":{"value":{"entity-type":"item","numeric-id":2785696,"id":"Q2785696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e680fd08d61b25e619a48de0774f7f4f749104e","datavalue":{"value":{"amount":"+0.8919945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$CEF529C3-62FC-4E37-A8F5-D8BE0B7FF00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938df091a9def9716d44a9dbbee15649598abaee","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974599cb04a82e539f4462dc5b20b72f6b095731","datavalue":{"value":{"amount":"+0.89014053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$6BDB382E-E3E6-4AAF-B6EF-4FB8F2A6659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabda08e8ed1da35aed727f0a8d0f82146cc59d7","datavalue":{"value":{"amount":"+0.89000845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$1F6BB640-847A-4DB9-BB6E-64D31863A392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac27ed1f9a72f3e00a842561cf35e69b0b735390","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df060478cc9428c83df53b06a5a3e54ee9fe8ef3","datavalue":{"value":{"amount":"+0.8886092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$CF62565F-AAB2-4401-85DD-2BC443D80725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cefeff71356d89852f0f035caae0bc5ac26e0e","datavalue":{"value":{"amount":"+0.8858615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$A841EECD-61A1-4170-A475-8306E6E824DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d2382502a4b7b7e62e933e551d556ff58de836","datavalue":{"value":{"entity-type":"item","numeric-id":5310880,"id":"Q5310880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bc56bcdec8a17db4426f2a254c757e692c6c71","datavalue":{"value":{"amount":"+0.881918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$08395123-AD42-485F-9082-93D1323A02E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b6aacac2905f2d1a06007cf73e67175da9b21","datavalue":{"value":{"entity-type":"item","numeric-id":1887664,"id":"Q1887664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1afc7eab2f129ffe631d7527030b4004bec201","datavalue":{"value":{"amount":"+0.88187546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4842637$5904A83B-61D9-47BC-9721-37FEAF505C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842637"}}}}}