{"entities":{"Q6967415":{"pageid":21307554,"ns":120,"title":"Item:Q6967415","lastrevid":76158006,"modified":"2026-04-23T01:27:25Z","type":"item","id":"Q6967415","labels":{"en":{"language":"en","value":"Intuitionistic master modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056528"}},"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":"Q6967415$9677FAB7-F8C5-49C3-A8FB-CFF2FAB0A98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"554ddd631024cc8fb5d47f9f9c3c93dcdb4e3f0b","datavalue":{"value":{"text":"Intuitionistic master modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967415$8F4E59BF-C5BA-433E-BF6A-85052E86BCC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fc16e733c406f7af0cc98b42e80bd58616fefd8","datavalue":{"value":"1573.03156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967415$761E3AB6-D611-4205-B6E5-8D2FCF1F29CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967415$4B69C6D0-81B4-4DDF-AD7E-8958F122D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1510a6aaf1a2cb46ac627dfc798a7c5e86b1d5a","datavalue":{"value":{"entity-type":"item","numeric-id":6541153,"id":"Q6541153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967415$2FD85F57-298D-439F-B406-44FCF053A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967415$109A06A0-6A13-4F1C-ABB7-979B240F9848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3695b78bd75206b88a4f4793ba8d2e026f418ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5884971,"id":"Q5884971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967415$10D9C51D-CDF4-4722-8C9B-BC19A2354D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967415$CC3D68F7-B380-4090-8CA5-6F07565F12FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967415$7761BEF7-FB3D-43BC-B083-3F0BFF3C4E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967415$BB5EF375-8A7E-4333-8BC4-EA1698755E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967415$B075DAAC-D014-42EC-BC36-BC29C919A487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de84d25574f76b2cd3432c5369887a63f8d3764a","datavalue":{"value":"8056528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967415$FDDF2A66-4305-463D-B40E-8AB69B4F353E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967415$DBF57BD3-1997-4489-A79B-465993622E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967415$90AE4F28-BD5D-4C3A-9E20-0EC48B5B3B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967415$58C8DC97-A9A2-40AD-A82C-B7AC5E4749E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967415$6D7D9EFC-E8A3-49AE-8688-AD6031CAD340","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":"Q6967415$A97CEA0A-DCA5-43FA-82EA-4404306ED509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic master modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_master_modality"}}}}}