{"entities":{"Q1653658":{"pageid":1664399,"ns":120,"title":"Item:Q1653658","lastrevid":68064684,"modified":"2026-04-12T21:11:52Z","type":"item","id":"Q1653658","labels":{"en":{"language":"en","value":"Hintikka's independence-friendly logic meets Nelson's realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6914013"}},"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":"Q1653658$9FD102ED-5DF2-4BBB-87C2-9B842D290753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901610861eb291623c9528ad162f008eff4eb523","datavalue":{"value":{"text":"Hintikka's independence-friendly logic meets Nelson's realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653658$1F53876A-CCEE-4D6A-90AF-DD61E959597D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdaa88030c64fa679a45099351ba68a9d88e6500","datavalue":{"value":"1478.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653658$3A104E02-E5C3-4EC4-8F25-FBC0EE4113A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$087B4261-9260-407A-8CF9-6BFFB116F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f517762c8bf8d062c2939388e57760160d03abdd","datavalue":{"value":{"entity-type":"item","numeric-id":365660,"id":"Q365660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$668ACAEC-0912-4BFE-A3B3-142B4392E181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa3a12338cf9c0f9f9b74217d78eca202e24e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2003258,"id":"Q2003258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$BB7678AB-C2CA-44CD-9BDF-2FA259D9287B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$E88E4264-7BDE-486F-83CE-D0F6AA62797A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82b8b38224589a81cd806547430f6d71715c9a97","datavalue":{"value":{"time":"+2018-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653658$7EB2232B-678A-4218-970F-4FC23A603E68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0a34ee2d4b3be1b93b84395d347213051032e97","datavalue":{"value":"The paper established Nelson's realizability interpretation restricted to the implication-free first-order formulas, which can be viewed as an effective version of GTS for FOL. It proposed a realizability interpretation for IF-FOL, and showed that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. The trump realizability in fact can be seen as a generalization of Nelson's restricted realizability. I think that this paper contributes to the theory of independence-friendly logic, and hence has a positive effect on the development of semantics of IF-FOL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$E5642287-217B-44E7-B4DA-EF38AD10CFEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653658$63E0A789-39D0-44A8-AC86-FA5DAA319833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daa3519e577c7517a18a9d204496ce983e0297fc","datavalue":{"value":"6914013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653658$61C30042-9A04-4093-8D10-92799FACC674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$7AAC1739-F809-4759-8FEB-C019063C05F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$AA4CFBD9-7E57-4CFC-BC13-259ED99D8322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e292e67a1ff357b218c90f6aed82b8db2f576219","datavalue":{"value":"trump semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$014BB2AE-485C-43AF-B6B2-9267E11A2B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$810EBACE-3FED-4AAF-BF97-D8C959DEB74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$B1CF38E6-6D1C-4001-BDAC-470564CB3681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653658$0E718CCE-6CCC-427F-83D2-4F7C467506B1","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":"Q1653658$D7A608F9-9C5B-4505-A82C-E94846293D20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bc6aba5013232a7bca6dc7f643e4f3053b9b842","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9760-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653658$BE1C8740-904F-4156-89FE-50C77A434098","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6185eb748fdb6211232ed949eafd46fff6621537","datavalue":{"value":"W2764097319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653658$0CD7C566-1542-46C2-ADEE-4E46EEE8AC00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a6bbac8d6ec155af87fdf4d97059d8699b2158","datavalue":{"value":{"entity-type":"item","numeric-id":833040,"id":"Q833040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$17FDD33A-78E8-48F3-B6BC-EDB5815D199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$4E5AED92-8CDB-4D84-890E-0B01B53E4B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04675bb682cee8b380566c06e9ed1f4ceed15583","datavalue":{"value":{"entity-type":"item","numeric-id":5588598,"id":"Q5588598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$4C8603F6-BF24-4BC1-B8F8-412C2A9392F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$649CD4A6-332D-49FC-818F-A38BA09D48BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$43D9E7AB-052E-4A28-B4F7-75D5F765EEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$7E12BDBC-F03C-4904-8802-A20284163D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$D7534AC2-4626-4245-A1BB-732B4E59DAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65ca58e30c11d8abc7b7023fa7fe6b946ec2ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3077957,"id":"Q3077957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$CC021BB2-C629-4430-8530-D5878EA4D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$0FAAA4AD-131E-4532-BB39-23A7F9B744EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$E8A539CB-F638-4C7A-BC54-BCC076646A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6527e7018fb4fc6f638f05f80534e57354446f90","datavalue":{"value":{"entity-type":"item","numeric-id":3576736,"id":"Q3576736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$D903CFA2-4D95-4BA0-B5E3-C7CBD91BB9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$AC2D5F4B-97A6-4B4A-9692-34437C2ACFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653658$98B84FC8-3CD8-495A-A332-88EACCE802CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a147a9c6e95fd5b0114ecf5d4f72571d83144665","datavalue":{"value":"10.1007/S11225-017-9760-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653658$B8ED6CDC-5873-43E0-BCE8-30D46F2108C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12183169ef3a4e0c9fc334d4c863bd098f4ffcab","datavalue":{"value":{"entity-type":"item","numeric-id":5915779,"id":"Q5915779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1cdc487063999d5784810c40b5c528e7ad0dea","datavalue":{"value":{"amount":"+0.8902029","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":"Q1653658$240144C5-8546-47A0-933C-B104F18F9180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fb881a040acb4671c75d44e01b579881a3c912","datavalue":{"value":{"entity-type":"item","numeric-id":5918342,"id":"Q5918342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1cdc487063999d5784810c40b5c528e7ad0dea","datavalue":{"value":{"amount":"+0.8902029","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":"Q1653658$42A1BDE6-776A-4FE7-B709-52503FDBF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f59c94af73cda9cd41d1a2e95de7625c858aadf","datavalue":{"value":{"amount":"+0.86662805","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":"Q1653658$7B6F8C32-EE5F-4973-B75C-7094FD22625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151e3c71c99206e20834019f22bb0108948acef7","datavalue":{"value":{"entity-type":"item","numeric-id":3150204,"id":"Q3150204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c5603d3121b6a9828ad6bab5092cd5263803b5","datavalue":{"value":{"amount":"+0.86657614","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":"Q1653658$AD1EBA52-E61D-4A02-A4AD-F23EB7A6DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff14c4338728256de7d3fe337ac76aedcbe81421","datavalue":{"value":{"entity-type":"item","numeric-id":598297,"id":"Q598297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f7dee5c86d5d73591330e3b6de263b8701691a","datavalue":{"value":{"amount":"+0.8658315","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":"Q1653658$19F8DD2B-A59D-4C84-BC6A-42FE708A2DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73db35e8814dee2ea3191084fbcaf2ae9b3ebf46","datavalue":{"value":{"entity-type":"item","numeric-id":3574473,"id":"Q3574473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6625649acce5486d07938497c515fe1eeda014c5","datavalue":{"value":{"amount":"+0.8646443","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":"Q1653658$A4BCCCB2-AE68-4582-9EEC-ADB2A39C229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6a7ae00126343a233499b8536886a6f2ea3f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1091385,"id":"Q1091385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195807d8287064203fbf5725f6d56120096890d4","datavalue":{"value":{"amount":"+0.85960877","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":"Q1653658$1274B058-15AE-467E-8832-7DC865526382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826f3f6b8fd792c22aca7c58420fba06d1eb0bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3f348574eb5604d588f997ba711870cb27e6fc","datavalue":{"value":{"amount":"+0.8594778","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":"Q1653658$BD385A9C-1324-4BDB-8A40-A444D88DE29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace8e346ecef3333a5a970819d17a94bddb1b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e542fca23e884d1c846636f8fd3bac6b89fceb","datavalue":{"value":{"amount":"+0.8567579","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":"Q1653658$543B7A7C-8B99-40A3-A08C-9B8905E3A2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hintikka's independence-friendly logic meets Nelson's realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hintikka%27s_independence-friendly_logic_meets_Nelson%27s_realizability"}}}}}