{"entities":{"Q6564675":{"pageid":14175830,"ns":120,"title":"Item:Q6564675","lastrevid":40563278,"modified":"2025-03-06T21:40:40Z","type":"item","id":"Q6564675","labels":{"en":{"language":"en","value":"Modal model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873790"}},"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":"Q6564675$533995F9-2DFE-4851-B8F1-1C12C5719245","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb67ab49ce4419fb780849442f95f642b33a3fbb","datavalue":{"value":{"text":"Modal model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564675$E51D7A16-7E69-487E-A7CB-BDCCAB823639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e691c65c3658e494bdaabc0813b5b145a261d0","datavalue":{"value":"10.1215/00294527-2024-0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$E849238E-71C0-4CF9-B1BC-1364FFF0845A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$81DB3F10-711A-44E1-B855-1559CE0EAE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43aa98d8fe075a00f7f1c8e6e7190a061cc124c2","datavalue":{"value":{"entity-type":"item","numeric-id":2216577,"id":"Q2216577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$A0187359-9CD6-4C54-A12F-216AF391DFF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$05449763-21F6-40CF-9FDC-CA82D03F53A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ad38fe45e736da7b933e7fb9aab0b9eb039636d","datavalue":{"value":{"time":"+2024-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6564675$BCAA00AA-C4D2-4383-A3CD-6A6658BEB2E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$93BB608C-AF69-4B6A-B91E-11F2F12A6A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$AE380DE3-D075-4ED2-A896-426C0DE6BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$D075B52A-CC94-47EA-9A1E-704E4C0505C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$408817FE-F811-44B1-AFB3-6EC8EA152EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$098F5298-D814-4BE9-BEA4-288334B98FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$EAD09DAE-53CA-4494-8390-3EA39B0A9B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$8C02D7E3-685C-4249-9D22-DE76F15EBDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$E027F341-C78E-4C5F-9412-8CD50B83AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$8F806DD2-0033-4BC6-8EC4-CCA87BC077F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$62C2B797-8506-4FE6-BD6C-34586BB8470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$ACABD150-CF15-4A75-9E4F-DFCA954AB3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$AACF6586-0C23-4982-9E52-CD1F89B6FFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$F146F7B0-9822-4D72-A9F6-22C92470431E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$330E23A2-405A-4208-8DB9-B71BE736FA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$F2BB684B-E039-4955-97A8-E2CD9077197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$FDD02A77-1F24-422A-A264-72D58E30BD0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad5a4cfc9f96cca13ad131eb8844291072ff076","datavalue":{"value":"7873790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564675$C30CAC4F-A728-4B0C-B99F-66375B531828","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d33647082e28984e5e28e9bd103030327115e00","datavalue":{"value":"countable random graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$E0870843-D560-4B18-AFB7-EB6CC7B8B407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$B1000C83-D1E6-4487-B623-F1AE6336AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$D163A330-9204-4E49-B296-4C954B534671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7841103b55a20ae2c322ce23da1b388a8eab4240","datavalue":{"value":"logical expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$A16F80E1-3EFD-4ADE-AE52-475FEAF309AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e84a4ad47a60cb017dc5c812d4e9fd2918781a22","datavalue":{"value":"maximality principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$4DF10374-81A8-4BE8-8E92-5D2C4F63648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$03085872-DF0D-4F25-8BC2-1809F3E92E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$8A20B29D-528F-47B5-9F96-FAEA379874BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2d8b8c49435f9ce755b3a9c08660682cdd1f87b","datavalue":{"value":"potentialist system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$DD044FE4-A241-4597-9F09-56C7B56881BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7a9498883181a942a0f6fb79a23af40b52245c3","datavalue":{"value":"S4.2","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$44593DDF-B917-4F90-9F22-925AEA34992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$C96323F5-31E4-4802-A7A5-2BF0BB8E2C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564675$CCE2D79C-808F-4EE0-A8FA-6B8E229F22BB","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":"Q6564675$5B7376ED-EA2E-4338-BE59-3EF13C1F312D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$FC062D53-7F5A-466D-BE1E-DF6521BC17E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522de9b458910fa3390f82ed59b3bc72b9056541","datavalue":{"value":{"entity-type":"item","numeric-id":5855740,"id":"Q5855740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$3D1C57F1-4833-4AD5-ABAE-9C1C46DBA088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fefe909d803c14fbfa4cc60ee168e757d68981","datavalue":{"value":{"entity-type":"item","numeric-id":2827952,"id":"Q2827952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$462A7781-14B7-4A23-B49B-9B905137EEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd031867925522d5debdc71d5083763241a4dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$E0C32805-0059-4B58-91EE-994BC771A9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64132418b4f4fae4f1e47b13947ae2ff9625c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$0E342D94-1003-4C10-960D-501135AB5E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5e7b5616303dae527acb1d31e5908bee14a467","datavalue":{"value":{"entity-type":"item","numeric-id":5065132,"id":"Q5065132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$33EF89B8-5845-4011-9185-6E55652B24FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$6B9B5942-D580-44E4-8B32-2D25F0AD3CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22edf873c1fa5a158cacfadc4a4c53539f89bba","datavalue":{"value":{"entity-type":"item","numeric-id":2936237,"id":"Q2936237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$2DF00775-7268-40C9-B22C-C7D78A3484B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d4f8845c9b495561813d8aca8e47ace6f7a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5082064,"id":"Q5082064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$0397B322-5183-46E9-9666-29FAFBED547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$A5824227-001A-45A0-892D-21A52B6AFE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2a83f4efa330930f0eef4d0dd7243c40d36cb1","datavalue":{"value":{"entity-type":"item","numeric-id":831223,"id":"Q831223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564675$6E6FCE20-6694-40F4-B301-92C6BF50E091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564675"}}}}}