{"entities":{"Q6913385":{"pageid":20982481,"ns":120,"title":"Item:Q6913385","lastrevid":84155108,"modified":"2026-05-12T10:46:09Z","type":"item","id":"Q6913385","labels":{"en":{"language":"en","value":"A modal two-variable fragment of second-order propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8108681"}},"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":"Q6913385$FE1644F9-AEF9-4D51-A123-003C8E7481B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f54022a5fbd1dd1ce615d851ef5a6ad39e8ef907","datavalue":{"value":{"text":"A modal two-variable fragment of second-order propositional modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6913385$3E817A2D-87C6-479E-A494-919E943A4F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cee7020ca4aafa46492e9f8a51cb4b776b63ac11","datavalue":{"value":"10.1007/S10849-025-09434-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913385$70DD0009-0D44-414D-B1C9-8F48A2252676","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":"Q6913385$57D4D905-0A60-4C66-B71C-039CC5F4DD3E","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":"Q6913385$299D394D-7A1E-487B-9E9F-CD8DAEABA278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e99de2160b16674efb8c42c504ced9726f75262","datavalue":{"value":{"time":"+2025-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6913385$F9B0F134-C402-4DE6-96AC-0261129C0565","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913385$C1B260C4-3DE4-4D42-9C21-111A9B465878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913385$F4D397DB-3BB1-40E8-9DC6-14C831645851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b474ad05381485a205111e2bfbfee78eee841416","datavalue":{"value":"8108681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6913385$207D89F5-B41D-4899-97F2-5309B0C92D19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d22b82563ebca48e90415abc49a6556c8806ba1","datavalue":{"value":"second-order propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913385$9DC4A594-0C6D-4DFC-B3E1-CB3F19C293BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127cb94b78e9a2bf3ec9f3293ed81acd82258646","datavalue":{"value":"general (Henkin) semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913385$9F26AC52-0B95-49D2-8F98-B6AF4CD1A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"345322a68f316eeb67f12479d9590fb4579fea96","datavalue":{"value":"two-variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913385$74127BBE-FFCF-46C7-91D2-D1E0E0B8A6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913385$7C4FF27A-B75E-4AB9-98CE-DEEC86748022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6913385$98EC8790-1373-4B81-932B-A56F324FAA53","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":"Q6913385$66CAA228-1EFE-42FE-A5C2-7AE9A31A558A","rank":"normal"}],"P223":[{"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":"Q6913385$CA85A1A7-1042-4F98-B6D8-2996E546DE8C","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":"Q6913385$295E44A7-E437-4E7D-8C83-A72C472E5EA9","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":"Q6913385$681A226B-F32F-49AE-A094-79DCC06C8952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$47EEAC98-2A75-441E-AEC0-84C2B017C8FE","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":"Q6913385$FDC40709-9CB7-4052-BFCC-202DC2A6029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$50B1AAE0-7AC4-47C0-913A-E8DE7E8B7FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be6d068a1e3ed6103188c56fe0c9a8000057e37","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$2D42233E-95F7-4D85-B6D9-B4320A09A268","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":"Q6913385$70F86FC8-01B1-4109-ABD6-16BBE37DC6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68358e5e9b74cd417344d70ee4760c38519ced99","datavalue":{"value":{"entity-type":"item","numeric-id":2240550,"id":"Q2240550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$620B0CFF-C327-4573-8B10-0676BEC5B9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$347A993F-A96F-4C12-8140-D294CC1E9336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$8493CBF0-2276-4201-B961-D5B42D738D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c626cbe404122091a83026b026d88f35b4752ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3509051,"id":"Q3509051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$4DFB9B87-11BF-439D-AFF8-AFB2FD763735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7108241cd3b651d75efcf0e591582d8a31570242","datavalue":{"value":{"entity-type":"item","numeric-id":6545089,"id":"Q6545089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$FD8F3DF3-6390-4D35-B019-CB559C7A2554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$61EB811B-568F-41DE-902F-EC5139E54AD3","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":"Q6913385$7DEE6C80-7C6F-4C99-933E-04B9E0E3BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807f40b98e6f9faa4b0ff6bf6fa2f8d012e065c3","datavalue":{"value":{"entity-type":"item","numeric-id":4276167,"id":"Q4276167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$96FB3295-06BF-4589-9D33-D8DDC0D12ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a845c86f385c251e0f81bb55bb436c7353ece0","datavalue":{"value":{"entity-type":"item","numeric-id":1855214,"id":"Q1855214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$D33518A9-6F78-468C-8548-B38ACA9797D8","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":"Q6913385$5E75C3EC-A460-4036-AED6-616BD6772663","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":"Q6913385$93193FE4-15FD-4421-BACB-93114C19BCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30fc8a40eb42fdedd457402fd39fbf66c1808e11","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$FFFBA991-7F07-44F7-A507-0040D2D44F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$5A1D3965-FFCE-47F0-A8EA-0A909451D2BC","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":"Q6913385$6DC0687D-CD86-4DE5-822B-766941EC15D5","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":"Q6913385$2416E7E0-2912-4A97-9199-0C77C3A65908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$730F9157-788A-4F1C-B02E-904C5D1D784B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fe3db7cc16c13d2d8bd6b810d295dc78c23ab0","datavalue":{"value":{"entity-type":"item","numeric-id":6885854,"id":"Q6885854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$BA5F188B-1B4F-439E-BFB2-14360166B05E","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":"Q6913385$29D3F3D3-190B-4A64-B6F8-E19ED5979413","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":"Q6913385$827DB162-35BB-4739-AF2A-8F8DC8DA79DF","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":"Q6913385$37897666-8C75-4ED2-90F0-4F17C6DCD835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9209d55904450089fdb8680417f28472989cdd76","datavalue":{"value":{"entity-type":"item","numeric-id":6169327,"id":"Q6169327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$AC191BB4-E2BE-4990-A3EF-2D15F339205C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4976763308e8bd826243d9149e981c25d5dff21e","datavalue":{"value":{"entity-type":"item","numeric-id":6054107,"id":"Q6054107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$D703C5D6-BCE0-433E-AB0D-80995A032580","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":"Q6913385$BDC2F889-5C9B-4D1F-A740-C288D305A368","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":"Q6913385$07B3DF52-78EF-4AEC-BEA6-500724A7A9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaade6f665ec0d176e7579bda0d9be264938a7c8","datavalue":{"value":{"entity-type":"item","numeric-id":1761295,"id":"Q1761295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$AA916553-B852-4236-AA36-0A3D4E1B9B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce45561bc5383565d164178c9aa59158cb7ccd1","datavalue":{"value":{"entity-type":"item","numeric-id":6042095,"id":"Q6042095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6913385$70688E90-94C8-434C-B34C-41EEEBFDCDA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal two-variable fragment of second-order propositional modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_two-variable_fragment_of_second-order_propositional_modal_logic"}}}}}