{"entities":{"Q6067750":{"pageid":13202058,"ns":120,"title":"Item:Q6067750","lastrevid":58652391,"modified":"2026-04-06T04:46:38Z","type":"item","id":"Q6067750","labels":{"en":{"language":"en","value":"Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7767291"}},"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":"Q6067750$E7880B29-BEEE-4480-9899-D47DB8567D43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d0135f8547d82567588db3b94bc2e9a60b12656","datavalue":{"value":{"text":"Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6067750$F2964417-4381-4D34-B821-28962E54A2EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$2C71D8EB-171C-4FFD-8E24-C113F5DA4916","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":"Q6067750$4F5A71D0-001F-49CB-9ABE-F0BCDA1457D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"544ebe7ba78ec3be2c7fb58d49c3702fd9b9eed1","datavalue":{"value":{"time":"+2023-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6067750$52B97CF3-3A52-41E7-98C4-E927D1B93D03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3592d780df14d59bed188fcba26054e7a72b6337","datavalue":{"value":"https://arxiv.org/abs/2210.02216","type":"string"},"datatype":"url"},"type":"statement","id":"Q6067750$409D0C9C-23EB-4D32-A889-691D5EDDE27A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067750$CE2F908E-8E4D-48E3-842D-EDA538F299EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5804ab28065b569306dd6a2d8066e520c3f25235","datavalue":{"value":"7767291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067750$37B78BE0-C2EB-4DE7-94E3-88B94F4801B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7140b0b5e8faf08d111cac61118e9bcfaa3105da","datavalue":{"value":"possibility semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$5448D72E-89F3-464A-9906-7EBB938F89A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7189b887ddbb243d74681866aa2e571603902d32","datavalue":{"value":"Fairtlough-Mendler semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$C2782D38-5436-4C18-9986-A78A806EA4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$D9A2DC91-DD12-4846-90A9-909B477B7AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70acc4487c94a262d59dce688e5372fa6a0eb0a","datavalue":{"value":"nucleus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$15C2D9C7-6E9C-43C4-8E29-C822414289D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$7B5640B4-74BC-44B7-B804-51C6DBB9DADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067750$D6695890-B094-4FEC-8B8C-11E7B9F382B6","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":"Q6067750$F0DA292F-485A-4F28-98AC-12CDBD810B84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38c0a6632fe2683c8b46a7aea070104f6b864b62","datavalue":{"value":"W4386253776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067750$36D166A1-A9CB-401F-99EE-D712D5713119","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$2F3D367D-36E9-4E2A-9FA3-A7458437564F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddc7b17e2372685cb3e0a9ecc84a40a206e9c34","datavalue":{"value":{"entity-type":"item","numeric-id":3235350,"id":"Q3235350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$355BA87D-78A2-46E3-8A85-2B21798A6ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a35e718e925666d9f75de218a24f10c34dd52","datavalue":{"value":{"entity-type":"item","numeric-id":4636034,"id":"Q4636034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$7E93036B-6FE2-4C6C-8D2A-255E2B4A9132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f391cfc1b2da94b8f57ef7de633777d6e2f9d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1740610,"id":"Q1740610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$F15D70FC-CF07-4015-9956-F275EAB11D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e4d4a33699afc7c171aafd2b741c1fc557aada","datavalue":{"value":{"entity-type":"item","numeric-id":5107222,"id":"Q5107222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$EFEAA107-72A9-498B-902A-86DBD01740A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$9C56E780-6EF0-4A57-A3DF-DBEE2D6805E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$FDC1ECF5-3022-4015-8DC1-0082661A2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$1BCD9881-4CF3-4502-9DC7-22AA897E7A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287d9e1e87e63afc348c977df3401bc3cb47ae4f","datavalue":{"value":{"entity-type":"item","numeric-id":5119388,"id":"Q5119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$63983FE9-D575-4FE5-A8C5-C647B469628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$6996FEC8-B68F-4A25-A829-3FFEF61A5AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081ea1623eb5a04630dda6e5cb5ba2e0190e7225","datavalue":{"value":{"entity-type":"item","numeric-id":5104704,"id":"Q5104704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$EA987B46-76F7-4F7D-82E0-9EE1EBA40601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$6660C5D4-7828-4179-A609-B3E503285E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$C7DC12DE-B4AC-4B1A-BF4A-E58E30DEC5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$B4B10B16-DACF-4841-8534-A6516DCF3BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$C946E202-52AC-4DE4-A456-72789921CF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b28ae4271b86c8a9663beb5cd30e3ad6895c3","datavalue":{"value":{"entity-type":"item","numeric-id":5216980,"id":"Q5216980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$FBDE0755-AC54-4C0F-865F-631A33B0028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12127c80a65760abc0d053706e1b947ad02ed12e","datavalue":{"value":{"entity-type":"item","numeric-id":4636300,"id":"Q4636300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$9D91CABA-7AB0-4E9F-8FB6-27E072537A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ec1b08cee32513b4b759d60cc459fafb0d47b2","datavalue":{"value":{"entity-type":"item","numeric-id":5872932,"id":"Q5872932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$552B2803-1347-4120-A72B-FEB7DB802C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7b4a02a934ae312fe49821ecb1608cd905c787","datavalue":{"value":{"entity-type":"item","numeric-id":1161736,"id":"Q1161736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$0A674E5E-4DAE-47B3-9599-46A265A0C7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$F84B02FB-CC04-4FC7-B94A-838BDC184EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$23394A36-97B0-418B-A56A-3E7890A23977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6da9e2156b566dbe810f749f305e5238ecfa5f","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$A6701C5E-7ED7-4BE2-8906-4CE659D47334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$FFD322D3-00B2-49AA-87BE-370551682A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$04C7A7C2-65C4-4E14-B9C5-CAC5A0670750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3ca49884c946f4435cf054679522226249b33e","datavalue":{"value":{"entity-type":"item","numeric-id":2983397,"id":"Q2983397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$5C011BE7-D72C-47AB-9E34-13A64DA3BF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$B5424E1C-C490-40AC-925F-84AE253F6547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea62f8a3af315a183c23780ff18a95752e4c717a","datavalue":{"value":{"entity-type":"item","numeric-id":3133167,"id":"Q3133167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$448C9B8A-E238-41B8-9473-4FEA8B509FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36795af1c4ac95246051c74940f6762f6bfd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4555450,"id":"Q4555450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$BD8B777C-62E5-4119-8BD1-62C8C6DBDFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee88cf646748cbf8ab62ba983fcf440338a7916","datavalue":{"value":{"entity-type":"item","numeric-id":5858133,"id":"Q5858133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$4877803F-98BC-413F-BF76-2AEA30657B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbf4ed328ef89280f1f0d87a1fa99b6cfd5149","datavalue":{"value":{"entity-type":"item","numeric-id":6102993,"id":"Q6102993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067750$0286DADE-8788-4BC1-9144-22C4D494C827","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1900d161e675f6c1a265fa74d5bbd8ad430a366","datavalue":{"value":"10.1007/S11225-023-10064-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067750$3962BD01-F0CD-462B-9135-DF2EDDF1E676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6067750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6067750"}}}}}