{"entities":{"Q7304790":{"pageid":31242448,"ns":120,"title":"Item:Q7304790","lastrevid":105079951,"modified":"2026-09-16T11:33:40Z","type":"item","id":"Q7304790","labels":{"en":{"language":"en","value":"Pretabular tense logics over \\(\\mathsf{S4}_t\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8231556"}},"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":"Q7304790$D9927712-C7FB-4280-ADE1-178A75AAABF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99443efc8c728bac2b3844e243b01aaaff2befac","datavalue":{"value":{"text":"Pretabular tense logics over \\(\\mathsf{S4}_t\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7304790$887C7209-8028-468B-8B59-8BF89AF2A99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"118e421b2818d6fe6f1c7071a24f5166f139b4fc","datavalue":{"value":"10.1016/J.APAL.2026.103807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304790$E3702AA8-F4BE-4070-BABD-5B4F9A3E2A70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a771804b0a4c99be0e74abbba60b6f75cd6c8991","datavalue":{"value":{"entity-type":"item","numeric-id":6061858,"id":"Q6061858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$A7F70866-A321-4735-847D-D25A5260DBEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$CA8E5A55-EA74-472A-98BF-97C2FBFCB469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ed5cdeb6f7025059fda4db2c9ca60480aabbcb6","datavalue":{"value":{"time":"+2026-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7304790$3833A407-9534-44A7-A51A-419094A0D807","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304790$3623E93A-6BAC-41BB-9173-348E26985AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304790$28C13C23-304F-4C2B-AF42-B2D039BD2297","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7105e8ac747df7d2cd81f7ab1f9c998ecb1150b2","datavalue":{"value":"8231556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7304790$44DCEEB0-AA78-42F5-A7AD-17C7734A4EFD","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":"Q7304790$C05E171D-B323-44BD-87EA-18165867DEDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb3963b13caa0d3ff235f1cf69469b8cc3f0ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$617F2416-6BA5-4EB0-9C22-E37830342882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4fe37b3253ca114e627d4799891f1101136528e","datavalue":{"value":{"entity-type":"item","numeric-id":5886457,"id":"Q5886457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$B78067B2-8BD2-44DB-8DCD-0AD44B557628","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":"Q7304790$74E45D7A-6A47-493E-9B85-30BA01C62091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$6AC56121-846B-46E7-AA8E-EB7545C78223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc849784aeacf0747fee5c80d393fa199ab81297","datavalue":{"value":{"entity-type":"item","numeric-id":1150644,"id":"Q1150644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$86F81115-1F51-42C3-8C12-EFD2AF22CC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaf31c8fd9a9de33cf5bc0327064e140d51b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1150599,"id":"Q1150599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$7CC4FEC0-4F4F-4B29-B5FC-918B69E3B96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefae4aad4ffe92f5da65d23427de4252bca48f2","datavalue":{"value":{"entity-type":"item","numeric-id":5533177,"id":"Q5533177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$86C38602-1069-48A1-9E43-B3A03E3D7DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$6E40FF0B-1035-4F9E-9EEE-153261CE8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7b868f4d019bcbedaf52be20c03e455e0e6c7a","datavalue":{"value":{"entity-type":"item","numeric-id":4474858,"id":"Q4474858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$9E434E7B-B4F3-4B88-A3C5-55D21F348AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e553e9ff9525b12964723bb8f398f29df77e745","datavalue":{"value":{"entity-type":"item","numeric-id":6552266,"id":"Q6552266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$210FC205-B97D-48DF-B9B9-06152C35F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c5bd77658599c5554a8e7dcdd076e9aac3d86a","datavalue":{"value":{"entity-type":"item","numeric-id":4149742,"id":"Q4149742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$E894DE17-B1D3-4D6A-B383-ECCAE848C3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$390B293F-B010-4DE2-8721-56668B4AF22D","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":"Q7304790$E286F574-7E4F-482E-B868-996F0AE35F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$238E73D6-EE9C-4F92-BDFC-6A44B0716766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$7D3C7C3B-7C74-447D-A333-EEF5EF6C1351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38c60b2cf8b2b33ddf0095795d7e0b8674aff48","datavalue":{"value":{"entity-type":"item","numeric-id":701551,"id":"Q701551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$18843CC7-32BB-43F8-A460-059E4ADCEAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a3eaba33b9be22f282f6e7a4f20eed22af9e","datavalue":{"value":{"entity-type":"item","numeric-id":1204117,"id":"Q1204117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$A4B38A98-585B-497A-92F1-8CCC807155D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b699087465adbd5f2e31ba20ec02b18d06650fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5287685,"id":"Q5287685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$DC6A518A-2AAB-42AA-8467-B0C5E6726988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$E2CBF3D6-0567-48E8-BC36-CD4AC5B48808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$5D58F508-0D56-4D00-8FF9-C72BFD43F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be87e295744aa552c65400d1b7c66a08917c284","datavalue":{"value":{"entity-type":"item","numeric-id":2062217,"id":"Q2062217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$0498C20A-4CFC-4D9A-8420-664D90E46050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$79630992-CBAE-4AED-AD6C-F1ED55EC9353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e69b725f6112ecd9384d9f4600cfb645f2c024","datavalue":{"value":{"entity-type":"item","numeric-id":2265416,"id":"Q2265416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$53E56CA0-EDA1-441E-B8E3-ABC9FDA185BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9701f6d9ec5ad100f566a1083e0b3e48be104634","datavalue":{"value":{"entity-type":"item","numeric-id":1245106,"id":"Q1245106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$A708C288-027C-4579-8AAA-BED7EAFD904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df5b726c8cbc6850365974ca4c20bab82a8c3efc","datavalue":{"value":{"entity-type":"item","numeric-id":1464421,"id":"Q1464421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$7CEC811D-03E8-4035-8441-CAE1FD06219C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$CF9EFE57-E168-4C95-AC8D-59B278D98888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c2bf4a72849a6874a4b0df9473f28739fe05a8","datavalue":{"value":{"entity-type":"item","numeric-id":4198726,"id":"Q4198726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$0FDEF129-2C00-4567-9FDA-9507F449A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$615EDD63-EF59-4ED6-9EB9-A8F0F1D6FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab1e2b83c0ee8d6609768952751e457dae012f5","datavalue":{"value":{"entity-type":"item","numeric-id":2433092,"id":"Q2433092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$13987CC3-D561-49E6-8824-8D6D97089BC6","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":"Q7304790$228BC3EF-01DB-4923-AB46-D56CD53F3FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$F72191ED-964B-4D9B-91E2-19A4E5DE6197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c913ba0b930fdd426d3a14b6e72a6c2376af04","datavalue":{"value":{"entity-type":"item","numeric-id":5910750,"id":"Q5910750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$5FEDE984-C0C8-40C6-907D-1F3A536126E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$4AF0953C-9F13-4F94-8055-209C236F25CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d6c27ee2d92e0a6ba9a337e40eba45e340765","datavalue":{"value":{"entity-type":"item","numeric-id":4879194,"id":"Q4879194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$B597CE44-1F71-40D9-9F31-24857945CD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb0af1a23de818fba1e0b20110b216b1bbea904","datavalue":{"value":{"entity-type":"item","numeric-id":1366764,"id":"Q1366764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7304790$FD65DBB0-FF91-4EFE-A52D-B47082288D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7304790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7304790"}}}}}