{"entities":{"Q758481":{"pageid":760330,"ns":120,"title":"Item:Q758481","lastrevid":64113657,"modified":"2026-04-11T17:44:00Z","type":"item","id":"Q758481","labels":{"en":{"language":"en","value":"A modal logic with temporal variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3425581"}},"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":"Q758481$7A92BBBE-B6AC-43D9-8AA7-A058D03F5066","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2979836b0efa70c766e89320f7990a95fa5c0767","datavalue":{"value":{"text":"A modal logic with temporal variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q758481$FAB28891-9816-4AB9-96A4-45D35F86D474","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"323805397b69b81c0691685218dcadb04b929bc1","datavalue":{"value":"0271.02019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758481$745F63AA-6BBB-4A28-9FE0-DF41C5271D29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"494de97acd31b1a3bc64b939890ffe29198d242b","datavalue":{"value":{"entity-type":"item","numeric-id":758480,"id":"Q758480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q758481$9E0D2B9D-3980-489F-82A4-ED658A5BF02F","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":"Q758481$CA5CDFCC-27B4-4C07-9C9F-675E5FB1778C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q758481$B081EFC7-8DA3-4FC8-ACA0-5AC27F2BD4D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758481$4528D77B-61A0-4E3F-B58F-11078CCA8A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4745a6d8109172ca00bed9241cb4615737f878ee","datavalue":{"value":"3425581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758481$2C8C15C3-9312-42D7-9598-BCBA26035E32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c643145ad8604243f34ad74c81d8a9fff1ad25","datavalue":{"value":"MODAL LOGIC WITH TEMPORAL VARIABLES","type":"string"},"datatype":"string"},"type":"statement","id":"Q758481$19DAFC83-A6D1-4EE7-92B3-31D9EF8C142B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db9eca966e078b2d0038f6bac1630cc7f005bd5","datavalue":{"value":"CAUSAL DETERMINACY AND INDETERMINACY","type":"string"},"datatype":"string"},"type":"statement","id":"Q758481$11BBA610-389F-44DB-8620-329A8A139F82","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":"Q758481$86BEBA06-7516-4D84-B4DB-7D8FE6DA768B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7e3adcfc4ca23ff79f8f63c51df0bc689808e2f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093888503","type":"string"},"datatype":"url"},"type":"statement","id":"Q758481$E230A39B-3DD1-45FC-9580-FF9423CE622A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f90f5f948966f722fe7629b313e71d95af4875a","datavalue":{"value":"W4235525057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758481$AAA84ECD-C7CC-4518-B59D-B03623CB7E4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89926acb71d16d3f185990501a44311554a92a4a","datavalue":{"value":"10.1305/NDJFL/1093888503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q758481$A47C4B58-9289-407B-865D-5FF805480A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modal logic with temporal variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_modal_logic_with_temporal_variables"}}}}}