{"entities":{"Q3984426":{"pageid":6014296,"ns":120,"title":"Item:Q3984426","lastrevid":46226050,"modified":"2025-12-24T08:44:10Z","type":"item","id":"Q3984426","labels":{"en":{"language":"en","value":"Intuitionistic modal logic and set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26205"}},"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":"Q3984426$E86E6A73-A85C-4E90-A715-0E536826162F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d39599efe2524c9fa571b7efcd078cf459d82978","datavalue":{"value":{"text":"Intuitionistic modal logic and set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984426$BD387B83-5EFA-44F9-9E55-043165A203EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70a37b63abae8b256016eddaed3635b3dc66a227","datavalue":{"value":"0743.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$43007164-F3B1-459C-86B6-EB09226D7DC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5521e208655557ebdeaa9e73c1f7097fc209e36f","datavalue":{"value":"10.2307/2274696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$16AA1404-B022-4DC2-8488-C74B00F7AFF0","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":"Q3984426$59E71A24-F99C-4E2C-972D-536D19EFC824","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984426$443480B3-87B3-43E2-86D6-F47C43E9FD0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$7063ADAD-989A-4FFD-B978-9C815839A96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$FFEC43B5-41EB-458C-835D-0AD8D31B2BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$7152808C-C85C-431A-88D1-456F61DEA203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$7C747BD1-A4C8-4B26-8689-521B347BCB50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85f78fd3e57abe303ab8890db6bba3aa37f1763f","datavalue":{"value":"26205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$02EC5306-6D4F-49BD-9C54-CDB33AA10EC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148a82a213cb4b249b9815d0e22ec3feb950957a","datavalue":{"value":"Heyting-valued sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984426$14956B64-585A-4940-A2F6-1E4CE0A15772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984426$B63ECFDE-9C89-4759-A2D7-4E1E1620B6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d095768f689dafb5467f7f143fbf8cf8abd892","datavalue":{"value":"intensional set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984426$6EC6859D-2325-4B42-AAF8-C54EDA2F75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7c62f64fded7c9602a5c3c53d9233f19cdca6","datavalue":{"value":"modal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984426$92D72E91-8CD3-48B8-8BC3-16D45D9AFCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0e9a85b4e20b033aeb1b9c617f6eda7046a18c","datavalue":{"value":"provability transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984426$95E92FA7-38A1-4960-AC8D-90AA8BDB7B3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3c3a156eb332c18b115f76d91fa2dc6dbc919a0","datavalue":{"value":{"entity-type":"item","numeric-id":1311747,"id":"Q1311747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$40A8EFFF-99EE-4B9C-98A0-0E9E970F3A07","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":"Q3984426$090545B1-9A95-4C8C-940B-5F31CC074091","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d854d1522816779e358c32c5b6c87e89250ef17e","datavalue":{"value":"https://doi.org/10.2307/2274696","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984426$43A280F1-F546-40D5-9B34-B1416A966DD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0adbdacd3eea1ead1046322debe04fb70607ab2","datavalue":{"value":"W2027049248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984426$7F4507BB-DEBE-4884-B6D7-81BA9BC56177","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fb496a1395aedc98382b3dc8911378a03ce25f","datavalue":{"value":{"entity-type":"item","numeric-id":798616,"id":"Q798616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$0C1E9E51-A280-42DA-B428-991E90D6F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$D87B2AA8-CEB9-4102-BDFC-59D298980929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66ff41fbcfd81f3126133c415e30a6cabc423b","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$FDAD5DD3-8360-4D9D-9A33-1B5D5C1399B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$0BBF1DE7-4866-42A6-ADF7-06B6E9F6CBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919d5232793ecfe740e82355ea229d16248f620d","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$F68DCFD3-B130-4464-919A-2A25644EC302","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":"Q3984426$199CA5BF-037A-45ED-9102-1643171538CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984426$41CBB9E3-435C-4CC7-8573-8C981C443DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a4771264ab3f0ac79e53a8040e0f550ae70ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4441142,"id":"Q4441142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b5c66fcd9b19f57611233eb47d23c3cf82dcc2","datavalue":{"value":{"amount":"+0.7995355725288391","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":"Q3984426$604D8AAA-5BC4-42C3-9B60-561D5F03AF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6d0b4522a8fa387060e3f27d57b4a326e6a496","datavalue":{"value":{"entity-type":"item","numeric-id":3722491,"id":"Q3722491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7e83c834cda9b3f5d891be4bf2e11128fe17c0","datavalue":{"value":{"amount":"+0.7672221660614014","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":"Q3984426$197741B4-5EED-4DF2-9881-94DAE1D81327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdabae116005026afd26b4d986522d35b8914fb","datavalue":{"value":{"entity-type":"item","numeric-id":4726244,"id":"Q4726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a8b64db89eed7aafc97a7fac6cbc4b962ae9ee","datavalue":{"value":{"amount":"+0.7621350288391113","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":"Q3984426$24B94046-BACA-45AE-964C-7A0FF4A40EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c01eae986230d20955c3bb1292bb45818eeb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33fea8a913d5d78f8c52613b5cd778df32866a6","datavalue":{"value":{"amount":"+0.7573306560516357","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":"Q3984426$50A45CE2-C6F0-44E9-A368-9EF82FA972FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dda4b882433af73757aeb092449075693e7ab81","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6074e32db13d91561bbbf648ef60e88169927801","datavalue":{"value":{"amount":"+0.7563183307647705","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":"Q3984426$5B88DDA5-3582-4754-83AD-23D8300A520B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984426"}}}}}