{"entities":{"Q6831444":{"pageid":15516573,"ns":120,"title":"Item:Q6831444","lastrevid":84297143,"modified":"2026-05-14T19:26:36Z","type":"item","id":"Q6831444","labels":{"en":{"language":"en","value":"Two-dimensional Kripke semantics. II: Stability and completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183044"}},"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":"Q6831444$09F6E969-92A1-493E-BC72-443BC5F8BEC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6191c736125cc8dcc540145010b0f908b99e15e","datavalue":{"value":{"text":"Two-dimensional Kripke semantics. II: Stability and completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831444$ED58F699-4C7E-4E3A-B869-1857F7CAD2B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0cbb44bbb5a4aca1b9737c715a402c4f7e79e28","datavalue":{"value":"10.46298/ENTICS.14767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831444$6D66F6BE-AAD4-423E-AF97-5E7D089AB519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eb25dfe5705ac46f782999a0940bf89bc761374","datavalue":{"value":{"entity-type":"item","numeric-id":2988391,"id":"Q2988391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$D109A051-D8AB-45A5-9B3A-BF457A540FD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831444$3F511441-EC2B-4584-9E5A-0B483BBFCE82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831444$26C8C8D0-ED85-4C29-A152-5CD19731B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831444$8E6AA908-F376-4ECB-A341-466F469A65C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e55fb7e0a29ef4f5edaa2943b25730a023deb46","datavalue":{"value":"8183044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831444$51111CA1-EB43-48E1-AC0A-0679ED9918BA","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":"Q6831444$DF20257C-E5BB-4665-A01D-75966E124599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$6786CC5E-2B89-4CC2-A48B-4EFCAE16A736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$8BAC3A1F-4811-40A0-9E82-E23EDBFEF8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$BC9FBAC1-77C6-457B-9347-7AE2DD85A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$83C2A163-B063-4BEA-9DED-E8A3FE2E2D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$B78A0695-CDEF-4E97-9761-998754062A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$A0067C6A-DB4E-4F32-B157-EF1014C8EB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$3BE9E6D6-A4AB-40AC-90ED-F23C12F24504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d611e9c4f91063c6ca694f4a9f4d3844d5c167c","datavalue":{"value":"presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$EE90E132-629F-4D1A-A4FA-DA085B812E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf56bf782a5961420ae5f504f9272e66b939942a","datavalue":{"value":"sifted colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$C93AF92E-3133-4EFD-8B1F-C47A17886D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d01d8f41a6bc8759e2f6300ed1ad293694e12401","datavalue":{"value":"product-preserving presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$0A5AD016-82BA-427E-9588-E6EB4E790BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a5eddf897f4747e6697376f6f64fae4ee9eae2","datavalue":{"value":"Lawvere theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831444$1BC23F4F-37D7-40EA-A247-8D1089899A65","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":"Q6831444$4426C58C-50CA-4A4B-8F9A-B6AB99A67B27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$C53A53AE-9EE9-400F-82E6-403A2E161279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94b192bcb1f1438fac6d7d940c39373c38eae5","datavalue":{"value":{"entity-type":"item","numeric-id":4527392,"id":"Q4527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$1288F014-60BE-4FD6-A9A2-34CA06C53D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bfc96f333d1be83ab8ee8c5fb3a5c13852ec1d","datavalue":{"value":{"entity-type":"item","numeric-id":5200272,"id":"Q5200272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$477D17A1-2906-428C-AD08-7D138D349EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde389a0da43b60f49b5fe6f1b87709132f4c41b","datavalue":{"value":{"entity-type":"item","numeric-id":2496138,"id":"Q2496138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$557227E5-666D-45F6-A66E-F85932654DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$94BFD279-4C03-4E03-8570-CEBB43EC15F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$8555193C-3268-432B-8DAD-5EB1E1EEB4AF","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":"Q6831444$07F77F93-C410-416C-AD8A-261732000F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c8e361d9bf807f47e5950c076007c212fc9666","datavalue":{"value":{"entity-type":"item","numeric-id":6179826,"id":"Q6179826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$2AF49274-3D15-408D-B969-24AD6F57EE4D","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":"Q6831444$190A0D07-B7BC-4221-B54A-85AA1BB29598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a08c25c238f048b2e589efdf52c68fe9575e27c","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$963CA45A-7991-40D7-B634-167ED54346B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$54EC4600-A61D-4AF7-9D89-9A8614E17AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$42D32075-A2BA-4943-9C3D-72CE8909C125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed178cbd0282277d0dcbdcc5fb10e8cdc102920","datavalue":{"value":{"entity-type":"item","numeric-id":1745575,"id":"Q1745575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$B876BD37-8131-4F12-B84C-6373F3C4DEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$D664D637-3C0B-4347-81BB-C0A214AC6385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$8D459581-6A4E-4559-B0E2-135865EEC699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacf7e726840f78487a011d50c5ecd21b237018b","datavalue":{"value":{"entity-type":"item","numeric-id":2828243,"id":"Q2828243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$75D243A3-465B-47B3-8C78-3A828BE50D45","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":"Q6831444$AFF59601-7A0A-4420-B22B-1BDD5B81247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6c56b6f2d9c29a064894133128651ceafa52ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158186,"id":"Q1158186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$B0471FFC-F8A6-43B4-B379-7F257789D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14154999be7ea0ad567942cef9734b9fb07fe517","datavalue":{"value":{"entity-type":"item","numeric-id":4109646,"id":"Q4109646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$9F3E6B22-444C-47F0-86E7-ACC086632DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399cf50f0b6927d1300f21de6c2505b3606df379","datavalue":{"value":{"entity-type":"item","numeric-id":3061277,"id":"Q3061277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$B0617241-DB89-4840-B005-E89AD0AC727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1c3e48bdec8274ff05000cc218a979a71db3ca","datavalue":{"value":{"entity-type":"item","numeric-id":1722781,"id":"Q1722781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$E35D8DB4-DBD8-434E-A454-67223574DEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$D744A486-3071-4793-9074-C4A80E930E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c341bd76b1ec1591e72ada9cce771c65a2f7c264","datavalue":{"value":{"entity-type":"item","numeric-id":4362914,"id":"Q4362914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$D1D9495B-B463-4945-9EDB-4D400AB1FD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$DD9FAD00-713E-44A3-8F4B-724F7CFD39B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4820e0e6825d4df22b7c496be3f6416f67ee9b5","datavalue":{"value":{"entity-type":"item","numeric-id":6854419,"id":"Q6854419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$BBB0ADEB-75B1-47C2-A9BC-AE505E92FF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2699b692dc13559a2a236d149ef034f99b07fba0","datavalue":{"value":{"entity-type":"item","numeric-id":1970592,"id":"Q1970592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$283B1D59-A550-43F7-BD64-5F6287C5DE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$E563B2D1-B1B9-4AE1-A873-86528DEB50D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f374c3a9df885955800072a491b8546edfbfc8c","datavalue":{"value":{"entity-type":"item","numeric-id":5072609,"id":"Q5072609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$4B63BF39-1A11-4992-8CD3-0ED531E7026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43931b7a31794794da0d0ce7bb6746d1f03462c","datavalue":{"value":{"entity-type":"item","numeric-id":5145658,"id":"Q5145658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$931B88C8-1148-40D6-8C1F-4C00C0202C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e622fcb1779edff63dfc667212e670505009e914","datavalue":{"value":{"entity-type":"item","numeric-id":5155672,"id":"Q5155672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$0E1AF8E2-65C2-409B-8B57-B467956B7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e664c53debae71bd3947b36756de2ad2859884e","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$414EFCED-1226-4EBB-8497-0AA95FA87327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74dbf1cd2482ada658630a75d4e32fecac0b72e0","datavalue":{"value":{"entity-type":"item","numeric-id":6183434,"id":"Q6183434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$C08BE925-1CE3-459C-9F52-E38FBEA0D179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687288d06955162130139fdd119d406c60d80324","datavalue":{"value":{"entity-type":"item","numeric-id":5890060,"id":"Q5890060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$9316E5C6-6336-4E0B-8D54-BFF78AB61C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bcecea7d4470b116d9a9ff3ccac25c41305492","datavalue":{"value":{"entity-type":"item","numeric-id":2709786,"id":"Q2709786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$9FD3592E-2DEC-4478-B2D3-28E83340406A","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":"Q6831444$B6227272-CA0D-4403-A97B-344A416E1A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6da58c971ba23eca286fe59657bdd13f136ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":910487,"id":"Q910487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$92316A5F-EA0A-469E-BF33-CDAA33DC3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b84c0485629d27d14374a3cb30e812ebfe5611","datavalue":{"value":{"entity-type":"item","numeric-id":6874999,"id":"Q6874999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$B3C62922-03CB-4009-A228-508CC1C784DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879efb533ed70f582ac7cf1000835d97340012ac","datavalue":{"value":{"entity-type":"item","numeric-id":3133166,"id":"Q3133166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$48D8999D-3E14-41B7-BDFA-5D085E332EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$E4C73F36-2C5A-4BE9-A107-FC8C2CDF41B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce2eada5b3e98078fe853fac7002cdee11fdad5","datavalue":{"value":{"entity-type":"item","numeric-id":5602981,"id":"Q5602981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$0E1CF3C5-3E0D-4285-AE17-10157810261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$11A1BCF7-14C4-46EB-BBE7-C7231E55F3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100e6111b619e729d7c574de50257516356f4910","datavalue":{"value":{"entity-type":"item","numeric-id":3388255,"id":"Q3388255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$90E49796-7AC4-41E0-8823-32EDCC30E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$809390F6-A416-4703-95CA-6AEC8135E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$73440744-D52E-452A-BD66-9BAA40DF8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2750c9439738068e9e3784096addfb38ef1b24d4","datavalue":{"value":{"entity-type":"item","numeric-id":1434357,"id":"Q1434357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$4C0175ED-BCD7-4FEC-9DF9-E7F76737961E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$10BAAA8A-521F-4A6D-B4FF-0D1AEB67E9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$2574652F-723A-41C2-9720-44ADF1607494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$CE032120-E0CD-4146-82E7-C63944EA2D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$59D98285-86D7-4620-883A-D7079B70AF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5f6a902cae6706ae1763f8821abc1095ccdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4650579,"id":"Q4650579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$61187295-DC1D-4B24-AC5A-63F36EEBFC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01b37f355bea1c73d76a56c76544f97c8cc9b3d","datavalue":{"value":{"entity-type":"item","numeric-id":278765,"id":"Q278765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$14DAF6DB-DD4A-43D1-AB63-0D5B4CD70BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b54b4ab609fd68f52286e6e5100afe49f740c76","datavalue":{"value":{"entity-type":"item","numeric-id":526967,"id":"Q526967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831444$B3572CCC-A95D-433E-8F6F-A08A30A3C60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-dimensional Kripke semantics. II: Stability and completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two-dimensional_Kripke_semantics._II:_Stability_and_completeness"}}}}}