{"entities":{"Q6541158":{"pageid":14152301,"ns":120,"title":"Item:Q6541158","lastrevid":57344715,"modified":"2026-03-30T14:10:06Z","type":"item","id":"Q6541158","labels":{"en":{"language":"en","value":"On intuitionistic diamonds (and lack thereof)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850750"}},"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":"Q6541158$8D13B35B-1662-4A08-A695-C5A4944FF938","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"656ebd2bb6aa395016b1ebec491082b7dd209f1f","datavalue":{"value":{"text":"On intuitionistic diamonds (and lack thereof)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541158$5819593D-7A25-4127-A8D0-3375FA74CF40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7877a44784005aa3871676eaa3d4df212ec53ce","datavalue":{"value":"10.1007/978-3-031-43513-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541158$719D4D5C-046B-4D75-BBB3-9CB09A0CF031","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$0370086D-E55B-4537-AE60-75A0E0774184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"749da45a046df78df31a8068066ac46a7099b035","datavalue":{"value":{"entity-type":"item","numeric-id":1694450,"id":"Q1694450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$9559822F-3B10-47C3-A4E7-6F50DA861A85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-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":"Q6541158$2EFB71ED-B6A7-4E9A-A145-5B55CEAC900F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541158$B7999856-E9B7-4772-83AD-7EADC8FECCED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"180254eaa8e0b2e6821c55ba7f6998f466842e59","datavalue":{"value":"7850750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541158$CECD7703-1EAA-4142-B39A-31CF10E23C70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$06FD057C-E447-419A-9E46-8659692895E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$B15AF723-24C4-4643-9EAD-7C7E0B7E9286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7a16970906ea298ae5fc08e919cf7a255a92aa","datavalue":{"value":"negative translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$9AEC2FD9-1B79-4258-8249-C3D4D20F1393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$84BB07B3-2109-4448-AFFF-A72DDAD88830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$2D17E105-D78B-49E6-BD66-31613B93CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541158$010281BC-6645-43CD-9D9E-F868BCFBBB03","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":"Q6541158$9C58ECE9-7883-47F9-87CF-7E73F48FD8EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab3de7933898014c74acb916df4a55b9e1737d3","datavalue":{"value":{"entity-type":"item","numeric-id":2142094,"id":"Q2142094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$B516C251-1086-41CB-8449-112DD3005D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a88a851a9bafb5a87194b06345f61c65943de5","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$6E940391-051E-4DE5-AE2E-FE722FD5894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$D74B6685-97C4-4F99-8018-F776922CC19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$69AE0CFF-52C3-4887-9194-A9FC71C07B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362ca69c6b19a733ea89beb6bae2ffb416ff0dda","datavalue":{"value":{"entity-type":"item","numeric-id":2521681,"id":"Q2521681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$4744F400-F5D0-44E2-9F92-F2FBDF5F6D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7261581be2247eafa3592bf3f840a736de9d81","datavalue":{"value":{"entity-type":"item","numeric-id":5586229,"id":"Q5586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$B046CD19-96A6-4CB3-B472-943C5E38B050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2db943cdfec732839199b6390d33fe4ed4cb5de","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$2B718E53-2048-450A-A03D-5FCD03757285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834917c6c1a95bce0d4b5dc627bab5d61210314f","datavalue":{"value":{"entity-type":"item","numeric-id":5884951,"id":"Q5884951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$18A33F6A-AB66-4816-A70C-260AC5E4FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$B1435FEE-FFD0-48D3-AB07-A75B9D1CE28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$FAEF83C7-829C-451F-8F0B-FDF35A28D6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$A840C192-56F2-4529-9386-FC80DF565673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50ba61db66a00c67216430e624de9dd1ef188a6","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$944F259F-F351-45B3-A6F3-31F51EFCF339","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":"Q6541158$280FE38B-C334-47AC-B24A-4C8B4A5D282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffdf7997a5b081d87059787f8a0fdc99d765138","datavalue":{"value":{"entity-type":"item","numeric-id":5923139,"id":"Q5923139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$BE5139A8-3FF6-4312-9724-37D6CE883102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f001c2abd70a626753b8acdf8eeb206d3a520c66","datavalue":{"value":{"entity-type":"item","numeric-id":2624161,"id":"Q2624161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$BA3C1FF1-11E7-4BED-B41E-448923971A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ef798e3ca8ce1bee688f2fa85b74a55e80258","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$E6E49CBF-1B00-4E60-A3B9-CEBFB25815D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1968a7a950e39434a878f5976f0c19d61093a1a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111325,"id":"Q5111325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$7C918614-D52B-4C94-A027-32A53E1A9AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$F1458199-D552-41C6-8C15-612A2FB6FAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$0A59AEEC-1D93-4B13-B240-8ACC04DCECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab83b65f312cf5c30a3f2d43de77b4fe05a973e1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$7150EB62-8392-42C6-80FB-815CFD8C33EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$F7AA3608-5F4A-4A5E-ACB8-2B9D2497B707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a9c35b842b7ae9fb29cfbcfd68d8fbb8bce746","datavalue":{"value":{"entity-type":"item","numeric-id":2537109,"id":"Q2537109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$3FEF947D-2F29-4632-B174-8F2A62BB2763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$BDAE7D52-6F17-4E43-9DA4-9B4D65957D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$4971604A-55B3-494D-A459-D10D682FA93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40f32c9074fb8ce4cee5381207d2c25991065aa","datavalue":{"value":{"entity-type":"item","numeric-id":1220917,"id":"Q1220917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$74270607-852B-4A6D-B3D7-72094F3E64A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8fae185edb36ebf448980eb8da1eeea13feaa9","datavalue":{"value":{"entity-type":"item","numeric-id":910395,"id":"Q910395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$3E537F4C-E9DA-4C45-A1EA-FAB4FE689E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$BEC710D8-F03E-4912-B30C-32E9210732B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371f3c6a4ff9cb7d8732f7305110a1a564a02f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$0E55264D-7AAA-4B3C-BAEF-933217505FB9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541158$2FBE5CAB-8FAD-4B00-808B-5F81B4CD177B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541158"}}}}}