{"entities":{"Q4333475":{"pageid":6363075,"ns":120,"title":"Item:Q4333475","lastrevid":47421880,"modified":"2026-01-01T17:04:39Z","type":"item","id":"Q4333475","labels":{"en":{"language":"en","value":"Minimal Axiomatization in Modal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980647"}},"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":"Q4333475$81425257-7092-42D7-81AC-A90C145DD6DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16ee19c62fa971a1624de3f76e96fbf40b97dc51","datavalue":{"value":{"text":"Minimal Axiomatization in Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4333475$FFB0F06C-7AC8-41BB-8109-3A6EB8A1F67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"226d587220eb871032850893998030799f19e08c","datavalue":{"value":"0862.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$12A6E2FA-770E-4834-A9B6-FB4721A2CD19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$E959B066-9171-433B-8400-8A87A82358F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e42d3b63a80627a7a13fa2a17d8f3badf1186620","datavalue":{"value":{"entity-type":"item","numeric-id":190277,"id":"Q190277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$440B8FB3-E18D-4E97-AABA-71107E3BB0CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$5520C1F8-034A-413F-9071-D0905778CF48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56f9702c31b9db23a5a567e881d83ae128b09dda","datavalue":{"value":{"time":"+1997-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4333475$C633D32E-4F9F-4EE8-A509-9D364453143D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$7C59A0D6-4D71-4389-94E1-80E16CE7EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$62E7A6BE-7FA8-404E-8F82-DE69BCF83B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95cf5f71176b1463bbeb6f2c3fc7da9719318087","datavalue":{"value":"980647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$FA4345CD-C91F-41D3-B097-1E80AC56E11A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d301cdf8f77555a7ae5c4b0c5d2fc33459024d5e","datavalue":{"value":"minimal axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333475$CDAE90C6-31DC-44A0-823C-DD39F93EC1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333475$5E7B5C23-009F-418B-9395-D19382A2A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba5fa8e4b796ef06edc3329c86a25b7a094b67","datavalue":{"value":"finite Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4333475$AC01BC94-4523-4D94-B075-A0F56BBC2764","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":"Q4333475$4647E851-4634-4921-9826-B4D740FB9298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cec482ed6b8c00899bf356c10874602d8094ebb","datavalue":{"value":"https://doi.org/10.1002/malq.19970430112","type":"string"},"datatype":"url"},"type":"statement","id":"Q4333475$CBB59046-2181-4438-904B-319D2EFF05A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6467519160192ee9f563bc3666925e628fd25b8a","datavalue":{"value":"W1992413343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$5F2732AF-9F42-408E-A33C-482518FA3881","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$D7CBA1BF-C392-4488-AE99-B741726EBEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$F589FE32-0914-42FA-85D0-D6C52349051D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4333475$87D000B7-779A-4441-92B7-DF6DAB3B9C09","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"324c49a39cdd762d5f0d273844c6eb912c67e8ad","datavalue":{"value":"Q126259656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$2481AD5D-05A8-4467-AF48-2071A4DB4F91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b0e97ec57bf64dfb0ece91cf8db09269014017f","datavalue":{"value":"10.1002/MALQ.19970430112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4333475$AD5FF734-DA6D-4A6C-8672-5114C0F9C966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a56d7c3a40e210f5c459cf567872c833f6da6a","datavalue":{"value":{"amount":"+0.8173204660415649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4333475$0394CFB1-9A24-44B1-8F4B-D7749DCFF34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68117c6af8fdba86696fff9eef92b8e4f93f8a0","datavalue":{"value":{"entity-type":"item","numeric-id":1300009,"id":"Q1300009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172b39ab677088d73c04653e04cea41520ff24fa","datavalue":{"value":{"amount":"+0.8123953938484192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4333475$E1519D48-3C4B-4980-AE41-90689DC02C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4d1aa87dbe96db98ca7d8ca9933b5c2d17eee8","datavalue":{"value":{"entity-type":"item","numeric-id":1903587,"id":"Q1903587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39760f4545ac6ed42a6f557d8ee7e685bcb29337","datavalue":{"value":{"amount":"+0.7588748931884766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4333475$EE38A494-514B-4D72-A01B-4C528222ABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680b0c8f710617ad910a5146eaf000614fa78954","datavalue":{"value":{"entity-type":"item","numeric-id":650277,"id":"Q650277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20b71de21569e8622a20675fdba7c64e5dd1ce1","datavalue":{"value":{"amount":"+0.7574405670166016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4333475$52E094DA-5144-4D8F-B352-42878AA66CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595ac113d5e3f9d174bf9867bf3dceca054a17bb","datavalue":{"value":{"entity-type":"item","numeric-id":5224561,"id":"Q5224561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cae94db94549ca2e84ba5034b47118dd8b93ed","datavalue":{"value":{"amount":"+0.7497767210006714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4333475$3AA694F1-DEE0-48BA-BD52-EAB4642D5B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4333475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4333475"}}}}}