{"entities":{"Q6545150":{"pageid":14156304,"ns":120,"title":"Item:Q6545150","lastrevid":40551792,"modified":"2025-03-06T15:27:15Z","type":"item","id":"Q6545150","labels":{"en":{"language":"en","value":"Subformula property for some modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854708"}},"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":"Q6545150$469856C5-D130-4331-90FC-C19D26A6FC6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7639e69b8d44b999c730ba69be7e579b90bcc958","datavalue":{"value":{"text":"Subformula property for some modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545150$33497705-AC22-4FD8-9211-25C8510EE322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$C2A2D4F2-5AFB-4498-A114-05598A7BB2DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a550d8ac0fd1ac23be3a86dcd027d3648e93751","datavalue":{"value":{"entity-type":"item","numeric-id":266994,"id":"Q266994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$30F7862D-43F4-470C-B2FA-48E14AF40AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545150$D64E7709-4042-43C5-8A5C-8AEC5A92336B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545150$5F9A94D6-6392-4C19-AA4F-B744E9DEFE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545150$3E44F76E-CDD3-4ACC-A980-50556A28740C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2551bcfcc5dcd8be8c79600ecc72704697881e58","datavalue":{"value":"7854708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545150$4EB2A01F-8D8B-4BB3-9E4C-C8072AF22FFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545150$065EEBA3-C872-40B9-B3E1-64F4A6BEEE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545150$7F1D7260-B3DF-40FF-A4DD-566951CEEDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545150$0607082A-E510-465A-A2A2-D8564ACA7CA9","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":"Q6545150$6D9731E2-4CA5-4325-8088-4474A45E4D0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$9E0DD700-A7D1-4467-B528-4A4033DAE8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$AC044D6D-1ECE-4D5D-9CDC-124002ED0BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$C0038EF3-5884-4475-857E-99C3115DB6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$D76A6650-DA55-4803-A222-57A4523FD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eacc81bf66ff060ee99fa9ba68745c99fbf1f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$B5EEECFC-AEC9-47F0-AC09-53E8039EDD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10befa0e43be4dd09df91203614a422272c049a","datavalue":{"value":{"entity-type":"item","numeric-id":2027110,"id":"Q2027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$58E67230-9CCC-4AD1-9B04-1DED8A619444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645533b663e2d7bb9dbec6981aac6d190b80d28e","datavalue":{"value":{"entity-type":"item","numeric-id":5147750,"id":"Q5147750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$97AC9B57-4851-445B-80E5-A3582A0A4F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485fbe4ec3ba8f77d59869550cf6ec873bda6158","datavalue":{"value":{"entity-type":"item","numeric-id":6166030,"id":"Q6166030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545150$E526FCCD-DDF4-48CC-AD81-1F88C4568A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545150"}}}}}