{"entities":{"Q599805":{"pageid":601581,"ns":120,"title":"Item:Q599805","lastrevid":42598318,"modified":"2025-07-04T12:16:34Z","type":"item","id":"Q599805","labels":{"en":{"language":"en","value":"A decidable noncompact extension of the logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645052"}},"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":"Q599805$20101C1E-60B9-4AE2-BFC0-33552B95B2A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71b034f32e1fbfe324b82a8fd5d137b6d489d52b","datavalue":{"value":{"text":"A decidable noncompact extension of the logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q599805$E72EDF6C-E3C5-4702-ADDC-071F8A6B6A09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33290f8d4c02b94dbb6acaedd4ba647924a85b2e","datavalue":{"value":"0415.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599805$904736B4-7A56-4BE6-AFA9-BC97B5AA5F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c0b48bffabed59ec3cd515ce3a70d7e0ef4660c","datavalue":{"value":"10.1007/BF01670114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599805$1BB201E6-884C-4860-980F-3431614741B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$DBBEA752-A883-4AE0-B087-BCDCE9A257FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q599805$00AE8CD2-B49C-4B89-8C7B-FE9B7F1FC2A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5f70a28428499ba854ad16a7541b785bdd7febe","datavalue":{"value":"https://eudml.org/doc/187009","type":"string"},"datatype":"url"},"type":"statement","id":"Q599805$22B350BA-1901-4AFA-B48C-9BD95B86EC94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599805$6328B4FC-0ADB-4F14-A5BF-57B8DA40B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599805$1CC3C40E-0C93-41BC-A299-759795AB72FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a86505472483e96051f7d9010ccfb404be68a7fb","datavalue":{"value":"3645052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599805$1C063A2B-4D92-4B7C-A54C-AEC247EBB345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q599805$9A1B0A7E-43FB-4A36-BDEC-7A90E3DD1D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c502022ad856990363b6184bd7f84cbc4ea9395","datavalue":{"value":"noncompact extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q599805$CAF76DD2-67E9-4529-81B8-D9CAE7C438B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q599805$7E30DBEB-69F0-482A-B44E-9E67E69C0538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q599805$F097DAAD-5856-42D2-8615-5B5C4673B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q599805$1684EB87-16AB-4629-AB2C-94DC432E6B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$E1EE60DA-1D28-4526-B076-59E09307037F","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":"Q599805$0EF028CA-83F1-4858-A396-92108D407F4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98b485f1ba210146a1fb412e396b39495f2f40","datavalue":{"value":{"entity-type":"item","numeric-id":4128534,"id":"Q4128534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$DD56A8B3-1B5E-4995-B441-4B09DE994CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e77b2f30d1034d911c04cb89df0eeada2776e59","datavalue":{"value":{"entity-type":"item","numeric-id":4192037,"id":"Q4192037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$D9C3A102-822A-4273-B16A-A190CC93E70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b4735cc1f5a60bfef583599fdacac66c6ca8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4063119,"id":"Q4063119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$9F1CD73C-5F1D-4FCD-883F-C1EA35011376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bad01705969347cdbcd6e83280db29ebe41f842","datavalue":{"value":{"entity-type":"item","numeric-id":5677459,"id":"Q5677459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599805$F83C0A74-C02E-465D-9FD6-FEE4BB7B5AA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:599805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:599805"}}}}}