{"entities":{"Q6169327":{"pageid":13304214,"ns":120,"title":"Item:Q6169327","lastrevid":39740164,"modified":"2024-12-30T18:04:59Z","type":"item","id":"Q6169327","labels":{"en":{"language":"en","value":"A modal loosely guarded fragment of second-order propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7726399"}},"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":"Q6169327$826DB145-A95E-4479-B759-8FDCDAAA3CC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87e356cb7c0fef63332ace0cd6d77dc2cd7e15bb","datavalue":{"value":{"text":"A modal loosely guarded fragment of second-order propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6169327$9BC6EFB7-2D4F-4DC8-A496-836571A8B1B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e00f1e121e689781c413b7010cf12f986534d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1743998,"id":"Q1743998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$4F6D972B-2D1D-497E-92DC-9A451536CE04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$B9BB6F73-1A10-4A69-89EE-E423E9386764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb3c2cc5cd737caf151e6b27348a374c51a199e2","datavalue":{"value":{"time":"+2023-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6169327$6490E037-4D3A-4E5A-B0B0-86E91A71520C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169327$292A8E8A-3FBB-4E39-B1C0-EA276EED187E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169327$57BD4904-E59A-4C10-9FC1-D2C638A6ACD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"663f7c174052bd32af3cedcb1145a1d0b9ab224e","datavalue":{"value":"7726399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169327$17F6E99A-DF62-4904-91F9-710DB816CD09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d22b82563ebca48e90415abc49a6556c8806ba1","datavalue":{"value":"second-order propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169327$C7F80EE5-51D9-48E9-A2D7-C3AAE355D711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169327$65B8DC61-2E27-4162-9A88-311C7159A66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21099117e9c76307607acda1876d16c3869012ac","datavalue":{"value":"loosely guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169327$2B12DDD0-1747-46B9-A9A9-9E6FB8AE5D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169327$F06B8D24-3511-4F4F-B748-10A3DCA544C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6169327$667B2FFA-E54A-4FA8-ADFE-F82BB4CB7DE2","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":"Q6169327$F382F033-A0D1-45EA-AD24-19161416EDCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2777d92ea2d9ec1b09ae4bf7029d65d5954074fe","datavalue":{"value":"https://doi.org/10.1007/s10849-022-09390-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6169327$40F901B6-9ECA-4D59-B228-70DC9809082D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f7325de9f77ea3096ccdd05e35bd3f1f6c83a3","datavalue":{"value":"W4312106134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169327$973BE53D-5F22-4E50-A8AB-F57EE2FA96A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$34959654-1B7E-4CAE-B200-5A5C2E425015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0236ccf2806909432e7cbeebb1de0ee519759a","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$B81F7502-F4FE-45B8-99F9-855ECB5AA4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b79e4cfcf3bcd78a7377aa411e54feaeeebfe9","datavalue":{"value":{"entity-type":"item","numeric-id":1731834,"id":"Q1731834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$38F0074E-C12F-47B1-A4A1-4F38267EBDD8","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":"Q6169327$FFA11FF0-7C0A-4365-94B1-C9ACB6E339BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b21225b3c93355a1edbef9af76d5006098edd92","datavalue":{"value":{"entity-type":"item","numeric-id":1217694,"id":"Q1217694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$30A790CA-7693-44E3-83CD-587E562AEB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c990f7473437368929348051961f829bb40c","datavalue":{"value":{"entity-type":"item","numeric-id":2751355,"id":"Q2751355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$F094FF3F-3022-48FE-BE12-056A6BCA9C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf11cb9df689061164d8feef1ef1cad1bfc6403","datavalue":{"value":{"entity-type":"item","numeric-id":286706,"id":"Q286706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$9F04822D-9B1F-4B66-A81E-AC78D6C992BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$A3375E2B-736D-4FF2-A1B3-E4B2B3C587C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$BFAB8C76-159C-4AF4-98AE-0F7906979157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$3285970E-D3DD-4050-ABBD-6FC66C7D9951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72e0889de3a3fd4780789048b8b2474451f96f","datavalue":{"value":{"entity-type":"item","numeric-id":3387888,"id":"Q3387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$5C8F11B6-FCE4-4CBC-9CE1-5136DC5AA6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002460162e95ba276012863faeb6722ea601f64","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$4476CCD7-810C-43FC-87D9-0AD3E5BB6A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5323076a0b1469af97212bfdadff5e32e899bd3","datavalue":{"value":{"entity-type":"item","numeric-id":4012178,"id":"Q4012178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$B0AC6835-65BF-4898-898F-889FC7FBD336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$4794265E-D3BE-42AD-9610-2A85C16FC713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c17447159879d0f5e4ca60551e5103765de39b","datavalue":{"value":{"entity-type":"item","numeric-id":2421517,"id":"Q2421517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$5A5C8EBE-8131-4EA8-9144-72DA37EE21AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95bc594f634ab4151e2524e2b2a6762a62b5a924","datavalue":{"value":{"entity-type":"item","numeric-id":2675278,"id":"Q2675278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$DBC18E94-2BF2-45E5-A543-99B04A44B775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54934ebc893cb4e34081c22ae2c6c80db88fb1dc","datavalue":{"value":{"entity-type":"item","numeric-id":1840653,"id":"Q1840653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$1A71F149-B2B1-4A40-A297-86B0D09FF1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d887e90be4ff3f2e1c263a3bb0aca8913a317228","datavalue":{"value":{"entity-type":"item","numeric-id":633160,"id":"Q633160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$B43FAB24-715C-4C08-922E-A455409DFCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c4adddfa0642af7ec889dad9b165cd64487515","datavalue":{"value":{"entity-type":"item","numeric-id":5939956,"id":"Q5939956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$ED40630B-6995-4DC1-BFC0-1FED30918A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$2839C7AE-40B2-43AF-8103-845B4C58D4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a23979ff5d328d7ed997bbcb515c646c0dbc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1015494,"id":"Q1015494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$54804992-B915-4CDB-AB21-9EC7480EC016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68ae1748b8bfe9ae3e2d98918536504049351d1","datavalue":{"value":{"entity-type":"item","numeric-id":1743999,"id":"Q1743999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$751E32CA-EAD5-4623-AB25-F5916CF375D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc96d7269ec61fc005197ab851b63d5b6b1e64c","datavalue":{"value":{"entity-type":"item","numeric-id":2323640,"id":"Q2323640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$B262E077-7BFF-40DE-AA96-DE5CF1FA249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefd9bb1fc8a5d739cff8c63e572a7dcac4078bb","datavalue":{"value":{"entity-type":"item","numeric-id":2561209,"id":"Q2561209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$57C5DF9B-E5CC-4187-8A33-18A128000779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a87021c2b940923dd9b6d58954bdf1a5350b5a7","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$BFD26B97-5BF6-4859-8666-0DCA85687127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ccc172bd604c691bdc299e0c59a6c67e0e8325","datavalue":{"value":{"entity-type":"item","numeric-id":5960823,"id":"Q5960823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6169327$CD0AD9A7-7034-4B77-97D6-8D7041239901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9a09b25adef2150dc41689382357e27dda83d57","datavalue":{"value":"10.1007/S10849-022-09390-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6169327$73A6FA92-2E29-4046-955C-926630E6E9E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6169327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6169327"}}}}}