{"entities":{"Q1148308":{"pageid":1159057,"ns":120,"title":"Item:Q1148308","lastrevid":66711186,"modified":"2026-04-12T12:18:58Z","type":"item","id":"Q1148308","labels":{"en":{"language":"en","value":"Axioms for tense logic. I: 'Since' and 'until'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3706421"}},"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":"Q1148308$20C5D3B8-BF47-47FB-8C28-5402F3D71C73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"962075a409f330135de03ec9c1728232aa4a0e8b","datavalue":{"value":{"text":"Axioms for tense logic. I: 'Since' and 'until'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1148308$08AB4EA8-ADD9-4941-9868-B235C9E82F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a345001cc00d06aef6e543dba7abf8122d689138","datavalue":{"value":"0452.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$E0DEE671-D930-4C8E-B371-7E7BEF929F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff67de00c31f17cc3dbbf4b6c15cd2eb20281906","datavalue":{"value":{"entity-type":"item","numeric-id":190246,"id":"Q190246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1148308$AABDB43F-0804-48FC-AC07-765F987A0D65","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":"Q1148308$977B8A7B-9B4A-4F95-BADC-7B1FC668A404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1148308$0DC9807B-DA69-4237-BF60-D836FB19095B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$AC443B89-0BA0-4EE6-9A1D-43ED8EBABEAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9e459c314e4b7c4ceed8ce34430c8bf3bee58cb","datavalue":{"value":"3706421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$50285CF2-AECC-48D7-A636-20FFBB05E6C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148308$A04C2335-9FD4-4377-AC8C-60E0688234E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148308$94A3920F-B75E-447F-B1D7-4740E1B74783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95117eca4562916655982de035b721507a45dcd","datavalue":{"value":"linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1148308$9C6CADDB-D0BE-4487-96CC-85338302687F","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":"Q1148308$6A1265EB-73CC-48B3-8284-C5C940F1544F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc07a15afc21429b92a14824c6a168105e295080","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870149","type":"string"},"datatype":"url"},"type":"statement","id":"Q1148308$3C5F5F69-1E3A-4442-BC74-4EB44C28E398","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6b238f1c83f1117d63c7ed1630a6f6742c4edd9","datavalue":{"value":"W2008960163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$5673CAC7-B900-4197-A246-4CCC3D502ACA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d1ac2d50d6c4c702c9590000c58357638ef0a16","datavalue":{"value":"Q114598300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$3585496C-0E89-4D1E-8614-5371ABF868D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"460bd3473885b70bb1c14e392b6edd0113e71b3a","datavalue":{"value":"10.1305/NDJFL/1093870149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1148308$127B485D-ACA6-410B-8DBB-EBCE190449ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for tense logic. I: 'Since' and 'until'","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axioms_for_tense_logic._I:_%27Since%27_and_%27until%27"}}}}}